university website Publications by Year
  • sign in

Publication

  • thumb

    The tyft/tyxt format reduces to tree rules Tech Report

    W.J. Fokkink (Wan)

    January 1993
    open access
  • thumb

    Generalizing finiteness conditions of labelled transition systems Tech Report

    F. van Breugel

    January 1993
    open access
  • thumb

    Datalog with non-deterministic choice computes NDP-PTIME Tech Report

    L. Corciulo, F. Gianotti and D. Pedreschi

    January 1993
    open access
  • thumb

    Differential logic programs: semantics and programming methodologies Tech Report

    A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi and M.C. Meo

    January 1993
    open access
  • thumb

    Combinatory reduction systems: introduction and survey Tech Report

    J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

    January 1993
    open access
  • thumb

    Comparing combinatory reduction systems and higher-order rewrite systems Tech Report

    V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

    January 1993
    open access
  • thumb

    MADE: a multimedia application development environment Tech Report

    I. Herman (Ivan), G.J. Reynolds and J. Davy

    January 1993
    open access
  • thumb

    Control of a random walk with noisy delayed information Tech Report

    E. Altman and G.M. Koole (Ger)

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