Search alternatives:
automatic theory » automatic theorem, automation theory, axiomatic theory
automata » automated
Cover Image
Read Now

101
by Hausser, Roland
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...I Natural Language and Formal Grammar -- 1 Goals and Results -- 2 Grammar and Interpretation -- 3...”
Cover Image
Read Now

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

103
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...? -- Weighted Logics for Nested Words and Algebraic Formal Power Series -- Tree Languages Defined in First-Order...”
Cover Image
Read Now

104
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Bisimilarity for PA-Processes -- Improved Bounds on the Number of Automata Accepting Finite Languages -- Roots...”
Cover Image
Read Now

105
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Families of Languages -- Complexity Theory Made Easy -- Contributions -- Synchronizing Monotonic Automata...”
Cover Image
Read Now

106
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Resource Usage Verification -- Automatic Construction of Hoare Proofs from Abstract Interpretation Results...”
Cover Image
Read Now

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

108
Published 2017
Springer International Publishing
Table of Contents: “... for strings, trees, graphics, arrays -- Algebraic theories for automata and languages -- Codes -- Efficient...”
Cover Image
Read Now

110
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...-to-Platform Transformations -- Model Transformation Co-evolution: A Semi-automatic Approach -- Guided Merging...”
Cover Image
Read Now

111
by Meduna, Alexander
Published 2014
Auerbach Publications
Table of Contents: “...; Chapter 2: Formal Languages and Rewriting Systems; Chapter 3: Models for Regular Languages; Chapter 4...”
Cover Image
Read Now

112
Published 2018
Springer International Publishing
Table of Contents: “... Finite Automata -- Additive Number Theory via Approximation by Regular Languages -- Tree-to-graph...”
Cover Image
Read Now

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

114
Published 2016
Springer Berlin Heidelberg
Table of Contents: “...Formal languages and automata -- Combinatorial and algebraic properties of words and languages...”
Cover Image
Read Now

115
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... declarative language -- Modal specifications -- Automated verification of timed transition models -- Temporal...”
Cover Image
Read Now

116
Published 1993
Springer London
Table of Contents: “...1: Overview and Introductory Papers -- The Abstract Interpretation of Functional Languages...”
Cover Image
Read Now

117
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Preludium -- An Overview -- The Languages -- Abstract State Machines for the Classroom -- The event...”
Cover Image
Read Now

118
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Finite automata and rational languages an introduction -- The wreath product and its applications...”
Cover Image
Read Now

119
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security...”
Cover Image
Read Now

120
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... derivations -- descriptional complexity -- automata and language theory...”