1. 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  
  2. 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  
  3. J. W. Klop (1980). Combinatory Reduction Systems. Mathematisch Centrum.
    No categories
     
    My bibliography  
     
    Export citation