Login / Signup

Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System.

Ana Cristina Rocha OliveiraAndré Luiz GaldinoMauricio Ayala-Rincón
Published in: J. Autom. Reason. (2017)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • model checking
  • formal verification
  • database
  • nearest neighbor
  • machine learning
  • rough sets