Filter your results
- 5
- 2
- 3
- 3
- 1
- 7
- 1
- 2
- 1
- 2
- 1
- 1
- 6
- 1
- 7
- 5
- 2
- 2
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
7 Results
|
|
sorted by
|
A General Framework to Build Contextual Cover Set Induction ProversJournal of Symbolic Computation, 2001, 32 (4), pp.403-445
Journal articles
inria-00100927v1
|
|||
Integrating Implicit Induction Proofs into Certified Proof EnvironmentsIntegrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.320-335
Conference papers
inria-00525187v1
|
|||
Incorporating Decision Procedures in Implicit InductionEight International Conference on Computer Aided Systems Theory - Eurocast'2001, Feb 2001, Casa de Colon, Las Palmas de Gran Canaria, Spain, 16 p
Conference papers
inria-00100928v1
|
|||
Applying semantic subsumption rules in the context of inductive proofsWorkshop on Integration of Deductive Systems - CADE-15, 1998, none, 11 p
Conference papers
inria-00098496v1
|
|||
A General Framework to Build Multi-logic Implicit Induction Provers[Intern report] 99-R-310 || stratulat99a, 1999, 32 p
Reports
inria-00098939v1
|
|||
|
Récurrence noethérienne pour le raisonnement de premier ordre1024 : Bulletin de la Société Informatique de France, 2022, 19, pp.157-169. ⟨10.48556/SIF.1024.19.157⟩
Journal articles
hal-03688845v2
|
||
|
Automated Reasoning in the ClassComputer-Algebra-Rundbrief, 2022, 71, pp.21-26
Journal articles
hal-03886685v1
|