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, S-C Mu: Optimisation problems in logic programming: an algebraic approach,
Published in the Proceedings of LPSE’00, July 2000.
Abstract: HTML, Download paper: PDF

S. Seres, J. M. Spivey: Higher-order transformation of logic programs,
Published in the Preproceedings of LOPSTR’00, July 2000.
Abstract: HTML, Download paper: PDF

S. Seres, J. M. Spivey, C.A.R. Hoare: Algebra of Logic Programming,
Published in the proceedings of ICLP’99, November 1999.
Abstract: HTML, Download paper: PDF

J. M. Spivey, S. Seres: The Algebra of Searching,
Published in the Proceedings of the Symposium in honour of work of C.A.R. Hoare, September 1999.
Abstract: HTML, Download paper: PDF

S. Seres, J. M. Spivey: Embedding Prolog into Haskell,
Published in the proceedings of HASKELL’99, September 1999.
Abstract: HTML, Download paper: 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