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).
     
    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.
     
    My bibliography  
     
    Export citation