N. Alan Josephson

According to our database, N. Alan Josephson authored at least 4 papers between 1983 and 1989.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1989

An Implementation of Narrowing.

N. Alan Josephson, Nachum Dershowitz

J. Log. Program., 1989

1986

An Implementation of Narrowing: The RITE Way.

N. Alan Josephson, Nachum Dershowitz

Proceedings of the 1986 Symposium on Logic Programming, 1986

1984

Logic Programming by Completion.

Nachum Dershowitz, N. Alan Josephson

Proceedings of the Second International Logic Programming Conference, 1984

1983

Associative-Commutative Rewriting.

Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983