Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1704.02375
Cited By
AppLP: A Dialogue on Applications of Logic Programming
7 April 2017
D. Warren
Yanhong A. Liu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"AppLP: A Dialogue on Applications of Logic Programming"
1 / 1 papers shown
Title
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
K. T. Tekle
Yanhong A. Liu
13
5
0
18 Sep 2019
1
