scientific article
From MaRDI portal
Publication:3804239
zbMath0656.68106MaRDI QIDQ3804239
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On process equivalence = equation solving in CCS ⋮ Towards finding longer proofs ⋮ Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics ⋮ Proof by analogy in mural ⋮ Proof planning with multiple strategies ⋮ Mathematical method and proof ⋮ Tool-assisted specification and verification of typed low-level languages ⋮ A proof-centric approach to mathematical assistants ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Supporting the formal verification of mathematical texts ⋮ Crystal: Integrating structured queries into a tactic language ⋮ Formalization of the resolution calculus for first-order logic ⋮ Productive use of failure in inductive proof ⋮ Middle-out reasoning for synthesis and induction ⋮ Using tactics to reformulate formulae for resolution theorem proving ⋮ Specifying rewrite strategies for interactive exercises ⋮ Conjecture synthesis for inductive theories ⋮ Proving theorems by reuse ⋮ Knowledge-based proof planning ⋮ Extensions to a generalization critic for inductive proof ⋮ Rippling: A heuristic for guiding inductive proofs ⋮ Learning Strategies for Mechanised Building of Decision Procedures ⋮ Agenda control for heterogeneous reasoners ⋮ Constraint solving for proof planning ⋮ TacticToe: learning to prove with tactics ⋮ Interleaving Strategies ⋮ Synthesis of induction orderings for existence proofs ⋮ Reconstructing proofs at the assertion level ⋮ Ωmega: Towards a mathematical assistant ⋮ Using a generalisation critic to find bisimulations for coinductive proofs ⋮ A colored version of the λ-calculus ⋮ Mining State-Based Models from Proof Corpora ⋮ Proof-search in type-theoretic languages: An introduction ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics ⋮ Experiments with proof plans for induction ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS
Uses Software
This page was built for publication:
