Login / Signup

Confluence of nearly orthogonal infinitary term rewriting systems.

Lukasz Czajka
Published in: RTA (2015)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • relational databases
  • first order logic