Travelled to:
1 × Sweden
1 × USA
Collaborated with:
N.Dershowitz
Talks about:
implement (1) program (1) complet (1) narrow (1) logic (1) rite (1) way (1)
Person: N. Alan Josephson
DBLP: Josephson:N=_Alan
Contributed to:
Wrote 2 papers:
- SLP-1986-JosephsonD86 #implementation
- An Implementation of Narrowing: The RITE Way (NAJ, ND), pp. 187–197.
- ILPC-1984-DershowitzJ84 #logic programming
- Logic Programming by Completion (ND, NAJ), pp. 313–320.