• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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