Login / Signup
Inspecting Maude Variants with GLINTS.
María Alpuente
Angel Cuenca-Ortega
Santiago Escobar
Julia Sapiña
Published in:
CoRR (2017)
Keyphrases
</>
formal specification
related algorithms
databases
neural network
special case
equational theories
metadata
case study
image sequences
search algorithm