MPG.eBooks - Search Results - formal languages and automatic theorem

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

Cover Image

1

SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30,...

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... Be Proved Correct? -- Probabilistic Acceptors for Languages over Infinite Words -- Automatic Verification...”