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

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Programs -- Formal Analysis of Hierarchical State Machines -- Abstraction as the Key for Invariant...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- HORPO with Computability Closure: A Reconstruction -- Zenon: An Extensible Automated Theorem Prover...”
Cover Image
Read Now

3
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Generalized Gröbner bases: Theory and applications. A condensation -- A local termination property...”