Sign in
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
Francisco Durán
Steven Eker
Santiago Escobar
Narciso Martí-Oliet
José Meseguer
Carolyn 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