Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures Books uri icon

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • View All
  •  

abstract

  • Part of a multi-volume work that has been designed to cover all major areas of the application of logic to theoretical computer science, this book explores term rewriting systems, Lambda calculi with types, elements of algorithmic proof, ...

publication date

  • December 10, 1992