Search - Archive ouverte HAL Access content directly

Filter your results

15 Results
Image document

E-Cyclist: Implementation of an Efficient Validation of FOL ID Cyclic Induction Reasoning

Sorin Stratulat
SCSS 2021 - 9th International Symposium on Symbolic Computation in Software Science, Sep 2021, Linz, Austria. pp.129--135
Conference papers hal-02464242v4
Image document

Cyclic Proofs with Ordering Constraints

Sorin Stratulat
TABLEAUX 2017 (26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Sep 2017, Brasilia, Brazil. pp.311 - 327, ⟨10.1007/978-3-319-66902-1_19⟩
Conference papers hal-01590651v1
Image document

Theory Exploration of Binary Trees

Isabela Dramnesc , Tudor Jebelean , Sorin Stratulat
13th IEEE International Symposium on Intelligent Systems and Informatics, SISY 2015, Sep 2015, Subotica, Serbia. pp.139-144
Conference papers hal-01235173v1
Image document

Implementing Reasoning Modules in Implicit Induction Theorem Provers

Sorin Stratulat
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Sep 2014, Timisoara, Romania
Conference papers hal-01098933v1
Image document

Proof–based Synthesis of Sorting Algorithms for Trees

Isabela Dramnesc , Tudor Jebelean , Sorin Stratulat
140th International Conference on Language and Automata Theory and Applications (LATA 2016), Mar 2016, Prague, Czech Republic. pp.562-575, ⟨10.1007/978-3-319-30000-9_43⟩
Conference papers hal-01590645v1
Image document

Structural vs. Cyclic Induction

Sorin Stratulat
SYNASC'2016 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. pp.29 - 36, ⟨10.1109/SYNASC.2016.018⟩
Conference papers hal-01590647v1
Image document

Mechanically Certifying Formula-based Noetherian Induction Reasoning

Sorin Stratulat
Journal of Symbolic Computation, 2017, 80, Part I, pp.209-249. ⟨10.1016/j.jsc.2016.07.014⟩
Journal articles hal-01590649v1
Image document

Decision Procedures for Proving Inductive Theorems without Induction

Takahito Aoto , Sorin Stratulat
16th International Symposium on Principles and Practice of Declarative Programming (PPDP) 2014, Sep 2014, Canterbury, United Kingdom. ⟨10.1145/2643135.2643156⟩
Conference papers hal-01098929v1
Image document

Mechanical certification of FOLID cyclic proofs

Sorin Stratulat
Annals of Mathematics and Artificial Intelligence, 2023, ⟨10.1007/s10472-023-09832-7⟩
Journal articles hal-03993176v1
Image document

Experiments with Automated Reasoning in the Class

Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
CICM 2022 - 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩
Conference papers hal-03781994v1
Image document

Mechanical Synthesis of Sorting Algorithms for Binary Trees by Logic and Combinatorial Techniques

Isabela Dramnesc , Tudor Jebelean , Sorin Stratulat
Journal of Symbolic Computation, 2019, 90, pp.3-41. ⟨10.1016/j.jsc.2018.04.002⟩
Journal articles hal-01590654v1
Image document

Efficient Validation of FOL ID Cyclic Induction Reasoning

Sorin Stratulat
2019
Other publications hal-02398634v1
Image document

A Unified View of Induction Reasoning for First-Order Logic

Sorin Stratulat
Turing-100, The Alan Turing Centenary Conference, Jun 2012, Manchester, United Kingdom
Conference papers hal-00763236v1
Image document

ARC: An Educational Project on Automated Reasoning in the Class

Isabela Drămnesc , Tudor Jebelean , Erika Ábrahám , Gábor Kusper , Sorin Stratulat
EdMedia + Innovate Learning 2022 - AACE Conferences, Jun 2022, New York, United States
Conference papers hal-03900003v1
Image document

A Case Study on Algorithm Discovery from Proofs: The Insert Function on Binary Trees

Isabela Dramnesc , Tudor Jebelean , Sorin Stratulat
SACI 2016: 11th IEEE International Symposium on Applied Computational Intelligence and Informatics, May 2016, Timisoara, Romania
Conference papers hal-01590637v1