Published in: LIPIcs, Volume 237, 13th International Conference on Interactive Theorem Proving (ITP 2022)
13th International Conference on Interactive Theorem Proving (ITP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 237, pp. 1-602, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Proceedings{andronick_et_al:LIPIcs.ITP.2022,
title = {{LIPIcs, Volume 237, ITP 2022, Complete Volume}},
booktitle = {13th International Conference on Interactive Theorem Proving (ITP 2022)},
pages = {1--602},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-252-5},
ISSN = {1868-8969},
year = {2022},
volume = {237},
editor = {Andronick, June and de Moura, Leonardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2022},
URN = {urn:nbn:de:0030-drops-167080},
doi = {10.4230/LIPIcs.ITP.2022},
annote = {Keywords: LIPIcs, Volume 237, ITP 2022, Complete Volume}
}
Published in: LIPIcs, Volume 237, 13th International Conference on Interactive Theorem Proving (ITP 2022)
13th International Conference on Interactive Theorem Proving (ITP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 237, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{andronick_et_al:LIPIcs.ITP.2022.0,
author = {Andronick, June and de Moura, Leonardo},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {13th International Conference on Interactive Theorem Proving (ITP 2022)},
pages = {0:i--0:x},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-252-5},
ISSN = {1868-8969},
year = {2022},
volume = {237},
editor = {Andronick, June and de Moura, Leonardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2022.0},
URN = {urn:nbn:de:0030-drops-167097},
doi = {10.4230/LIPIcs.ITP.2022.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10161, Decision Procedures in Software, Hardware and Bioware (2010)
Grant Olney Passmore, Leonardo de Moura, and Paul B. Jackson. Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops. In Decision Procedures in Software, Hardware and Bioware. Dagstuhl Seminar Proceedings, Volume 10161, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{passmore_et_al:DagSemProc.10161.3,
author = {Passmore, Grant Olney and de Moura, Leonardo and Jackson, Paul B.},
title = {{Gr\"{o}bner Basis Construction Algorithms Based on Theorem Proving Saturation Loops}},
booktitle = {Decision Procedures in Software, Hardware and Bioware},
pages = {1--17},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10161},
editor = {Nikolaj Bjorner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10161.3},
URN = {urn:nbn:de:0030-drops-27345},
doi = {10.4230/DagSemProc.10161.3},
annote = {Keywords: Groebner bases, ideal theory, automated theorem proving, SMT solvers}
}
Feedback for Dagstuhl Publishing