bibtex

@article{EIP2,
    title = { Entailment is Undecidable for Symbolic Heap Separation Logic Formul{\ae} with Non-Established Inductive Rules },
    author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
    year = {2022},
    journal = {Inf. Process. Lett.},
    pages = {106169},
    volume = {173},
    team = {axe_Mohytos, RSD},
    timestamp = {Mon, 11 Oct 2021 17:12:59 +0200}, biburl = {https://dblp.org/rec/journals/ipl/EchenimIP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 3.2.17 + AHUNTSIC [CC License]

info visites 1996384