Anthony S. K. Cheng

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

Peter J. Robinson, John Staples, Anthony S. K. Cheng
Theorem Proving Applications for QU-Prolog. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Anthony S. K. Cheng, Ross A. Paterson
An Implementation for a Higher Level Logic Programming Language. FGCS (1992)
Anthony S. K. Cheng, Peter J. Robinson, John Staples
Higher Level Meta Programming in Qu-Prolog 3: 0. ICLP (1991)