Tobias Tebbi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2013–2017
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CPP | Equivalence of system f and ź2 in Coq based on context morphism lemmas. | Jonas Kaiser, Tobias Tebbi, Gert Smolka |
| 2015 | CPP | Completeness and Decidability of de Bruijn Substitution Algebra in Coq. | Steven Schfer, Gert Smolka, Tobias Tebbi |
| 2015 | ITP | Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions. | Steven Schfer, Tobias Tebbi, Gert Smolka |
| 2013 | CADE | InKreSAT: Modal Reasoning via Incremental Reduction to SAT. | Mark Kaminski, Tobias Tebbi |