共 50 条
- [42] Modularity for decidability of deductive verification with applications to distributed systems 2018, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (53): : 662 - 677
- [43] Modularity for Decidability of Deductive Verification with Applications to Distributed Systems PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 662 - 677
- [45] Deductive database security RESEARCH DIRECTIONS IN DATA AND APPLICATIONS SECURITY, 2003, 128 : 103 - 114
- [47] A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering Journal of Automated Reasoning, 2000, 25 : 219 - 246
- [48] The logic of totally and partially ordered plans: a deductive database approach Annals of Mathematics and Artificial Intelligence, 1997, 19 : 27 - 58
- [50] Hybrid intelligent systems for predictive toxicology - A distributed approach 5TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, PROCEEDINGS, 2005, : 26 - 31