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

    Boolean functions, invariance groups and parallel complexity Tech Report

    P. Clote and E. Kranakis (Evangelos)

    January 1988
  • thumb

    Data flow semantics Tech Report

    J.N. Kok (Joost)

    January 1988
  • thumb

    A fixpoint semantics for guarded Horn clauses Tech Report

    C. Palamidessi (Catuscia)

    January 1988
  • thumb

    Correctness and full abstraction of metric semantics for concurrency Tech Report

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

    January 1988
  • thumb

    Efficient computing of least fixpoints Tech Report

    K.R. Apt (Krzysztof)

    January 1988
  • thumb

    On semigroups and populations Tech Report

    O. Diekmann (Odo)

    January 1988
  • thumb

    Expert systems as deductive systems Tech Report

    A. P. W. Eliƫns (Anton)

    January 1988
  • thumb

    Disjoint circuits of prescribed homotopies in a graph on a compact surface Tech Report

    A. Schrijver (Lex)

    January 1988
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