Sign in

Algebraic Semantics and Complexity of Term Rewriting Systems.

Tohru NaoiYasuyoshi Inagaki
Published in: RTA (1989)
Keyphrases
  • term rewriting systems
  • computational complexity
  • functional programs
  • machine learning
  • algebraic structure
  • worst case
  • logic programs
  • data types
  • logical framework