共 11 条
- [1] Brotherston James, 2012, APLAS 12, DOI [10.1007/978-3-642-35182-2_25, DOI 10.1007/978-3-642-35182-2_25]
- [2] Echenim M., 2021, LEIBNIZ INT P INFORM, V183
- [4] Unifying Decidable Entailments in Separation Logic with Inductive Definitions [J]. AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 183 - 199
- [5] Echenim Mnacho, 2020, P LPAR 20, P191
- [6] A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints [J]. AUTOMATED REASONING (IJCAR 2016), 2016, 9706 : 532 - 549
- [7] Iosif Radu, 2013, Automated Deduction - CADE-24. 24th International Conference on Automated Deduction. Proceedings: LNCS 7898, P21, DOI 10.1007/978-3-642-38574-2_2
- [10] Reynolds JC, 2002, IEEE S LOG, P55, DOI 10.1109/LICS.2002.1029817