Mnacho Echenim, Radu Iosif, Nicolas Peltier. Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules. Inf. Process. Lett., 173:106169, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.