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

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... bibliographical guide -- Formal languages & word-rewriting -- Rewriting and tree automata -- On efficient...”
Cover Image
Read Now

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... by Symbolic Refinement Checking -- Automatic Abstraction for Verification of Timed Circuits and Systems...”