4 found
Sort by:
  1. H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop (1993). Dirk van Dalen Festschrift. Monograph Collection (Matt - Pseudo).
    No categories
     
    My bibliography  
     
    Export citation  
  2. J. W. Klop (1992). Chapter 1: Term Rewriting Systems. In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. 1--116.
    No categories
     
    My bibliography  
     
    Export citation  
  3. J. W. Klop (1992). Rewrite Systems. In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press.
    No categories
     
    My bibliography  
     
    Export citation  
  4. J. W. Klop (1980). Combinatory Reduction Systems. Mathematisch Centrum.
    No categories
     
    My bibliography  
     
    Export citation