The following pages link to Sorin Stratulat (Q219448):
Displaying 15 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Incorporating decision procedures in implicit induction. (Q1404422) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Cyclic proofs with ordering constraints (Q1694475) (← links)
- Mechanical verification of an ideal incremental ABR conformance algorithm (Q1810852) (← links)
- (Q2754095) (← links)
- Proof–Based Synthesis of Sorting Algorithms for Trees (Q2798749) (← links)
- Automated Certification of Implicit Induction Proofs (Q3100200) (← links)
- (Q3384901) (← links)
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029) (← links)
- (Q4447243) (← links)
- VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗ (Q4820127) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479282) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)
- Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs (Q6059221) (← links)
