MPG.eBooks - Search Results - (( formal languages and automatic theorem ) or ( formal languages and automated theorem ))

Published 1988

Springer Berlin Heidelberg

Table of Contents: “... auxiliary pushdown automata -- Hotz-isomorphism theorems in formal language theory -- First-order properties...”