bibtex

@article{EIP9c,
    title = { {The Bernays-Sch{\"o}nfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates} },
    author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
    year = {2019},
    journal = {{ACM Transactions on Computational Logic}},
    publisher = {{Association for Computing Machinery}},
    team = {RSD},
    pdf = {https://hal.archives-ouvertes.fr/hal-02388326/file/tocl.pdf}, hal_id = {hal-02388326}, hal_version = {v1},
}

URL

Publication Sections


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

info visites 1692358