Computational Logic Publications, St Andrews University

The following is a list of ancient, recent or forthcoming reports and publications by Roy Dyckhoff and/or his students and collaborators at the St Andrews University School of Computer Science. For others in the Computational Logic Group, 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 in final form are copyright of the publisher: RD may be able to send a preprint or offprint. Where a file is available directly via this page, it may be only a near-final version and the published version is normally the only one that should be cited.

Journal papers published or accepted

Book chapters published or accepted

Refereed conference and workshop papers published or accepted

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

Abstracts of conference submissions

Theses (PhD, MPhil and MSc)

Conference/workshop editions

Book reviews

Other stuff