BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tebbi:Tobias

Contributed to:

CADE 20132013
RTA 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.