Sign in
Two Decades of Maude.
Manuel Clavel
Francisco Durán
Steven Eker
Santiago Escobar
Patrick Lincoln
Narciso Martí-Oliet
Carolyn L. Talcott
Published in:
Logic, Rewriting, and Concurrency (2015)
Keyphrases
</>
formal specification
information systems
equational theories
machine learning
general purpose