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

Two solutions to incorporate zero, successor and equality in binary decision diagrams Tech Report

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

January 2002
A coordination-based framework for distributed constraint solving Tech Report

P. Zoeteweij (Peter)

January 2002
Cones and foci for protocol verification revisited Tech Report

W.J. Fokkink (Wan) and J. Pang

January 2002
A new coalgebraic semantics for positive modal logic Tech Report

A. Palmigiano

January 2002
Lifting infinite normal form definitions from term rewriting to term graph rewriting Tech Report

S.C.C. Blom (Stefan)

January 2002
Observational logic, constructor-based logic, and their duality Tech Report

M. Bidoit, R. Hennicker and A. Kurz (Alexander)

January 2002
Coalgebraic modal logic of finite rank Tech Report

A. Kurz (Alexander) and D. Pattinson

January 2002
Coinductive counting with weighted automata Tech Report

J.J.M.M. Rutten (Jan)

January 2002

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