Search - Archive ouverte HAL Access content directly

Filter your results

7 Results

A General Framework to Build Contextual Cover Set Induction Provers

Sorin Stratulat
Journal of Symbolic Computation, 2001, 32 (4), pp.403-445
Journal articles inria-00100927v1

Integrating Implicit Induction Proofs into Certified Proof Environments

Sorin Stratulat
Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.320-335
Conference papers inria-00525187v1

Incorporating Decision Procedures in Implicit Induction

Alessandro Armando , Michaël Rusinowitch , Sorin Stratulat
Eight 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 proofs

Sorin Stratulat
Workshop 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

Sorin Stratulat
[Intern report] 99-R-310 || stratulat99a, 1999, 32 p
Reports inria-00098939v1
Image document

Récurrence noethérienne pour le raisonnement de premier ordre

Sorin Stratulat
1024 : Bulletin de la Société Informatique de France, 2022, 19, pp.157-169. ⟨10.48556/SIF.1024.19.157⟩
Journal articles hal-03688845v2
Image document

Automated Reasoning in the Class

Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
Computer-Algebra-Rundbrief, 2022, 71, pp.21-26
Journal articles hal-03886685v1