bibtex

@inproceedings{BM8c,
    title = { {A Coq Tactic for Equality Learning in Linear Arithmetic} },
    author = {Boulm\'e, Sylvain and Mar\'echal, Alexandre},
    year = {2018},
    booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
    pages = {108--125},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {10895},
    team = {PACSS},
}

URL

Publication Sections


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

info visites 1128465