ANU Computer Science Technical Reports

2001

TR-CS-01-02

Jeremy E. Dawson and Rajeev Gore.
Mechanising cut-elimination for display logic.
October 2001.
[ABSTRACT] [POSTSCRIPT (161355 bytes)] [PDF (342177 bytes)] [EPrints archive]

TR-CS-01-01

Peter Christen, Markus Hegland, Stephen Roberts, and Irfan Altas.
A scalable parallel FEM surface fitting algorithm for data mining.
October 2001.
[ABSTRACT] [POSTSCRIPT (260132 bytes)] [PDF (385105 bytes)] [EPrints archive]