共 50 条
- [1] Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
- [2] A Logic-Based Framework for Reasoning about Composite Data Structures CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 178 - +
- [3] A logic for reasoning about fuzzy truth values 1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 903 - 908
- [6] TOWARDS A UNIFIED FRAMEWORK AND THEORY FOR REASONING ABOUT SECURITY AND CORRECTNESS OF TRANSACTIONS IN MULTILEVEL DATABASES DATABASE SECURITY, VII - STATUS AND PROSPECTS, 1994, 47 : 309 - 328
- [7] A Framework for Reasoning about the Semantics of Logic Programs Bull Eur Assoc Theor Comput Sci, 59 (426):