InKa
From MaRDI portal
Cited in
(33)- scientific article; zbMATH DE number 1348458 (Why is no real title available?)
- A calculus for and termination of rippling
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Middle-out reasoning for synthesis and induction
- Induction using term orders
- Induction and Skolemization in saturation theorem proving
- Sound lemma generation for proving inductive validity of equations
- INKA: The next generation
- scientific article; zbMATH DE number 1552511 (Why is no real title available?)
- Synthesis of induction orderings for existence proofs
- On terminating lemma speculations.
- PLAGIATOR
- SPIKE
- VSDITLU
- MGTP
- Superposition with structural induction
- Cyclist
- CLAM
- Oyster
- 3TAP
- QuodLibet
- RRL
- ABSFOL
- PROVERB
- Mollusc
- A recursion planning analysis of inductive completion
- Mathematical Knowledge Management
- Termination of constructor systems
- Proving theorems by reuse
- Reasoning About Incompletely Defined Programs
- Termination of algorithms over non-freely generated data types
- Plagiator — A learning prover
- Induction using term orderings
This page was built for software: InKa
