7 results
Automatic structures of bounded degree revisited
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 4 / December 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1352-1380
- Print publication:
- December 2011
-
- Article
- Export citation
Construction of tree automata from regular expressions
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 45 / Issue 3 / July 2011
- Published online by Cambridge University Press:
- 22 August 2011, pp. 347-370
- Print publication:
- July 2011
-
- Article
- Export citation
Some natural decision problems in automatic graphs
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-710
- Print publication:
- June 2010
-
- Article
- Export citation
First-order and counting theories of ω-automatic structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-150
- Print publication:
- March 2008
-
- Article
- Export citation
Theories of orders on the set of words
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 40 / Issue 1 / January 2006
- Published online by Cambridge University Press:
- 15 October 2005, pp. 53-74
- Print publication:
- January 2006
-
- Article
- Export citation
Recognizable languages in divisibility monoids
-
- Journal:
- Mathematical Structures in Computer Science / Volume 11 / Issue 6 / December 2001
- Published online by Cambridge University Press:
- 09 January 2002, pp. 743-770
-
- Article
- Export citation
On Existentially First-Order Definable Languages and Their Relation to NP
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 259-269
- Print publication:
- May 1999
-
- Article
- Export citation