BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Japan
2 × The Netherlands
2 × United Kingdom
Collaborated with:
A.Geser A.Middeldorp H.Zantema C.Claves C.Marché B.Bütow R.Giegerich S.Thesing
Talks about:
rewrit (4) relat (3) undecid (2) termin (2) reduct (2) condit (2) quasi (2) term (2) determinist (1) hierarchi (1)

Person: Enno Ohlebusch

DBLP DBLP: Ohlebusch:Enno

Contributed to:

RTA 20002000
FLOPS 19991999
RTA 19981998
ALP/HOA 19971997
CSL 19961996
PPDP 19951995

Wrote 7 papers:

RTA-2000-OhlebuschCM #analysis #logic programming #named #source code #termination
TALP: A Tool for the Termination Analysis of Logic Programs (EO, CC, CM), pp. 270–273.
FLOPS-1999-Ohlebusch #on the #term rewriting
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems (EO), pp. 179–193.
RTA-1998-Ohlebusch #equivalence #reduction #theorem
Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation (EO), pp. 17–31.
ALP-1997-Ohlebusch #graph grammar
Conditional Term Graph Rewriting (EO), pp. 144–158.
CSL-1996-GeserMOZ #term rewriting
Relative Undecidability in Term Rewriting (AG, AM, EO, HZ), pp. 150–166.
PLILP-1995-ButowGOT #semantics
A New Strategy for Semantic Matching (BB, RG, EO, ST), pp. 81–96.
TAPSOFT-1997-GeserMOZ #termination
Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules (AG, AM, EO, HZ), pp. 237–248.

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.