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

1
by Franz, Alexander
Published 1996
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

2
by Kaiser, Lukasz
Published 2011
Springer Berlin Heidelberg
Table of Contents: “...1 Logics, Structures and Presentations -- 2 Game Quantifiers on Automatic Presentations -- 3 Games...”
Cover Image
Read Now

3
by Becker, Heinrich
Published 1977
Vieweg+Teubner Verlag
Table of Contents: “...I. Einführung in die Theorie der formalen Sprachen -- I.1 Natürliche Sprachen -- I.2 Die...”
Cover Image
Read Now

4
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... declarative language -- Modal specifications -- Automated verification of timed transition models -- Temporal...”
Cover Image
Read Now

5
by Chiswell, Ian M.
Published 2009
Springer London
Table of Contents: “.... Recursively Enumerable Sets and Languages -- 4. Context-free language -- 5. Connections with Group Theory -- A...”
Cover Image
Read Now

6
Published 2014
Springer International Publishing
Table of Contents: “...Finite Automata and Regular Languages On Automatic Transitive Graphs.-  Upper Bounds on Syntactic...”
Cover Image
Read Now

7
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Characterization of Khabbaz Geometric Hierarchy of Languages -- On the Maximum Coefficients of Rational Formal...”
Cover Image
Read Now

8
Published 2021
Springer International Publishing
Table of Contents: “...Invited Talks -- Morphic sequences versus automatic sequences -- Parsimonious Computational...”
Cover Image
Read Now

9
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... in relational database theory -- A new characterization of the regular languages -- Langages Reconnaissables et...”
Cover Image
Read Now

10
by Goronzy, Silke
Published 2002
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

11
Published 2015
Springer International Publishing
Table of Contents: “... Model Checking -- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal...”
Cover Image
Read Now

12
Published 2014
Springer International Publishing
Table of Contents: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”
Cover Image
Read Now

13
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Introductions & Overviews -- An Introduction to Inductive Logic Programming and Learning Language...”
Cover Image
Read Now

14
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in Spatial Language Dynamics -- On the Average Size of Glushkov’s Automata -- Tiling the Plane with a Fixed...”
Cover Image
Read Now

15
Published 2016
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

16
Published 2014
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

17
Published 2015
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

18
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Revealing vs. Concealing: More Simulation Games for Büchi Inclusion.- On Bounded Languages...”
Cover Image
Read Now

19
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Tree-Walking Automata -- Formal Language Tools for Template-Guided DNA...”
Cover Image
Read Now

20
Published 2018
Springer International Publishing
Table of Contents: “... using the Viterbi semiring -- Formal languages over GF(2) -- Timed Comparisons of Semi-Markov Processes...”