dblp.uni-trier.dewww.uni-trier.de

N. Alan Josephson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Nachum Dershowitz [1] [2] [3] [4]
2Jieh Hsiang [1]
3David A. Plaisted [1]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)