Benjamin Z. Li

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

1 Benjamin Z. Li: A pi-Calculus Specification of Prolog. ESOP 1994: 379-393