Login / Signup

CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems.

Kiraku ShintaniNao Hirokawa
Published in: CADE (2015)
Keyphrases
  • term rewrite systems
  • management system
  • databases
  • object oriented
  • data driven