Extended Magic for Negation: Efficient Demand-Driven Evaluation of
Stratified Datalog with Precise Complexity Guarantees

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees

18 September 2019

ArXiv (abs)PDF HTML

Papers citing "Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees"

Title
No papers