CLAM
From MaRDI portal
Software:31444
No author found.
Related Items (40)
On process equivalence = equation solving in CCS ⋮ Termination of constructor systems ⋮ Mechanical verification on strategies ⋮ A recursion planning analysis of inductive completion ⋮ Unnamed Item ⋮ An integrated approach to high integrity software verification ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Supporting the formal verification of mathematical texts ⋮ Productive use of failure in inductive proof ⋮ Middle-out reasoning for synthesis and induction ⋮ A calculus for and termination of rippling ⋮ Using tactics to reformulate formulae for resolution theorem proving ⋮ Unnamed Item ⋮ Reasoning About Incompletely Defined Programs ⋮ An approach to automatic deductive synthesis of functional programs ⋮ Proving theorems by reuse ⋮ Mechanizing Mathematical Reasoning ⋮ Mechanizing Mathematical Reasoning ⋮ Extensions to a generalization critic for inductive proof ⋮ Internal analogy in theorem proving ⋮ Termination of algorithms over non-freely generated data types ⋮ Rippling: A heuristic for guiding inductive proofs ⋮ Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto ⋮ Analogy in Automated Deduction: A Survey ⋮ Unnamed Item ⋮ TacticToe: learning to prove with tactics ⋮ KI 2004: Advances in Artificial Intelligence ⋮ Lemma discovery for induction. A survey ⋮ Termination orderings for rippling ⋮ Mollusc a general proof-development shell for sequent-based logics ⋮ Automating the synthesis of decision procedures in a constructive metatheory ⋮ Using a generalisation critic to find bisimulations for coinductive proofs ⋮ Analogy in inductive theorem proving ⋮ Unnamed Item ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics ⋮ Proof planning for strategy development ⋮ Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts ⋮ TAME: Using PVS strategies for special-purpose theorem proving ⋮ Experiments with proof plans for induction ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS
This page was built for software: CLAM
