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

61
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

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

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

64
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

65
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

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

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

68
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

69
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

70
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

71
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

72
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

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

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

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

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

77
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms...”
Cover Image
Read Now

78
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Combinatorial Reasoning -- Automatic Generation of Classification Theorems for Finite Algebras -- Efficient...”
Cover Image
Read Now

79
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... program transformation -- Complexity of Horn programs -- Studying the cost of logic languages...”
Cover Image
Read Now

80
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Graphical Applications -- Meta-complexity Theorems: Talk Abstract -- Regular Papers -- Automatic Generation...”