bibtex

@inproceedings{EIP9e,
    title = { {Prenex Separation Logic with One Selector Field} },
    author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
    month = {Aug},
    year = {2019},
    booktitle = {{Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference}},
    address = {London, United Kingdom},
    pages = {409-427},
    team = {RSD, axe_Mohytos},
    pdf = {https://hal.archives-ouvertes.fr/hal-02323468/file/paper_15.pdf}, hal_id = {hal-02323468}, hal_version = {v1},
}

URL


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

info visites 3885884