Sign in
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.
Francisco Durán
José Meseguer
Published in:
WRLA (2010)
Keyphrases
</>
theoretical framework
user friendly
software tools
equational theories
order sorted
knowledge discovery
general purpose
programming language
predicate logic