Login / Signup

Efficient Negation Using Abstract Interpretation.

Susana Muñoz-HernándezJuan José Moreno-NavarroManuel V. Hermenegildo
Published in: LPAR (2001)
Keyphrases
  • abstract interpretation
  • distributed systems
  • database management systems
  • active rules