Filter your results
- 15
- 11
- 3
- 1
- 15
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 2
- 1
- 15
- 9
- 7
- 7
- 6
- 4
- 1
- 1
- 15
- 6
- 4
- 2
- 2
- 1
- 1
- 1
15 Results
|
|
sorted by
|
|
E-Cyclist: Implementation of an Efficient Validation of FOL ID Cyclic Induction ReasoningSCSS 2021 - 9th International Symposium on Symbolic Computation in Software Science, Sep 2021, Linz, Austria. pp.129--135
Conference papers
hal-02464242v4
|
||
|
Cyclic Proofs with Ordering ConstraintsTABLEAUX 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
|
||
|
Theory Exploration of Binary Trees13th IEEE International Symposium on Intelligent Systems and Informatics, SISY 2015, Sep 2015, Subotica, Serbia. pp.139-144
Conference papers
hal-01235173v1
|
||
|
Implementing Reasoning Modules in Implicit Induction Theorem ProversInternational Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Sep 2014, Timisoara, Romania
Conference papers
hal-01098933v1
|
||
|
Proof–based Synthesis of Sorting Algorithms for Trees140th 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
|
||
|
Structural vs. Cyclic InductionSYNASC'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
|
||
|
Mechanically Certifying Formula-based Noetherian Induction ReasoningJournal of Symbolic Computation, 2017, 80, Part I, pp.209-249. ⟨10.1016/j.jsc.2016.07.014⟩
Journal articles
hal-01590649v1
|
||
|
Decision Procedures for Proving Inductive Theorems without Induction16th International Symposium on Principles and Practice of Declarative Programming (PPDP) 2014, Sep 2014, Canterbury, United Kingdom. ⟨10.1145/2643135.2643156⟩
Conference papers
hal-01098929v1
|
||
|
Mechanical certification of FOLID cyclic proofsAnnals of Mathematics and Artificial Intelligence, 2023, ⟨10.1007/s10472-023-09832-7⟩
Journal articles
hal-03993176v1
|
||
|
Experiments with Automated Reasoning in the ClassCICM 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
|
||
|
Mechanical Synthesis of Sorting Algorithms for Binary Trees by Logic and Combinatorial TechniquesJournal of Symbolic Computation, 2019, 90, pp.3-41. ⟨10.1016/j.jsc.2018.04.002⟩
Journal articles
hal-01590654v1
|
||
|
Efficient Validation of FOL ID Cyclic Induction Reasoning2019
Other publications
hal-02398634v1
|
||
|
A Unified View of Induction Reasoning for First-Order LogicTuring-100, The Alan Turing Centenary Conference, Jun 2012, Manchester, United Kingdom
Conference papers
hal-00763236v1
|
||
|
ARC: An Educational Project on Automated Reasoning in the ClassEdMedia + Innovate Learning 2022 - AACE Conferences, Jun 2022, New York, United States
Conference papers
hal-03900003v1
|
||
|
A Case Study on Algorithm Discovery from Proofs: The Insert Function on Binary TreesSACI 2016: 11th IEEE International Symposium on Applied Computational Intelligence and Informatics, May 2016, Timisoara, Romania
Conference papers
hal-01590637v1
|