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 × France
Collaborated with:
G.Godoy A.Tiwari
Talks about:
innermost (2) rewrit (2) reachabl (1) shallow (1) joinabl (1) termin (1) system (1) right (1) decid (1) term (1)

Person: Eduard Huntingford

DBLP DBLP: Huntingford:Eduard

Contributed to:

RTA 20072007

Wrote 2 papers:

RTA-2007-GodoyH #decidability #term rewriting
Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems (GG, EH), pp. 184–199.
RTA-2007-GodoyHT #termination
Termination of Rewriting with Right-Flat Rules (GG, EH, AT), pp. 200–213.

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.