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

    Stable string languages of Lindenmayer systems : (prepublication) Tech Report

    P.M.B. Vitányi (Paul) and A. Walker

    January 1974
  • thumb

    An extension of unification to substitutions with an application to automatic theorem proving : (prepublication) Tech Report

    J.M. van Vaalen (Jophien)

    January 1974
  • thumb

    Least fixed points revisited : Prepublication Tech Report

    J.W. de Bakker (Jaco)

    January 1974
  • thumb

    Chess, how to program the exceptions? Tech Report

    C. Zuidema

    January 1974
  • thumb

    Recursion and parameter mechanisms: an axiomatic approach : (prepublication) Tech Report

    W.P. de Roever

    January 1974
  • thumb

    Growth of strings in context dependent Lindenmayer systems : (prepublication) Tech Report

    P.M.B. Vitányi (Paul)

    January 1974
  • thumb

    On the size of DOL languages : (prepublication) Tech Report

    P.M.B. Vitányi (Paul)

    January 1974
  • thumb

    Aleph manual Tech Report

    D. Grune (Dick), R. Bosch and L.G.L.T. Meertens (Lambert)

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