Sign in

Confluence of algebraic rewriting systems.

Cyrille ChenavierBenjamin DupontPhilippe Malbos
Published in: Math. Struct. Comput. Sci. (2022)
Keyphrases
  • rewriting systems
  • rewriting rules
  • relational databases
  • structured data
  • transformation rules