Search alternatives:
estimation theory » optimization theory
automatic theory » automatic theorem, automation theory, automata 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 1997
Springer Berlin Heidelberg
Table of Contents: “... innermost normalisation automatically -- Termination of context-sensitive rewriting -- A new parallel closed...”