Sign in

A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.

Francisco DuránJosé Meseguer
Published in: WRLA (2010)
Keyphrases
  • theoretical framework
  • user friendly
  • software tools
  • equational theories
  • order sorted
  • knowledge discovery
  • general purpose
  • programming language
  • predicate logic