ANU Computer Science Technical Reports

1985

TR-CS-85-05

Andrew Kirk.
Efficiency considerations in the canonical labelling of graphs.
November 1985.

TR-CS-85-04

Robert Edmondson.
Toward a logic for non Horn clause Prolog.
November 1985.

TR-CS-85-03

B.P. Molinari.
PLUM - a package for ADT implementation.
December 1985.

TR-CS-85-02

P.B. Thistlewaite, R.K. Meyer, and M.A. McRobbie.
Advanced theorem-proving techniques for relevant logics.
May 1985.

TR-CS-85-01

Van Tu Le.
A classification of failures of logic programs with equality.
March 1985.