scientific article; zbMATH DE number 2038741

zbMath1039.03021MaRDI QIDQ4449206

Thomas Colcombet, Arnaud Carayol

Publication date: 8 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190599.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monadic second-order logic

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

This page was built for publication: