Programming Systems Lab: Publications by Tobias Tebbi

Saarland University Computer Science

Select author:

2017

Equivalence of System F and λ2 in Coq Based on Context Morphism Lemmas   (pdf)
Jonas Kaiser, Tobias Tebbi, Gert Smolka
Proceedings of CPP 2017

2015

Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions   (pdf)
Steven Schäfer, Tobias Tebbi, Gert Smolka
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015

Completeness and Decidability of de Bruijn Substitution Algebra in Coq   (pdf)
Steven Schäfer, Gert Smolka, Tobias Tebbi
Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015

2013

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification   (pdf)
Tobias Tebbi
Master's Thesis, Saarland University

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification   (pdf)
Gert Smolka, Tobias Tebbi
24rd International Conference on Rewriting Techniques and Applications (RTA'13)

InKreSAT: Modal Reasoning via Incremental Reduction to SAT   (pdf)
Mark Kaminski, Tobias Tebbi
CADE-24

2011

Correctness of Tableau-Based Decision Procedures with Backjumping   (pdf)
Tobias Tebbi
B.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University


Login to edit


Webmaster, Mon May 30 13:48:30 2016