Sorin Stratulat

Available identifiers

Publication	Date of Publication	Type
Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs	2023-11-02	Paper
Experiments with automated reasoning in the class	2023-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q3384901	2021-12-17	Paper
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques	2018-06-14	Paper
Cyclic proofs with ordering constraints	2018-02-02	Paper
Mechanically certifying formula-based Noetherian induction reasoning	2017-02-06	Paper
Proof-based synthesis of sorting algorithms for trees	2016-04-13	Paper
Automated Certification of Implicit Induction Proofs	2011-11-22	Paper
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities	2008-08-28	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗	2004-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q4447243	2004-02-16	Paper
Incorporating decision procedures in implicit induction.	2003-08-21	Paper
Mechanical verification of an ideal incremental ABR conformance algorithm	2003-06-09	Paper
A general framework to build contextual cover set induction provers	2002-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q2754095	2001-11-11	Paper

This page was built for person: Sorin Stratulat