Search alternatives:
automata » automated, automatic
Cover Image
Read Now

1
by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... in the Finite -- Finite Automata and Logic: A Microcosm of Finite Model Theory -- Descriptive Complexity Theory...”
Cover Image
Read Now

2
by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995
Springer Berlin Heidelberg
Table of Contents: “.... Satisfiability in the Finite -- 5. Finite Automata and Logic: A Microcosm of Finite Model Theory -- 6...”
Cover Image
Read Now

3
by Ebbinghaus, Heinz-Dieter
Published 2007
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

4
by Zermelo, Ernst
Published 2010
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

6
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
Springer International Publishing
Table of Contents: “...A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages...”