“A Modular Formalization of Superposition in Isabelle/HOL,” in 15th International Conference on Interactive Theorem Proving (ITP 2024), Tbilisi, Georgia, 2024.
mehr
BibTeX
@inproceedings{Desharnais24, TITLE = {A Modular Formalization of Superposition in {Isabelle}/{HOL}}, AUTHOR = {Desharnais, Martin and Toth, Balazs and Waldmann, Uwe and Blanchette, Jasmin and Tourret, Sophie}, LANGUAGE = {eng}, ISBN = {978-3-95977-337-9}, URL = {urn:nbn:de:0030-drops-207401}, DOI = {10.4230/LIPIcs.ITP.2024.12}, PUBLISHER = {Schloss Dagstuhl}, YEAR = {2024}, MARGINALMARK = {$\bullet$}, DATE = {2024}, BOOKTITLE = {15th International Conference on Interactive Theorem Proving (ITP 2024)}, EDITOR = {Bertot, Yves and Kutsia, Temur and Norrish, Michael}, PAGES = {1--20}, EID = {12}, SERIES = {Leibniz International Proceedings in Informatics}, VOLUME = {309}, ADDRESS = {Tbilisi, Georgia}, }
Endnote
%0 Conference Proceedings %A Desharnais, Martin %A Toth, Balazs %A Waldmann, Uwe %A Blanchette, Jasmin %A Tourret, Sophie %+ Automation of Logic, MPI for Informatics, Max Planck Society External Organizations Automation of Logic, MPI for Informatics, Max Planck Society Automation of Logic, MPI for Informatics, Max Planck Society Automation of Logic, MPI for Informatics, Max Planck Society %T A Modular Formalization of Superposition in Isabelle/HOL : %G eng %U http://hdl.handle.net/21.11116/0000-0010-3E7C-F %R 10.4230/LIPIcs.ITP.2024.12 %U urn:nbn:de:0030-drops-207401 %D 2024 %B 15th International Conference on Interactive Theorem Proving %Z date of event: 2024-09-09 - 2024-09-14 %C Tbilisi, Georgia %B 15th International Conference on Interactive Theorem Proving %E Bertot, Yves; Kutsia, Temur; Norrish, Michael %P 1 - 20 %Z sequence number: 12 %I Schloss Dagstuhl %@ 978-3-95977-337-9 %B Leibniz International Proceedings in Informatics %N 309