Author:
Choffrut Christian,Grigorieff Serge
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Regular prefix relations;Angluin;Mathematical Systems Theory,1984
2. Definable relations and first-order query languages over strings;Benedikt;Journal of the Association of Computing Machinery,2003
3. An application of the Feferman–Vaught theorem to automata and logics for words over an infinite alphabet;Bès;Logical Methods in Computer Science,2008
4. M. Bojanczyk, A. Muscholl, T. Schwentick, L. Segoufin, C. David, Two-variable logic on words with data, in: Proceedings of LICS’06, 2006, pp. 7–16
5. Relations over words and logic: A chronology;Choffrut;Bulletin of the EATCS,2006