Anthony S. K. Cheng

According to our database, Anthony S. K. Cheng authored at least 5 papers between 1988 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Theorem Proving Applications for QU-Prolog.

Peter J. Robinson, John Staples, Anthony S. K. Cheng

Proceedings of the ICLP 1994, 1994

1992

An Implementation for a Higher Level Logic Programming Language.

Anthony S. K. Cheng, Ross A. Paterson

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Higher Level Meta Programming in Qu-Prolog 3: 0.

Anthony S. K. Cheng, Peter J. Robinson, John Staples

Proceedings of the Logic Programming, 1991

1988

An OR parallel logic programming language : its compiler and abstract machine.

A. S. K. Cheng

PhD thesis, 1988

BRAVE - a parallel logic language for artificial intelligence.

T. J. Reynolds, A. J. Beaumont, A. S. K. Cheng, Sergio A. Delgado-Rannauro, L. A. Spacek

Future Gener. Comput. Syst., 1988