Login / Signup

Termination of linear bounded term rewriting systems.

Irène DurandGéraud SénizerguesMarc Sylvestre
Published in: RTA (2010)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • database systems
  • data model
  • rewrite systems