MPG.eBooks - Search Results - formal languages and ((automatic theorem) OR (automated theorem))

Search alternatives:
automatic theorem » automata theory
automated theorem » automata theory
languages » language

Cover Image

1

STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Table of Contents: “...Language learning with a bounded number of mind changes -- Efficient sharing of many secrets...”

Cover Image

2

Computer Science - Theory and Applications : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... Homomorphism -- Languages Recognized with Unbounded Error by Quantum Finite Automata...”