Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... theory -- Resolution of goals with the functional and logic programming language LPG: Impact...”
Cover Image
Read Now

2
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... auxiliary pushdown automata -- Hotz-isomorphism theorems in formal language theory -- First-order properties...”
Cover Image
Read Now

3
Published 2011
Springer Berlin Heidelberg
Table of Contents: “...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”