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

Alan Josephson

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

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

Coauthor Index

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

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)