Didier Caucal, Chloé Rispal, 11088, Developments in Language Theory, 2018, 206
Wolfgang Thomas, 6300, Fields of Logic and Computation, 2010, 615
Thomas Colcombet, 6638, Language and Automata Theory and Applications, 2011, 1
Ivan Korec, “A list of arithmetical structures complete with respect to the first-order definability”, Theoretical Computer Science, 257, № 1-2, 2001, 115
Alex Spelten, Wolfgang Thomas, Sarah Winter, “Trees over Infinite Structures and Path Logics with Synchronization”, Electron. Proc. Theor. Comput. Sci., 73, 2011, 20