Search alternatives:
languages » language
Cover Image
Read Now

1
Published 1982
Springer Berlin Heidelberg
Table of Contents: “...Solving open questions with an automated theorem-proving program -- STP: A mechanized logic...”
Cover Image
Read Now

2
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

3
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

4
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

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

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

7
Published 2015
Springer International Publishing
Table of Contents: “...Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics...”
Cover Image
Read Now

8
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Interval Logics and ωB-Regular Languages.- Eliminating Stack Symbols in Push-Down Automata and Linear...”
Cover Image
Read Now

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

10
Published 2018
Springer International Publishing
Table of Contents: “... representation of finite automata -- Model Learning as a Satisfiability Modulo Theories Problem -- Default Logic...”
Cover Image
Read Now

11
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... Proving -- Automath, a Language for Mathematics -- 1969 -- Semi-Automated Mathematics -- Semantic Trees...”
Cover Image
Read Now

12
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- Parallelizing the closure computation in automated deduction -- Partheo: A high-performance parallel theorem...”
Cover Image
Read Now

13
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... in inconsistent formal systems -- LP: The larch prover -- The KLAUS automated deduction system -- A Prolog...”
Cover Image
Read Now

14
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

15
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... description -- Protein: A PROver with a Theory Extension INterface -- DELTA — A bottom-up preprocessor for top...”
Cover Image
Read Now

16
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- The GAZER theorem prover -- ROO: A parallel theorem prover -- RVF: An automated formal verification system...”
Cover Image
Read Now

17
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... magic sets to incorporate top-down inference into bottom-up theorem proving -- Alternating automata...”
Cover Image
Read Now

18
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...-valued logics -- An ordered theory resolution calculus -- Application of automated deduction...”
Cover Image
Read Now

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

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