Login / Signup

Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems.

Julian NageleAart Middeldorp
Published in: ITP (2016)
Keyphrases
  • term rewrite systems
  • third party
  • databases
  • data mining