Search alternatives:
languages » language
automata » automatic
Cover Image
Read Now

1
by Chavan, Pallavi, Jadhav, Ashish
Published 2023
Academic Press
Table of Contents: “... Automata theory with recent trends -- 8.1 Objectives and outcomes -- 8.2 Introduction -- 8.3 Automata...”
Cover Image
Read Now

2
by Kandar, Shyamalendu
Published 2012
Dorling Kindersley (India)
Subjects: “...Formal languages / http://id.loc.gov/authorities/subjects/sh85050802...”
Cover Image
Read Now

3
by Kandar, Shyamalendu
Published 2013
Dorling Kindersley (India)
Subjects: “...Formal languages / http://id.loc.gov/authorities/subjects/sh85050802...”
Cover Image
Read Now

4
by Krithivasan, Kamala
Published 2009
Dorling Kindersley
Table of Contents: “...Preliminaries -- Grammars -- Finite State Automata -- Finite State Automata: Characterization...”
Cover Image
Read Now

5
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

6
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Implementing WS1S via finite automata: Performance issues -- Multi-tape automata for speech and language...”
Cover Image
Read Now

7
by Büchi, J. Richard
Published 1989
Springer New York
Table of Contents: “... Automata -- 7 General Alphabets: The Theory of Push-down Automata and Context-free Languages -- Conclusion...”
Cover Image
Read Now

8
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... technique with geometric applications -- Hierarchies of one-way multihead automata languages -- Partitioning...”
Cover Image
Read Now

9
by Bibel, Wolfgang
Published 1987
Vieweg+Teubner Verlag
Table of Contents: “...I. Natural and formal logic -- II. The connection method in propositional logic -- III...”
Cover Image
Read Now

10
by Schaub, Torsten
Published 1997
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

11
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... ?-languages -- Ensembles reconnaissables de mots bi-inpinis Limite et déterminisme -- Automates boustrophedon...”
Cover Image
Read Now

12
by Newborn, Monty
Published 2001
Springer New York
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

13
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... -- Cancellation, pumping and permutation in formal languages -- A hardware implementation of the CSP primitives...”
Cover Image
Read Now

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

15
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

16
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... in the ImperativeProgramming Language Pizza -- p-SETHEO: Strategy Parallelism in Automated Theorem Proving...”
Cover Image
Read Now

17
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... theory -- Simplifying interpreted formulas -- Specification and verification of real-time, distributed...”
Cover Image
Read Now

18
by Williams, James G.
Published 1991
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

19
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

20
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... for Automata Theory -- Analysis of Reactive Systems with n Timers -- Animation of the Generation...”