CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1994
-
BENELOG 1994 : proceedings of the sixth Benelux workshop on logic programming, Amsterdam, 02.09.1994 Proceedings
January 1994
-
January 1994 -
January 1994
-
CMIFed: A Transportable Hypermedia Authoring System Miscellaneous
L. Hardman (Lynda), G. van Rossum (Guido), A.J. Jansen (Jack) and K.S. Mullender (Sjoerd)
January 1994
-
January 1994
-
Branching bisimulation as a strong bisimulation Tech Report
January 1994
-
The Amsterdam Hypermedia Model: Adding Time and Context to the Dexter Model Article
Communications of the ACM, 37(2), 50-62.L. Hardman (Lynda), D.C.A. Bulterman (Dick) and G. van Rossum (Guido)
January 1994