Login / Signup
Unification and Narrowing in Maude 2.4.
Manuel Clavel
Francisco Durán
Steven Eker
Santiago Escobar
Patrick Lincoln
Narciso Martí-Oliet
José Meseguer
Carolyn L. Talcott
Published in:
RTA (2009)
Keyphrases
</>
equational theories
theorem proving
higher order
formal specification
databases
active learning
function symbols
high level
video sequences
pairwise
prior knowledge
theorem prover