共 50 条
- [5] A dynamic logic for deductive verification of concurrent programs SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 141 - +
- [7] An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012), 2012, : 636 - 643
- [8] The MyYapDB deductive database system LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 710 - 713
- [9] IMPLEMENTATION OF A DEDUCTIVE DATABASE SYSTEM REVISTA DE INFORMATICA Y AUTOMATICA, 1987, 20 (03): : 35 - 41
- [10] The deductive database system LOLA LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 375 - 386