Next:
Abstract Interpretation
Up:
Meta-Interpreters in XSB
Previous:
A Metainterpreter for Disjunctive
A Metainterpreter for Explicit Negation
Do explicit negation metainterpreter.
David S. Warren
1999-07-31
