university website 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
  • thumb

    A new coalgebraic semantics for positive modal logic Tech Report

    A. Palmigiano

    January 2002
    open access
  • thumb

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

    S.C.C. Blom (Stefan)

    January 2002
    open access
  • thumb

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

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

    January 2002
    open access
  • thumb

    Coalgebraic modal logic of finite rank Tech Report

    A. Kurz (Alexander) and D. Pattinson

    January 2002
    open access
  • thumb

    Coinductive counting with weighted automata Tech Report

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

    January 2002
    open access
  • thumb

    GSOS for probabilistic transition systems Tech Report

    F. Bartels (Falk)

    January 2002
    open access
  • thumb

    Bidding with decommitment in a multi-agent transportation model Tech Report

    P.J. 't Hoen (Pieter Jan), D.D.B. van Bragt and J.A. La Poutré (Han)

    January 2002
    open access
  • thumb

    On the structure of Gaussian pricing models and Gaussian Markov functional models Tech Report

    C.D.D. Neumann

    January 2002
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close