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

181
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented...”
Cover Image
Read Now

182
Published 2022
Springer International Publishing
Table of Contents: “... Derivatives: an Overview -- How to Settle the ReDoS Problem: Back to the Classical Automata Theory -- Ordered...”
Cover Image
Read Now

183
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

184
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

185
Published 2007
Springer Netherlands
Table of Contents: “...Introductory Remarks: On the Science of Language in Light of the Language of Science -- History...”
Cover Image
Read Now

186
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Abstraction and Modelling: A Complementary Partnership -- Teaching Formal Methods...”
Cover Image
Read Now

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

188
by Schneider, Klaus
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...1 Introduction -- 2 A Unified Specification Language -- 3 Fixpoint Calculi -- 4 Finite Automata...”
Cover Image
Read Now

189
by Skrzypczak, Michał
Published 2016
Springer Berlin Heidelberg
Table of Contents: “...Subclasses of regular languages -- Thin algebras -- Extensions of regular languages...”
Cover Image
Read Now

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

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

192
by Rademaker, Alexandre
Published 2012
Springer London
Table of Contents: “... Systems -- Natural Deduction for ALC.- A Proof Theory for ALCQI -- Proofs and Explanations -- A Prototype...”
Cover Image
Read Now

193
Published 1975
Springer Berlin Heidelberg
Table of Contents: “... -- Programming language semantics in a typed lambda-calculus -- Big trees in a ?-calculus with ?-expressions...”
Cover Image
Read Now

194
by Diaconescu, Razvan
Published 2008
Birkhäuser
Table of Contents: “...Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts...”
Cover Image
Read Now

195
Published 2017
Springer International Publishing
Table of Contents: “... and Operations - Two non-Classical Cases -- Applications of Transducers in Independent Languages, Word Distances...”
Cover Image
Read Now

196
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

197
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Theory -- The Rademacher Complexity of Linear Transformation Classes -- Function Classes That Approximate...”
Cover Image
Read Now

198
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... with the Multivariate Gaussian Distribution -- Generalised Entropy and Asymptotic Complexities of Languages -- Q...”
Cover Image
Read Now

199
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Learning Classes of Probabilistic Automata -- On the Learnability of E-pattern Languages over Small...”
Cover Image
Read Now

200
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Expressions -- Unlabeled Compression Schemes for Maximum Classes -- Economics and Game Theory -- Trading...”