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

61
by Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents: “... -- 10 Proving Termination of Logic Programs -- A Kruskal’s Theorem -- A.l Partial Well-Orderings -- A.2...”
Cover Image
Read Now

62
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

63
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric...”
Cover Image
Read Now

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

65
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

66
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

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

68
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk: -- High-Level Verification Using Theorem Proving and Formalized Mathematics...”
Cover Image
Read Now

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

70
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... with Timers and Types -- Automatic Refinement of Split Binary Semaphore -- Stepwise Development of Simulink...”
Cover Image
Read Now

71
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Non-speculative and upward invocation of continuations in a parallel language -- A model inference...”
Cover Image
Read Now

72
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design...”
Cover Image
Read Now

73
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System...”
Cover Image
Read Now

74
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- NP-Completeness Results for Deductive Problems on Stratified Terms -- Is Cantor’s Theorem Automatic...”
Cover Image
Read Now

75
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... language explanation for formal proofs -- Models for polymorphic Lambek Calculus -- Sloopy Identity -- A...”
Cover Image
Read Now

76
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Analysis for Incompletely Defined Programs -- Automatic Certification of Heap Consumption -- A...”
Cover Image
Read Now

77
Published 2006
Springer Berlin Heidelberg
Table of Contents: “..., with Applications to Lossy Channel Systems -- Verification Condition Generation Via Theorem Proving...”
Cover Image
Read Now

78
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... of Classical Automata Constructions -- Automatic Validation of Transformation Rules for JavaVerification...”
Cover Image
Read Now

79
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Method in Algebra: A Survey (Abstract) -- Automated Theorem Proving in Generation, Verification...”
Cover Image
Read Now

80
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms...”