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 × Austria
1 × Poland
1 × United Kingdom
Collaborated with:
A.Middeldorp H.Zankl C.Sternagel C.Kop
Talks about:
condit (3) confluenc (2) determinist (1) decreas (1) complex (1) complet (1) certifi (1) visual (1) system (1) strong (1)

Person: Thomas Sternagel

DBLP DBLP: Sternagel:Thomas

Contributed to:

RTA 20152015
RTA-TLCA 20142014
IJCAR 20122012
CADE 20172017

Wrote 4 papers:

RTA-2015-KopMS #complexity
Conditional Complexity (CK, AM, TS), pp. 223–240.
RTA-TLCA-2014-SternagelM #confluence
Conditional Confluence (TS, AM), pp. 456–465.
IJCAR-2012-SternagelZ #named #visualisation
KBCV — Knuth-Bendix Completion Visualizer (TS, HZ), pp. 530–536.
CADE-2017-SternagelS #confluence #term rewriting
Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems (CS, TS), pp. 413–431.

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.