scientific article; zbMATH DE number 2038699

zbMath1039.03508MaRDI QIDQ4449164

Moshe Y. Vardi

Publication date: 8 February 2004

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (3)

Automata for XML -- a survey ⋮ A finite state intersection approach to propositional satisfiability ⋮ On Monadic Theories of Monadic Predicates

This page was built for publication: