N. Alan Josephson

Publication Activity (10 Years)

Years Active: 1983-1989
Publications (10 Years): 0

Publications

N. Alan Josephson, Nachum Dershowitz
An Implementation of Narrowing. J. Log. Program. 6 (1&2) (1989)
N. Alan Josephson, Nachum Dershowitz
An Implementation of Narrowing: The RITE Way. SLP (1986)
Nachum Dershowitz, N. Alan Josephson
Logic Programming by Completion. ICLP (1984)
Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted
Associative-Commutative Rewriting. IJCAI (1983)