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

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... of the Universal Automaton of a Regular Language -- Correlations of Partial Words -- Session 2A -- Testing...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... and the Recursion Theorem -- Entanglement in Interactive Proof Systems with Binary Answers -- Quantum Algorithms...”