Travelled to:1 × The Netherlands
1 × USA
Collaborated with:M.Kaminski G.Smolka
Talks about:unif (2) sat (2) increment (1) nonnest (1) scheme (1) reduct (1) recurs (1) reason (1) modulo (1) anchor (1)
Person: Tobias Tebbi
DBLP: Tebbi:Tobias
Contributed to:
2013
2013Wrote 2 papers:
- CADE-2013-KaminskiT #incremental #named #reasoning #reduction #satisfiability
- InKreSAT: Modal Reasoning via Incremental Reduction to SAT (MK, TT), pp. 436–442.
- RTA-2013-SmolkaT #recursion #unification
- Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (GS, TT), pp. 271–286.