Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
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...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... innermost normalisation automatically -- Termination of context-sensitive rewriting -- A new parallel closed...”