Login / Signup

Modular termination of prefix-constrained term rewrite systems.

Nirina AndrianariveloPierre Réty
Published in: Inf. Process. Lett. (2022)
Keyphrases
  • term rewrite systems
  • rewrite rules
  • data structure
  • database
  • viewpoint
  • management system
  • data driven