Login / Signup

Compactness Properties for Stable Semantics of Logic Programs.

Victor W. MarekJeffrey B. Remmel
Published in: LFCS (2007)
Keyphrases
  • semantics of logic programs
  • pattern matching