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

161
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... on Infinite Graphs -- Integrating Equational Reasoning into Instantiation-Based Theorem Proving -- Goal...”
Cover Image
Read Now

162
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Prover -- Combination of Isabelle/HOL with Automatic Tools -- ATS: A Language That Combines Programming...”
Cover Image
Read Now

163
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... and dynamic semantics -- Declarative semantics for inconsistent database programs -- Tableau-based theorem...”
Cover Image
Read Now

164
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Formal Methods for Conformance Testing: Theory Can Be Practical -- Processor Verification -- Proof...”
Cover Image
Read Now

165
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...”
Cover Image
Read Now

166
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... interpretation -- ELIOS-OBJ theorem proving in a specification language -- Incremental garbage collection without...”
Cover Image
Read Now

167
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Models of Tabular Forms -- Everlasting Challenges with the OBJ Language Family -- Formal Modeling...”
Cover Image
Read Now

168
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... of the Universal Automaton of a Regular Language -- Correlations of Partial Words -- Session 2A -- Testing...”
Cover Image
Read Now

169
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... proof of write invalidate cache coherence -- Transforming the theorem prover into a digital design tool...”
Cover Image
Read Now

170
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... and Their Semantics - The Parallel Case -- Reasoning Support for Casl with Automated Theorem Proving Systems...”
Cover Image
Read Now

171
Published 2014
Springer International Publishing
Table of Contents: “... Randomized Search -- SMACK: Decoupling Source Language Details from Verifier Implementations -- Security...”
Cover Image
Read Now

172
by Kroening, Daniel, Strichman, Ofer
Published 2008
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

173
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... and formal language processing -- PUNDIT — Natural language interfaces -- The Esteam-316 dialogue manager...”
Cover Image
Read Now

174
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning...”
Cover Image
Read Now

175
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Language learning with a bounded number of mind changes -- Efficient sharing of many secrets...”
Cover Image
Read Now

176
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Inductive theorem proving by consistency for first-order clauses -- Reduction techniques for first...”
Cover Image
Read Now

177
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Diagrams and programming languages for programmable controllers -- Graphical specification...”
Cover Image
Read Now

178
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Theorems for Fuzzy Weak Orders -- Relational Representation Theorems for Lattices with Negations: A Survey...”
Cover Image
Read Now

179
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Logic in Databases and Information Integration -- MuTACLP: A Language for Temporal Reasoning...”
Cover Image
Read Now

180
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of Modal Logics -- Automating Theories in Intuitionistic Logic -- Taming the Complexity of Temporal...”