Login / Signup

Rewriting with Strategies in ELAN: A Functional Semantics.

Peter BorovanskýClaude KirchnerHélène KirchnerChristophe Ringeissen
Published in: Int. J. Found. Comput. Sci. (2001)
Keyphrases
  • formal semantics
  • data sets
  • logic programming
  • optimal strategy
  • database
  • decision problems
  • default reasoning
  • model theoretic