Veröffentlichungen
Autoren:
StanisŁaw PurgaŁ, Julian Parsert, Cezary Kaliszyk
Veröffentlicht in:
Journal of Logic and Computation, 2021, ISSN 0955-792X
Herausgeber:
Oxford University Press
DOI:
10.1093/logcom/exab006
Autoren:
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Veröffentlicht in:
Journal of Automated Reasoning, Ausgabe 65/2, 2021, Seite(n) 257-286, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-020-09580-x
Autoren:
Michael Färber, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Journal of Automated Reasoning, Ausgabe 65/2, 2021, Seite(n) 287-320, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-020-09576-7
Autoren:
Jan Jakubův, Cezary Kaliszyk
Veröffentlicht in:
Mathematics in Computer Science, Ausgabe 14/3, 2020, Seite(n) 657-670, ISSN 1661-8270
Herausgeber:
Birkhauser Verlag
DOI:
10.1007/s11786-020-00474-0
Autoren:
Michal Buran
Veröffentlicht in:
J. Algebra, Ausgabe 00218693, 2022, ISSN 0021-8693
Herausgeber:
Academic Press
DOI:
10.1016/j.jalgebra.2021.12.041
Autoren:
Cezary Kaliszyk, Karol Pąk
Veröffentlicht in:
Journal of Automated Reasoning, Ausgabe 63/3, 2019, Seite(n) 557-595, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-9479-z
Autoren:
Thibault Gauthier, Cezary Kaliszyk
Veröffentlicht in:
Journal of Symbolic Computation, Ausgabe 90, 2019, Seite(n) 89-123, ISSN 0747-7171
Herausgeber:
Academic Press
DOI:
10.1016/j.jsc.2018.04.005
Autoren:
Ekici , Burak
Veröffentlicht in:
Discrete Mathematics and Theoretical Computer Science, Ausgabe 14, 2018, ISSN 1365-8050
Herausgeber:
Maison de l'informatique et des mathematiques discretes
Autoren:
Łukasz Czajka, Cezary Kaliszyk
Veröffentlicht in:
Journal of Automated Reasoning, Ausgabe 61/1-4, 2018, Seite(n) 423-453, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-9458-4
Autoren:
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark Barrett, Cesare Tinelli
Veröffentlicht in:
Electronic Proceedings in Theoretical Computer Science, Ausgabe 301, 2019, Seite(n) 18-26, ISSN 2075-2180
Herausgeber:
EasyChair
DOI:
10.4204/EPTCS.301.4
Autoren:
Jan Jakubuv, Mikolás Janota, Andrew Reynolds
Veröffentlicht in:
Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification (CAV 2021), 2021
Herausgeber:
CEUR-WS.org
Autoren:
Dennis Müller,Cezary Kaliszyk
Veröffentlicht in:
9th International Conference on Learning Representations, 2021
Herausgeber:
OpenReview.net
Autoren:
Joshua Chen
Veröffentlicht in:
12th International Conference on Interactive Theorem Proving, 2021
Herausgeber:
Schloss Dagstuhl
DOI:
10.4230/lipics.itp.2021.12
Autoren:
Chad E. Brown, Cezary Kaliszyk
Veröffentlicht in:
IJCAR 2022, 2022
Herausgeber:
Springer
DOI:
10.1007/978-3-031-10769-6_21
Autoren:
Grzegorz Prusak and
Cezary Kaliszyk
Veröffentlicht in:
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022, 2022
Herausgeber:
CEUR-WS.org
Autoren:
Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
Veröffentlicht in:
IJCAI 2022, 2022
Herausgeber:
ijcai.org
DOI:
10.24963/ijcai.2022/378
Autoren:
Zarathustra A. Goertzel, Jan Jakubův, Cezary Kaliszyk, Miroslav Olšák, Jelle Piepenbrock, Josef Urban
Veröffentlicht in:
ITP 2022, 2022
Herausgeber:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/lipics.itp.2022.16
Autoren:
Yutaka Nagashima
Veröffentlicht in:
IJCAI 2021, 2021, ISBN 978-0-9992411-9-6
Herausgeber:
ijcai.org
DOI:
10.24963/ijcai.2021/273
Autoren:
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
EPiC Series in Computing volume 46, 2017, Seite(n) 125-105
Herausgeber:
EasyChair
DOI:
10.29007/ntlb
Autoren:
Wang, Qingxiang; Kaliszyk, Cezary; Urban, Josef
Veröffentlicht in:
Ausgabe 2, 2018
Herausgeber:
Springer
Autoren:
Nagashima, Yutaka; Parsert, Julian
Veröffentlicht in:
Ausgabe 1, 2018
Herausgeber:
Springer
Autoren:
Łukasz Czajka, Burak Ekici, Cezary Kaliszyk
Veröffentlicht in:
2018, Seite(n) 53-59
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96812-4_5
Autoren:
Kaliszyk, Cezary; Urban, Josef; Vyskocil, Jiri
Veröffentlicht in:
SYNASC 2017, Ausgabe 6, 2017
Herausgeber:
IEEE
DOI:
10.5281/zenodo.3407204
Autoren:
Kaliszyk, Cezary; Urban, Josef; Vyskocil, Jirí
Veröffentlicht in:
ITP 2017, Ausgabe 7, 2017
Herausgeber:
Springer
Autoren:
Kaliszyk, Cezary; Chollet, François; Szegedy, Christian
Veröffentlicht in:
ICLR 2017, Ausgabe 6, 2017
Herausgeber:
Openreview.net
Autoren:
Piotrowski, Bartosz; Urban, Josef; Brown, Chad; Kaliszyk, Cezary
Veröffentlicht in:
Ausgabe 9, 2019
Herausgeber:
Learning and Reasoning with Graph-Structured Representations ICML 2019 Workshop
DOI:
10.5281/zenodo.3407218
Autoren:
Ekici, Burak
Veröffentlicht in:
Ausgabe 7, 2018
Herausgeber:
Ceur-WS
DOI:
10.5281/zenodo.3407231
Autoren:
Kaliszyk, Cezary; Urban, Josef; Michalewski, Henryk; Olšák, Mirek
Veröffentlicht in:
NeurIPS 2018, Ausgabe 12, 2018
Herausgeber:
AAAI
Autoren:
Chad E. Brown, Cezary Kaliszyk, Karol Pąk
Veröffentlicht in:
2019
Herausgeber:
LIPIcs
DOI:
10.4230/lipics.itp.2019.9
Autoren:
Cezary Kaliszyk, Julian Parsert
Veröffentlicht in:
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018, Seite(n) 91-101, ISBN 9781-450355865
Herausgeber:
ACM Press
DOI:
10.1145/3167100
Autoren:
Sarah Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk
Veröffentlicht in:
EPiC Series in Computing volume 46, 2017, Seite(n) 85-63
Herausgeber:
EasyChair
DOI:
10.29007/8mwc
Autoren:
Julian Parsert, Stephanie Autherith, Cezary Kaliszyk
Veröffentlicht in:
EPiC Series in Computing volume 72, 2020, Seite(n) 70-56
Herausgeber:
EasyChair
DOI:
10.29007/18t1
Autoren:
Qingxiang Wang, Chad Brown, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, Seite(n) 85-98, ISBN 9781-450370974
Herausgeber:
ACM
DOI:
10.1145/3372885.3373827
Autoren:
Karol Pąk, Cezary Kaliszyk
Veröffentlicht in:
ITP 2022, 2022
Herausgeber:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/lipics.itp.2022.26
Autoren:
Stanisław J. Purgał, Cezary Kaliszyk
Veröffentlicht in:
FLAIRS 2022, 2022
Herausgeber:
LibraryPress@UF
DOI:
10.32473/flairs.v35i.130648
Autoren:
Miroslav Olšák
Veröffentlicht in:
Mathematical Software – ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings, Ausgabe 12097, 2020, Seite(n) 263-271, ISBN 978-3-030-52199-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-52200-1_26
Autoren:
Karel Chvalovský, Jan Jakubův, Miroslav Olšák, Josef Urban
Veröffentlicht in:
Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings, Ausgabe 12842, 2021, Seite(n) 266-278, ISBN 978-3-030-86058-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-86059-2_16
Autoren:
Zsolt Zombori, Josef Urban, Miroslav Olšák
Veröffentlicht in:
Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings, Ausgabe 12842, 2021, Seite(n) 218-235, ISBN 978-3-030-86058-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-86059-2_13
Autoren:
Zarathustra A. Goertzel, Karel Chvalovský, Jan Jakubův, Miroslav Olšák, Josef Urban
Veröffentlicht in:
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings, Ausgabe 12941, 2021, Seite(n) 173-191, ISBN 978-3-030-86204-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-86205-3_10
Autoren:
Jaroslav Macke, Jiri Sedlar, Miroslav Olsak, Josef Urban, Josef Sivic
Veröffentlicht in:
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings, Ausgabe 12833, 2021, Seite(n) 167-184, ISBN 978-3-030-81096-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-81097-9_14
Autoren:
Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Černỳ, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings, Ausgabe 12833, 2021, Seite(n) 67-83, ISBN 978-3-030-81096-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-81097-9_5
Autoren:
Jan Jakubův, Karel Chvalovský, Miroslav Olšák, Bartosz Piotrowski, Martin Suda, Josef Urban
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) 448-463, ISBN 978-3-030-51053-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-51054-1_29
Autoren:
Jan Jakubův, Cezary Kaliszyk
Veröffentlicht in:
Mathematical Software – ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, Ausgabe 10931, 2018, Seite(n) 245-254, ISBN 978-3-319-96417-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96418-8_29
Autoren:
Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe
Veröffentlicht in:
Intelligent Computer Mathematics, Ausgabe 10383, 2017, Seite(n) 83-98, ISBN 978-3-319-62074-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-62075-6_7
Autoren:
Julian Parsert, Cezary Kaliszyk
Veröffentlicht in:
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, Ausgabe 10895, 2018, Seite(n) 495-503, ISBN 978-3-319-94820-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-94821-8_29
Autoren:
Michael Färber, Cezary Kaliszyk
Veröffentlicht in:
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings, Ausgabe 11714, 2019, Seite(n) 21-38, ISBN 978-3-030-29025-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-29026-9_2
Autoren:
Cezary Kaliszyk, Karol Pąk
Veröffentlicht in:
Intelligent Computer Mathematics, Ausgabe 10383, 2017, Seite(n) 193-207, ISBN 978-3-319-62074-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-62075-6_14
Autoren:
Cezary Kaliszyk, Karol Pąk
Veröffentlicht in:
Mathematical Aspects of Computer and Information Sciences, Ausgabe 10693, 2017, Seite(n) 163-178, ISBN 978-3-319-72452-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-72453-9_12
Autoren:
Michael Färber, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Automated Deduction – CADE 26, Ausgabe 10395, 2017, Seite(n) 563-579, ISBN 978-3-319-63045-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_34
Autoren:
Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
Veröffentlicht in:
Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Ausgabe 11716, 2019, Seite(n) 123-141, ISBN 978-3-030-29435-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-29436-6_8
Autoren:
Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings, Ausgabe 12842, 2021, Seite(n) 167-186, ISBN 978-3-030-86058-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-86059-2_10
Autoren:
Qingxiang Wang, Cezary Kaliszyk
Veröffentlicht in:
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings, Ausgabe 12941, 2021, Seite(n) 154-170, ISBN 978-3-030-86204-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-86205-3_9
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor