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

B. E. Richards

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

1990
1 Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards: On Warren's Method for Functional Programming in Logic. ICLP 1990: 546-560

Coauthor Index

1Mantis H. M. Cheng [1]
2Maarten H. van Emden [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)