scientific article; zbMATH DE number 2102722

zbMath1046.03500MaRDI QIDQ4818808

Nils Klarlund

Publication date: 24 September 2004

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (4)

Verified decision procedures for MSO on words based on derivatives of regular expressions ⋮ Lazy Automata Techniques for WS1S ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure

Uses Software

• MONA

This page was built for publication: