Parent Directory | | | | Datalog in Academia and Industry - (Lecture notes in computer science, 7494) Pablo BarceloĢ, Reinhard Pichler - Second international workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012.pdf | 2022-02-22 06:12 | 2887 KB |
| Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers, Oege de Moor et al 2011.pdf | 2022-02-22 06:12 | 4068 KB |
| Efficient Top-Down Computation of Queries Under the Well-Founded Semantics.pdf | 2022-02-22 06:12 | 339 KB |
| Semantic Query Optimization in Datalog Programs - Levy, Sagiv.pdf | 2022-02-22 06:12 | 1182 KB |
| Transaction Datalog - A Compositional Language for Transaction Programming.pdf | 2022-02-22 06:12 | 220 KB |
| Using Datalog for Fast and Easy Program Analysis.pdf | 2022-02-22 06:12 | 58 KB |
| Using Datalog with Binary Decision Diagrams for Program Analysis.pdf | 2022-02-22 06:12 | 202 KB |