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

101
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- Efficient asynchronous consensus with the value-oblivious adversary scheduler -- A formal framework...”
Cover Image
Read Now

102
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Some behavioural aspects of net theory -- The equivalence of dgsm replications on Q-rational languages...”
Cover Image
Read Now

103
by Kracht, Marcus
Published 2011
Springer Netherlands
Table of Contents: “...Synopsis -- String Languages -- Compositionality -- Meanings -- Examples -- Conclusion -- Useful...”
Cover Image
Read Now

104
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and Condensing Substrings of LR Languages in Linear Time -- Minimal Cover-Automata for Finite Languages...”
Cover Image
Read Now

105
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Automata -- Bideterministic Automata and Minimal Representations of Regular Languages -- Succinct...”
Cover Image
Read Now

106
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Aperiodic ?-Languages -- On Transition Minimality of Bideterministic Automata...”
Cover Image
Read Now

107
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... in Language Theory? -- Languages in Membrane Computing: Some Details for Spiking Neural P Systems...”
Cover Image
Read Now

108
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Information Theory, Relative Entropy and Statistics -- Information: The Algorithmic Paradigm -- The Semantical...”
Cover Image
Read Now

109
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Strategies -- On a Network Generalization of the Minmax Theorem -- Rate-Based Transition Systems...”
Cover Image
Read Now

110
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... in process algebra -- Discrete-time control for rectangular hybrid automata -- Maintaining minimum spanning...”
Cover Image
Read Now

111
by Sippu, Seppo, Soisalon-Soininen, Eljas
Published 1988
Springer Berlin Heidelberg
Table of Contents: “...1. Elements of Language Theory -- 1.1 Mathematical Preliminaries -- 1.2 Languages -- 1.3 Random...”
Cover Image
Read Now

112
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Demand Flow in a Tree -- Automata -- Skew and Infinitary Formal Power Series -- Nondeterminism versus...”
Cover Image
Read Now

113
by Nissanke, Nimal
Published 1999
Springer London
Table of Contents: “... -- Exercises -- A. Exercises on Reading Formal Specifications -- A.1 Exercise - A Simple Text Editor -- A.2...”
Cover Image
Read Now

114
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

115
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...WIA and the practice of theory in computer science -- Algorithms for guided tree automata -- Time...”
Cover Image
Read Now

116
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... for Automata Theory -- Analysis of Reactive Systems with n Timers -- Animation of the Generation...”
Cover Image
Read Now

117
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic...”
Cover Image
Read Now

118
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Language Theory, Codes, and Automata -- Solvability of Equations in Free Partially Commutative...”
Cover Image
Read Now

119
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Theory -- Invited Talk -- Graph Transformation as a Conceptual and Formal Framework for System Modeling...”
Cover Image
Read Now

120
Published 2016
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”