bibtex

@article{EIP0a,
    title = { The Bernays-Sch{\"{o}}nfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates },
    author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
    year = {2020},
    journal = {{ACM} Trans. Comput. Log.},
    number = {3},
    pages = {19:1--19:46},
    volume = {21},
    team = {RSD},
    timestamp = {Thu, 02 Jul 2020 08:35:40 +0200}, biburl = {https://dblp.org/rec/journals/tocl/EchenimIP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL

Sections de Publications


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

info visites 1683482