Travelled to:
1 × Sweden
1 × USA
Collaborated with:
F.Pfenning
Talks about:
implement (1) program (1) theori (1) termin (1) system (1) higher (1) deduct (1) order (1) logic (1) check (1)
Person: Ekkehard Rohwedder
DBLP: Rohwedder:Ekkehard
Contributed to:
Wrote 2 papers:
- ESOP-1996-RohwedderP #higher-order #logic programming #source code #termination
- Mode and Termination Checking for Higher-Order Logic Programs (ER, FP), pp. 296–310.
- CADE-1992-PfenningR #deduction #implementation
- Implementing the Meta-Theory of Deductive Systems (FP, ER), pp. 537–551.