bibtex

@inproceedings{EIP0b,
    title = { Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard },
    author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
    year = {2020},
    booktitle = {{LPAR} 2020},
    pages = {191--211},
    publisher = {EasyChair},
    series = {EPiC Series in Computing},
    volume = {73},
    team = {RSD},
    timestamp = {Fri, 29 May 2020 12:05:09 +0200}, biburl = {https://dblp.org/rec/conf/lpar/EchenimIP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.1.12 + AHUNTSIC [CC License]

info visites 1629507