Silvija Seres

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Silvija Seres, J. Michael Spivey
Functional Reading of Logic Programs. J. Univers. Comput. Sci. 6 (4) (2000)
Silvija Seres, J. Michael Spivey
Higher-Order Transformation of Logic Programs. LOPSTR (LNCS 2042: Selected Papers) (2000)
Silvija Seres, J. Michael Spivey
Higher-order transformation of logic programs. LOPSTR (2000)
Silvija Seres, J. Michael Spivey, C. A. R. Hoare
Algebra of Logic Programming. ICLP (1999)