Publication
-
A closer look at declarative interpretations Article
Journal of Logic Programming, 28(2), 147-180.January 1996 -
January 1996 -
A multiple polynomial general number field sieve In Proceedings
January 1996 -
Universal coalgebra: a theory of systems Tech Report
January 1996
-
January 1996
-
January 1996
-
January 1996
-
January 1996