Login / Signup

Unification and Narrowing in Maude 2.4.

Manuel ClavelFrancisco DuránSteven EkerSantiago EscobarPatrick LincolnNarciso Martí-OlietJosé MeseguerCarolyn 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