1. J. W. Klop (1980). Combinatory Reduction Systems. Mathematisch Centrum.
     
    Export citation  
     
    My bibliography   2 citations  
  2. H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop (1993). Dirk van Dalen Festschrift. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  3. 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
     
    Export citation  
     
    My bibliography  
  4. 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
     
    Export citation  
     
    My bibliography  
  5. Nothing found.