Search alternatives:
automatic theory » automatic theorem, automation theory, axiomatic theory
languages » language
automata » automated
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: “... -- Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m) -- Timed Automata -- Job...”
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...”