The following pages link to Oyster (Q31454):
Displayed 32 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Proofs-as-programs as a framework for the design of an analogy-based ML editor (Q699921) (← links)
- Experiments with proof plans for induction (Q809617) (← links)
- On process equivalence = equation solving in CCS (Q839034) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Rule-based induction (Q1334895) (← links)
- Using tactics to reformulate formulae for resolution theorem proving (Q1380410) (← links)
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts (Q1601863) (← links)
- Planning proofs of equations in CCS (Q1857269) (← links)
- Mechanical verification on strategies (Q1896369) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- A calculus for and termination of rippling (Q1915137) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Lemma discovery for induction. A survey (Q2287904) (← links)
- An approach to automatic deductive synthesis of functional programs (Q2457802) (← links)
- Concept Formation via Proof Planning Failure (Q2996204) (← links)
- (Q3490990) (← links)
- (Q4303117) (← links)
- Extensions to a generalization critic for inductive proof (Q4647499) (← links)
- Termination of algorithms over non-freely generated data types (Q4647505) (← links)
- Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto (Q4913999) (← links)
- PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)
- Termination of constructor systems (Q5055852) (← links)
- Termination orderings for rippling (Q5210791) (← links)
- Mollusc a general proof-development shell for sequent-based logics (Q5210817) (← links)
- Using a generalisation critic to find bisimulations for coinductive proofs (Q5234712) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Mechanizing Mathematical Reasoning (Q5717449) (← links)
- Analogy in Automated Deduction: A Survey (Q5739522) (← links)