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

101
Published 2020
Springer International Publishing
Table of Contents: “... description) -- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages -- Formalizations...”
Cover Image
Read Now

102
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used...”
Cover Image
Read Now

103
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... System under a Combined Scenario by Theorem Proving -- Formal Verification of Loop Bound Estimation...”
Cover Image
Read Now

104
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... refinement and trace reduction theorems -- Powerful techniques for the automatic generation of invariants...”
Cover Image
Read Now

105
Published 2015
Springer International Publishing
Table of Contents: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Cover Image
Read Now

106
Published 2016
Springer International Publishing
Table of Contents: “... Formal Verification for Theorems and Its Application in Software Specification Verification -- Your Proof...”
Cover Image
Read Now

107
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL...”
Cover Image
Read Now

108
Published 2014
Springer International Publishing
Table of Contents: “...) -- The Complexity of Theorem Proving in Circumscription and Minimal Entailment -- Visibly Linear Temporal Logic...”
Cover Image
Read Now

109
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- Definability and Transformations for Cost Logics and Automatic Structures -- Generalised Lyndon-Schützenberger...”
Cover Image
Read Now

110
Published 1995
Springer Vienna
Table of Contents: “... for polynomial systems -- 3 Mechanical geometry theorem proving -- 4 Automatic derivation of unknown relations...”
Cover Image
Read Now

111
Published 2014
Springer International Publishing
Table of Contents: “... Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting...”
Cover Image
Read Now

112
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Approach for Analysis of Hybrid Systems -- Session 5: Tools – Dynamic Verification -- AutoMOTGen: Automatic...”
Cover Image
Read Now

113
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- Disguising recursively chained rewrite rules as equational theorems, as implemented in the prover EFTTP Mark...”
Cover Image
Read Now

114
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Automatic Segmentation of Neoplastic Hepatic Disease Symptoms in CT Images -- A Robust Localization Method...”
Cover Image
Read Now

115
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Dynamic RelationNets -- Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal...”
Cover Image
Read Now

116
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Introduction to the Coq Proof-Assistant for Practical Software Verification -- Advanced Theorem Proving...”
Cover Image
Read Now

117
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Model Checking Conformance with Scenario-Based Specifications -- Theorem Proving -- Deductive...”
Cover Image
Read Now

118
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... and the Recursion Theorem -- Entanglement in Interactive Proof Systems with Binary Answers -- Quantum Algorithms...”
Cover Image
Read Now

119
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... logics and basicparallel processes -- Using formal verification/analysis methods on the critical path...”
Cover Image
Read Now

120
Published 2011
Springer Berlin Heidelberg
Table of Contents: “...-Semimodule Pairs -- Kleene Theorem in Partial Conway Theories with Applications -- Rational Transformations...”