Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 21
Number of items: 21
  • Bethke, I., & Rodenburg, P. H. (2007). Some properties of finite meadows. ArXiv. http://arxiv.org/abs/0712.0917
  • Rodenburg, P. H. (2007). Piecewise initial algebra semantics. The Journal of Logic and Algebraic Programming, 74, 1-31. https://doi.org/10.1016/j.jlap.2007.03.001
  • Rodenburg, P. H. (2005). Piecewise Initial Algebra Semantics. Informatics Institute.
  • Luttik, S. P., Rodenburg, P. H., & Verma, R. M. (2004). Remarks on Thatte's Transformation of Term Rewriting Systems. Information and Computation, 195(1-2), 66-87. https://doi.org/10.1016/j.ic.2003.09.006
  • Rodenburg, P. H. (1998). Termination and confluence in infinitary term rewriting. Journal of Symbolic Logic, 63, 1286-1296. https://doi.org/10.2307/2586651
  • Rodenburg, P. H. (1997). Meersoortige algebra met mogelijk lege soorten: vrije uitbreidingen en de HSP-stelling. In M. BrunĂ©, A. van Deursen, & J. Heering (Eds.), Dat Is Dus Heel Interessant: liber amicorum voor Paul Klint : uitgave van het CWI t.g.v. het 25-jarig dienstverband van Paul Klint in september 1997 (pp. 163-187). CWI.
  • Rodenburg, P. H. (1996). A Complete System of Four-valued Logic. (Technical Report; No. P9618). onbekend (FdL).
  • Luttik, S. P., & Rodenburg, P. H. (1996). Transformations of Reduction Systems. (Technical Report; No. P9615). onbekend (FdL).
  • Rodenburg, P. H. (1995). Termination and confluence in infinitary term rewriting. (Technical Report; No. P9510). onbekend (FdL).
  • Bergstra, J. A., Bethke, I., & Rodenburg, P. H. (1995). A propositional logic with four values: true, false, divergent and meaningless. Journal of Applied Non-Classical Logics, 5, 199-217.
Page 2 of 3