Computational Logic Publications, St Andrews University

The following is a list of recent or forthcoming reports and publications by the Computational Logic Group at the St Andrews University School of Computer Science. In each section, the most recent items are at the top. For publications by Juliana Bowles, Ian Gent or James McKinna, see their own web pages.

The links are mainly links to Postscript files. The files are usually not compressed. Sometimes there is a dvi file or a pdf file.

Accepted or published journal papers are copyright of the publisher: RD may be able to send a preprint or offprint.

Journal papers published

Refereed conference and workshop papers published or accepted

Research Reports (School of Computer Science, University of St Andrews)

Abstracts of conference submissions

Theses

Conference/workshop editions

Book reviews

Other stuff