scientific article

zbMath0467.68071MaRDI QIDQ3920670

H. A. Mauerer, Thomas Ottmann, Juergen Albert

Publication date: 1981

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

zbMATH Keywords

regular languagesdecision procedure

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Unnamed Item ⋮ Recursion and pumping in L forms

This page was built for publication: