Academic Papers by Silvija Seres
S. Seres: The Algebra of Logic Programming,
Thesis submitted in partial fulfilment of the requirements for the Doctor of Philosophy in Computation at University of Oxford.
Supervised by Tony Hoare and Mike Spivey.
Abstract: HTML, Download thesis: PDF
S. Seres, J. M. Spivey: Functional Reading of Logic Programs,
Published in the Journal of Universal Computer Science, March 2000. Submitted April 1999.
Also presented at BCTCS’99 in April 1999.
Abstract: HTML, Download paper: PDF