scientific article; zbMATH DE number 1341537

zbMath0933.03026MaRDI QIDQ4263079

Tom Cornell, Frank Morawietz

Publication date: 17 February 2000

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

zbMATH Keywords

tree automatacomputational linguisticsdescription languagelinguistic processingautomata-based theorem-provingtesting formalizations of grammarstheory verificationweak monadic second-order logic on trees

Mathematics Subject Classification ID

Logic of natural languages (03B65) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Natural language processing (68T50)

Related Items (3)

Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ wMSO theories as grammar formalisms

Uses Software

• MONA

This page was built for publication: