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 × Germany
1 × USA
Collaborated with:
A.Schubert W.Dekkers Y.Toyama J.W.Klop
Talks about:
preliminari (1) automata (1) theoret (1) account (1) termin (1) system (1) search (1) rewrit (1) linear (1) direct (1)

Person: Hendrik Pieter Barendregt

DBLP DBLP: Barendregt:Hendrik_Pieter

Contributed to:

CSL 20152015
RTA 19891989

Wrote 2 papers:

CSL-2015-SchubertDB #automaton #proving
Automata Theoretic Account of Proof Search (AS, WD, HPB), pp. 128–143.
RTA-1989-ToyamaKB #linear #term rewriting #termination
Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft- (YT, JWK, HPB), pp. 477–491.

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.