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: Barendregt:Hendrik_Pieter
Contributed to:
2015
1989Wrote 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.