Author:
Choffrut Christian,Grigorieff Serge
Subject
General Computer Science,Theoretical Computer Science
Reference13 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. Transductions and Context-Free Languages. B.G. Teubner;Berstel,1979
4. A. Bès, An application of the Feferman-Vaught theorem to automata and logics for words over an infinite alphabet, Logical Methods in Computer Science (in press)
5. 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
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献