Silvija Seres

According to our database, Silvija Seres authored at least 4 papers between 1999 and 2001.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2001

The algebra of logic programming.

Silvija Seres

PhD thesis, 2001

2000

Functional Reading of Logic Programs.

Silvija Seres, J. Michael Spivey

J. Univers. Comput. Sci., 2000

Higher-order transformation of logic programs.

Silvija Seres, J. Michael Spivey

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

1999

Algebra of Logic Programming.

Silvija Seres, J. Michael Spivey, C. A. R. Hoare

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999