Travelled to:
1 × Italy
Collaborated with:
A.Middeldorp
Talks about:
counterexampl (1) complet (1) result (1) narrow (1) basic (1)
Person: Erik Hamoen
DBLP: Hamoen:Erik
Contributed to:
Wrote 1 papers:
- ALP-1992-MiddeldorpH
- Counterexamples to Completeness Results for Basic Narrowing (AM, EH), pp. 244–258.