Sorin Stratulat

MaRDI QIDQ219448zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A unified view of induction reasoning for first-order logic	2026-01-14	Paper
Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs Annals of Mathematics and Artificial Intelligence	2023-11-02	Paper
Experiments with automated reasoning in the class Lecture Notes in Computer Science	2023-06-02	Paper
scientific article; zbMATH DE number 7447753 (Why is no real title available?)	2021-12-17	Paper
scientific article; zbMATH DE number 7447753 (Why is no real title available?) (available as arXiv preprint)	2021-12-17	Paper
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques Journal of Symbolic Computation	2018-06-14	Paper
Cyclic proofs with ordering constraints	2018-02-02	Paper
Mechanically certifying formula-based Noetherian induction reasoning Journal of Symbolic Computation	2017-02-06	Paper
Proof-based synthesis of sorting algorithms for trees Language and Automata Theory and Applications	2016-04-13	Paper
Automated Certification of Implicit Induction Proofs Certified Programs and Proofs	2011-11-22	Paper
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities Rewriting Techniques and Applications	2008-08-28	Paper
Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science	2006-07-07	Paper
VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗ Parallel Algorithms and Applications	2004-10-06	Paper
scientific article; zbMATH DE number 2043539 (Why is no real title available?)	2004-02-16	Paper
Incorporating decision procedures in implicit induction. Journal of Symbolic Computation	2003-08-21	Paper
Mechanical verification of an ideal incremental ABR conformance algorithm Journal of Automated Reasoning	2003-06-09	Paper
A general framework to build contextual cover set induction provers Journal of Symbolic Computation	2002-01-02	Paper
scientific article; zbMATH DE number 1670787 (Why is no real title available?)	2001-11-11	Paper

Research outcomes over time

This page was built for person: Sorin Stratulat