Papers with Silvija Seres
Collected here are some papers written with Silvija Seres during her
time as my doctoral student.
- 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.
Abstract: HTML,
Download thesis:
PS.GZ or
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: PS.GZ or
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: PS.GZ or
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:
PS.GZ or
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: PS.GZ or
PDF
- S. Seres, J. M. Spivey:
Embedding Prolog into Haskell,
Published in the proceedings of HASKELL'99, September 1999.
Abstract: HTML,
Download paper:
PS.GZ or
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:
PS.GZ or
PDF