CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
An algebraic view of structural induction In Proceedings
January 1995 -
Near-optimal distributed edge coloring In Proceedings
January 1995 -
On termination of constraint logic programs In Proceedings
January 1995 -
On solving implicit differential equations on parallel computers Article
Rendiconti del Seminario Matematico e Fisico di Milano, 159-178.January 1995 -
Secure signature schemes based on interactive protocols In Proceedings
January 1995 -
Algorithmic arguments in physics of computation In Proceedings
January 1995 -
Proofs of partial knowledge and simplified design of witness hiding protocols Article
CWI Quarterly, 8(2), 111-127.R.J.F. Cramer (Ronald), L.A.M. Schoenmakers (Berry) and I.B. Damgård (Ivan)
January 1995 -
Three logics for branching bisimulation Article
Journal of the Association for Computing Machinery, 42(2), 458-487.January 1995