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

101
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Developments -- Reversible Cellular Automata -- Inexpressibility Results for Regular Languages in Nonregular...”
Cover Image
Read Now

102
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... -- Derived preconditions and their use in program synthesis -- Automatic construction of special purpose...”
Cover Image
Read Now

103
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... bibliographical guide -- Formal languages & word-rewriting -- Rewriting and tree automata -- On efficient...”
Cover Image
Read Now

104
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... church-rosser Thue systems -- Two applications of equational theories to database theory -- An experiment...”
Cover Image
Read Now

105
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- Efficient learning of real time two-counter automata -- Cost-sensitive feature reduction applied to a hybrid...”
Cover Image
Read Now

106
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... as a game -- Inferability of recursive real-valued functions -- Learning of R.E. Languages from good...”
Cover Image
Read Now

107
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... and Computational Complexity -- Language Decompositions, Primality, and Trajectory-Based Operations -- Automata...”
Cover Image
Read Now

108
by Cocchiarella, Nino B.
Published 2007
Springer Netherlands
Table of Contents: “... Necessity and Logical Atomism -- Formal Theories of Predication -- Formal Theories of Predication Part II...”
Cover Image
Read Now

109
Published 2023
Springer Nature Switzerland
Table of Contents: “... with the Theory Plugin -- Validation of Formal Models by Interactive Simulation -- Thread-Local, Step-Local Proof...”
Cover Image
Read Now

110
by Sandford, David M.
Published 1980
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

111
by Nijholt, A.
Published 1980
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

112
Published 1980
Springer Berlin Heidelberg
Table of Contents: “...Formal description of programming concepts -- Electronic category theory -- An essay about research...”
Cover Image
Read Now

113
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... levels -- Confluence of conditional rewrite systems -- Solving goals in equational languages...”
Cover Image
Read Now

114
by Hofmann, Martin, Lange, Martin
Published 2011
Springer Berlin Heidelberg
Table of Contents: “...Teil I Endliche Wörter -- 1 Grundlagen der Theorie formaler Sprachen -- 2 Schwache, monadische...”
Cover Image
Read Now

115
by Dardha, Ornela
Published 2016
Atlantis Press
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

116
by Jantzen, Matthias
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... Problems -- 2.1 Undecidability Results -- 2.2 Decidability Results -- 3. Congruential Languages Specified...”
Cover Image
Read Now

117
Published 1994
Springer London
Table of Contents: “... -- Formal Development of Authentication Protocols -- Deriving Language Recognition Algorithms. A Case Study...”
Cover Image
Read Now

118
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Synchronizing Word in One-Cluster Automata -- Regular Languages Definable by Majority Quantifiers with Two...”
Cover Image
Read Now

119
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Invited Presentations -- Automata: From Uncertainty to Quantum -- Elementary Theory of Ordinals...”
Cover Image
Read Now

120
Published 2012
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”