| |
| 2000 | ||
|---|---|---|
| 4 | EE | Silvija Seres, J. Michael Spivey: Higher-order transformation of logic programs. LOPSTR 2000 |
| 3 | EE | Silvija Seres, J. Michael Spivey: Higher-Order Transformation of Logic Programs. LOPSTR (LNCS 2042: Selected Papers) 2000: 57-68 |
| 2 | EE | Silvija Seres, J. Michael Spivey: Functional Reading of Logic Programs. J. UCS 6(4): 433-446 (2000) |
| 1999 | ||
| 1 | Silvija Seres, J. Michael Spivey, C. A. R. Hoare: Algebra of Logic Programming. ICLP 1999: 184-199 | |
| 1 | C. A. R. Hoare (Tony Hoare) | [1] |
| 2 | J. Michael Spivey | [1] [2] [3] [4] |