Elad, N., Murali, A., & Shoham, S. (2025). Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions.
Chicago-Zitierstil (17. Ausg.)Elad, Neta, Adithya Murali, und Sharon Shoham. Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions. 2025.
MLA-Zitierstil (9. Ausg.)Elad, Neta, et al. Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.