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

141
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Pushdown Automata -- Expressive Power and Decidability for Memory Logics -- Reasoning with Uncertainty...”
Cover Image
Read Now

142
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...A Grammatical Representation of Visibly Pushdown Languages -- Fully Lexicalized Pregroup Grammars...”
Cover Image
Read Now

143
Published 2021
Springer International Publishing
Table of Contents: “... and Formal Verification....”
Cover Image
Read Now

144
by Ganesalingam, Mohan
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Mathematics.-4.1.1 Ambiguity in Symbolic Material.-4.1.2 Survey: Ambiguity in Formal Languages.-4.1.3 Failure...”
Cover Image
Read Now

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

146
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

147
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...: Formal Semantics Meets Experimental Results -- Terminal Sequence Induction via Games -- Dutch Grammar...”
Cover Image
Read Now

148
Published 2013
Springer International Publishing
Table of Contents: “...Brzozowski’s and Up-To Algorithms for Must Testing -- Practical Alternating Parity Tree Automata...”
Cover Image
Read Now

149
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...”
Cover Image
Read Now

150
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

151
Published 2017
Springer International Publishing
Table of Contents: “...Language data -- Knowledge graphs -- Applications in NLP -- Use cases in digital humanities, social...”
Cover Image
Read Now

152
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

153
by Lano, Kevin
Published 1995
Springer London
Table of Contents: “... -- 8.1 Translation into Procedural Languages -- 8.2 Introducing Concurrency in Implementations -- 8.3...”
Cover Image
Read Now

154
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract...”
Cover Image
Read Now

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

156
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... and Update Languages -- Semantics -- A Theory of Hygienic Macros -- A Hybrid Denotational Semantics...”
Cover Image
Read Now

157
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...A Query Language Based on the Ambient Logic -- Probabilistic Polynomial-Time Process Calculus...”
Cover Image
Read Now

158
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Languages -- Flow-Directed Closure Conversion for Typed Languages -- Directional Type Checking for Logic...”
Cover Image
Read Now

159
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...-by-Value Setting -- Existential Types for Imperative Languages -- Another Type System for In-Place Update...”
Cover Image
Read Now

160
Published 2014
Springer International Publishing
Table of Contents: “...Simplified language -- Plain language -- Formalized language -- Processable language -- Fragments...”