Login / Signup

Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering.

Takahito Aoto
Published in: FroCos (2013)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • image interpretation
  • partial order
  • databases
  • data structure
  • multi agent systems
  • object oriented
  • logic programming
  • semantic interpretation