Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

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 $ omega $-complete equational specification of interleaving Tech Report

W.J. Fokkink (Wan) and S.P. Luttik (Bas)

January 2000
Development of parsing tools for Casl using generic language technology Tech Report

M.G.J. van den Brand (Mark) and J. Scheerder

January 2000
Application software, domain-specific languages, and language design assistants Tech Report

J. Heering (Jan)

January 2000
Resolution and binary decision diagrams cannot simulate each other polynomially Tech Report

J.F. Groote (Jan Friso) and H. Zantema (Hans)

January 2000
State space reduction using partial $ au $-confluence Tech Report

J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

January 2000
Equational binary decision diagrams Tech Report

J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

January 2000
Scientific approaches and techniques for negotiation : a game theoretic and artificial intelligence perspective Tech Report

E.H. Gerding (Enrico), D.D.B. van Bragt and J.A. La Poutré (Han)

January 2000
Efficient annotated terms Tech Report

M.G.J. van den Brand (Mark), H.A. de Jong (Hayco), P. Klint (Paul) and P.A. Olivier (Pieter)

January 2000

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close