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 1987 -
ASF: an algebraic specification formalism Tech Report
January 1987 -
January 1987 -
January 1987 -
Another look at abstraction in process algebra Tech Report
January 1987 -
January 1987 -
January 1987
-
Polyhedral combinatorics-some recent developments and results Article
Proceedings of the International Congress of mathematicians 1986 (A.M. Glrason, ed.), 1431-1443.January 1987