Veröffentlichungen
Autoren:
Angeliki Koutsoukou-Argyraki, Wenda Li
Veröffentlicht in:
Archive of Formal Proofs, 2020
Herausgeber:
Technical University of Munich
Autoren:
Chelsea Edmonds
Veröffentlicht in:
Archive of Formal Proofs, 2022
Herausgeber:
TUM
Autoren:
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2021, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2020, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Anthony Bordg, Lawrence Paulson, Wenda Li
Veröffentlicht in:
Archive of Formal Proofs, 2021, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Anthony Bordg, Adrián Doña Mateo
Veröffentlicht in:
Archive of Formal Proofs, 2023
Herausgeber:
Technical University of Munich
Autoren:
Lawrence C Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2022, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Angeliki Koutsoukou-Argyraki, Mantas Bakšys, Chelsea Edmonds
Veröffentlicht in:
Archive of Formal Proofs, 2022
Herausgeber:
TUM
Autoren:
Angeliki Koutsoukou-Argyraki
Veröffentlicht in:
Archive of Formal Proofs, 2020, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Chelsea Edmonds
Veröffentlicht in:
Archive of Formal Proofs, 2023
Herausgeber:
TU Munich
Autoren:
Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2022
Herausgeber:
TUM
Autoren:
Anthony Bordg, Hanna Lachnitt and Yijun He
Veröffentlicht in:
Archive of Formal Proofs, 2020, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Chelsea Edmonds
Veröffentlicht in:
Archive of Formal Proofs, 2023
Herausgeber:
TU Munich
Autoren:
Lawrence C Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2022, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Lawrence C Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2023
Herausgeber:
TU Munich
Autoren:
Lawrence C Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2022, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2022, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2020, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Angeliki Koutsoukou-Argyraki
Veröffentlicht in:
Archive of Formal Proofs, 2020, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Angeliki Koutsoukou-Argyraki, Wenda Li
Veröffentlicht in:
Archive of Formal Proofs, 2019, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Manuel Eberl; Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2018, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Angeliki Koutsoukou-Argyraki
Veröffentlicht in:
Archive of Formal Proofs, 2018, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Angeliki Koutsoukou-Argyraki; Wenda Li
Veröffentlicht in:
Archive of Formal Proofs, 2018, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2019, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2019, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2018, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Mohammad Abdulaziz and Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2018, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Wenda Li
Veröffentlicht in:
Archive of Formal Proofs, 2018, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Wenda Li
Veröffentlicht in:
Archive of Formal Proofs, 2017, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Wenda Li
Veröffentlicht in:
Archive of Formal Proofs, 2017, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Anthony Bordg
Veröffentlicht in:
Archive of Formal Proofs, 2018, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Anthony Bordg
Veröffentlicht in:
Archive of Formal Proofs, 2018, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Fox Thomson, Wenda Li
Veröffentlicht in:
Archive of Formal Proofs, 2021, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Chelsea Edmonds, Lawrence Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2023
Herausgeber:
TU Munich
Autoren:
Mantas Bakšys, Angeliki Koutsoukou-Argyraki
Veröffentlicht in:
Archive of Formal Proofs, 2022
Herausgeber:
TUM
Autoren:
Chelsea Edmonds, Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2022, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Veröffentlicht in:
Archive of Formal Proofs, 2021, ISSN 2150-914x
Herausgeber:
TUM
Autoren:
Kevin Lee, Zhengkun Ye, Angeliki Koutsoukou-Argyraki
Veröffentlicht in:
Archive of Formal Proofs, 2023
Herausgeber:
Technical University of Munich
Autoren:
Anthony Bordg
Veröffentlicht in:
Theory and Applications of Categories, 2022, ISSN 1201-561X
Herausgeber:
R. Rosebrugh
Autoren:
Anthony Bordg, Lawrence Paulson, Wenda Li
Veröffentlicht in:
Experimental Mathematics, 2022, ISSN 1058-6458
Herausgeber:
A K Peters Ltd.
DOI:
10.1080/10586458.2022.2062073
Autoren:
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Veröffentlicht in:
Journal of Automated Reasoning, 2023, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-022-09650-2
Autoren:
Angeliki Koutsoukou-Argyraki
Veröffentlicht in:
Jahresbericht der Deutschen Mathematiker-Vereinigung, 2020, ISSN 0012-0456
Herausgeber:
Springer Verlag
DOI:
10.1365/s13291-020-00221-1
Autoren:
Anthony Bordg
Veröffentlicht in:
The Mathematical Intelligencer, 2021, ISSN 0343-6993
Herausgeber:
Springer Verlag
DOI:
10.1007/s00283-020-10037-7
Autoren:
Mohammad Abdulaziz, Lawrence C. Paulson
Veröffentlicht in:
Journal of Automated Reasoning, 2018, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-9495-z
Autoren:
Wenda Li, Grant Olney Passmore, Lawrence C. Paulson
Veröffentlicht in:
Journal of Automated Reasoning, Ausgabe 62/1, 2019, Seite(n) 69-91, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-017-9424-6
Autoren:
Wenda Li, Lawrence C. Paulson
Veröffentlicht in:
Journal of Automated Reasoning, 2019, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-019-09521-3
Autoren:
Anthony Bordg, Hanna Lachnitt, Yijun He
Veröffentlicht in:
Journal of Automated Reasoning, 2020, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-020-09584-7
Autoren:
Lawrence C. Paulson
Veröffentlicht in:
Annals of Pure and Applied Logic, 2023, ISSN 0168-0072
Herausgeber:
Elsevier BV
DOI:
10.1016/j.apal.2023.103246
Autoren:
Mirna Džamonja, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Veröffentlicht in:
Experimental Mathematics, 2021, ISSN 1058-6458
Herausgeber:
A K Peters Ltd.
DOI:
10.1080/10586458.2021.1980464
Autoren:
Angeliki Koutsoukou-Argyraki; Wenda Li; Lawrence C. Paulson
Veröffentlicht in:
Experimental Mathematics, 2021, ISSN 1058-6458
Herausgeber:
A K Peters Ltd.
DOI:
10.1080/10586458.2021.1980465
Autoren:
Lawrence C. Paulson
Veröffentlicht in:
The Bulletin of Symbolic Logic, 2021, Seite(n) 1-10, ISSN 1079-8986
Herausgeber:
Association for Symbolic Logic
DOI:
10.1017/bsl.2021.47
Autoren:
Chelsea Edmonds, Lawrence C. Paulson
Veröffentlicht in:
13th International Conference on Interactive Theorem Proving (ITP 2022), 2022, Seite(n) 11:1-11:19
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.itp.2022.11
Autoren:
Yuhuai Wu, Markus Rabe, Wenda Li, Jimmy Ba, Roger Grosse, Christian Szegedy
Veröffentlicht in:
ICML 2021 (International Conference on Machine Learning), 2021
Herausgeber:
Proceedings of Machine Learning Research
Autoren:
Anthony Bordg, Adrián Doña Mateo
Veröffentlicht in:
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
Herausgeber:
ACM
DOI:
10.1145/3573105.3575679
Autoren:
Albert Q. Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygóźdź, Piotr Miłoś, Yuhuai Wu, Mateja Jamnik
Veröffentlicht in:
Thirty-sixth Conference on Neural Information Processing Systems (NeurIPS 2022), 2022
Herausgeber:
Curran Associates
Autoren:
Chelsea Edmonds, Lawrence C. Paulson
Veröffentlicht in:
2024
Herausgeber:
ACM
DOI:
10.1145/3636501.3636946
Autoren:
Manuel Eberl
Veröffentlicht in:
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.itp.2019.16
Autoren:
Anthony Bordg, Yiannos Stathopoulos, Lawrence Paulson
Veröffentlicht in:
Conference on Artificial Intelligence and Theorem Proving AITP 2022, 2022
Herausgeber:
AITP
Autoren:
Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson
Veröffentlicht in:
International Conference on Learning Representations, 2021
Herausgeber:
International Conference on Representation Learning
Autoren:
Angeliki Koutsoukou-Argyraki
Veröffentlicht in:
Connecting with Computability, 2021, ISBN 978-3-030-80048-2
Herausgeber:
Springer
DOI:
10.1007/978-3-030-80049-9_26
Autoren:
Angeliki Koutsoukou-Argyraki, Mantas Bakšys, Chelsea Edmonds
Veröffentlicht in:
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
Herausgeber:
ACM
DOI:
10.1145/3573105.3575680
Autoren:
Wenda Li, Lawrence C. Paulson
Veröffentlicht in:
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019, Ausgabe annual, 2019, Seite(n) 52-64, ISBN 9781-450362221
Herausgeber:
ACM Press
DOI:
10.1145/3293880.3294092
Autoren:
Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothee Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu
Veröffentlicht in:
The Eleventh International Conference on Learning Representations (ICLR 2023), 2023
Herausgeber:
International Conference on Learning Representations
Autoren:
Anthony Bordg, Nicolò Cavalleri
Veröffentlicht in:
FMM 2021 – Fifth Workshop on Formal Mathematics for Mathematicians, 2021
Herausgeber:
Cornell University
DOI:
10.48550/arxiv.2108.00484
Autoren:
Paulo Emílio de Vilhena, Lawrence C. Paulson
Veröffentlicht in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II, Ausgabe 12167, 2020, Seite(n) 204-220, ISBN 978-3-030-51053-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-51054-1_12
Autoren:
Chaitanya Mangla, Sean Holden, Lawrence C. Paulson
Veröffentlicht in:
Automated Reasoning. IJCAR 2022, 2022
Herausgeber:
Springer
DOI:
10.1007/978-3-031-10769-6_33
Autoren:
Chelsea Edmonds, Lawrence C. Paulson
Veröffentlicht in:
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings, Ausgabe 12833, 2021, Seite(n) 3-18, ISBN 978-3-030-81096-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-81097-9_1
Autoren:
Anthony Bordg
Veröffentlicht in:
Reflections on the Foundations of Mathematics - Univalent Foundations, Set Theory and General Thoughts, 2018
Herausgeber:
Springer
Autoren:
Lawrence C. Paulson
Veröffentlicht in:
Reflections on the Foundations of Mathematics - Univalent Foundations, Set Theory and General Thoughts, 2018
Herausgeber:
Springer
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor