Login / Signup

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.

Francisco DuránSteven EkerSantiago EscobarNarciso Martí-OlietJosé MeseguerCarolyn L. Talcott
Published in: IJCAR (2016)
Keyphrases
  • equational theories
  • formal specification
  • generation process
  • genetic algorithm
  • computer vision
  • cooperative
  • higher order
  • theorem proving
  • machine learning
  • e learning
  • image processing
  • case study