Login / Signup

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.

Francisco DuránSteven EkerSantiago EscobarNarciso Martí-OlietJosé MeseguerCarolyn L. Talcott
Published in: WRLA@ETAPS (2018)
Keyphrases
  • symbolic reasoning
  • equational theories
  • symbolic representation
  • production rules
  • theorem proving
  • logic programs
  • function symbols
  • truth maintenance systems
  • diagrammatic reasoning