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

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

102
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

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

104
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

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

106
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... programs -- Deciding combinations of theories -- Exponential improvement of efficient backtracking...”
Cover Image
Read Now

107
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

108
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... -- Proof theory and the synthesis of programs: Potential and limitations -- Constructions: A higher order...”
Cover Image
Read Now

109
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... structure in FP2, a functional parallel programming language -- The parallel L-machine for symbolic...”
Cover Image
Read Now

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

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

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

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

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

115
Published 2012
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

116
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

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

118
Published 2006
Springer London
Table of Contents: “... Theory -- Assuring the Behavior of Adaptive Agents -- Agents in a Wild World -- Formal Methods at NASA...”
Cover Image
Read Now

119
by Nyima Tashi
Published 2019
Springer Nature Singapore
Table of Contents: “... -- Formal Description of Tibetan spelling Grammar -- Tibetan Spelling Formal Language -- Computer-based...”
Cover Image
Read Now

120
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security...”