Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 14
Number of items: 14
  • Fokkink, W. J., & Verhoef, C. (1997). An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting. (Technical Report; No. P9715). onbekend (FdL).
  • Bergstra, J. A., Fokkink, W. J., & Middelburg, C. A. (1996). Algebra of timed frames. International Journal of Computer Mathematics, 61, 227-255. https://doi.org/10.1080/00207169608804514
  • Bergstra, J. A., Fokkink, W. J., & Middelburg, C. A. (1995). Algebra of timed frames. (Logic Group Preprint Series; No. 148). Utrecht University.
  • Open Access
    Fokkink, W. J. (1994). Clocks, Trees and Stars in Process Theory. [Thesis, internally prepared, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
Page 2 of 2