bibtex

@conference{MCR+0,
    title = {A Decision Procedure for Equivalence Relations (abstract) },
    author = {Michelland, S\'ebastien and Corbineau, Pierre and Rieg, Lionel and Altisen, Karine},
    month = {July},
    year = {2020},
    booktitle = {The Coq Workshop 2020 https://coq-workshop.gitlab.io/2020/},
    team = {SYNC, PACSS, axe_FormalProofs},
}


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

info visites 3885790