Publications
Auteurs:
Bartosz Piotrowski, Josef Urban
Publié dans:
Automated Reasoning, Numéro 10900, 2018, Page(s) 566-574, ISBN 978-3-319-94204-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_37
Auteurs:
Bartosz Piotrowski, Josef Urban
Publié dans:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Numéro 12236, 2020, Page(s) 309-314, ISBN 978-3-030-53517-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_23
Auteurs:
Zsolt Zombori, Josef Urban, Chad E. Brown
Publié dans:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II, Numéro 12167, 2020, Page(s) 489-507, ISBN 978-3-030-51053-4
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-51054-1_33
Auteurs:
Josef Urban, Jan Jakubův
Publié dans:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Numéro 12236, 2020, Page(s) 315-323, ISBN 978-3-030-53517-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_24
Auteurs:
Thibault Gauthier
Publié dans:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Numéro 12236, 2020, Page(s) 278-283, ISBN 978-3-030-53517-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_18
Auteurs:
Grzegorz Bancerek, Adam Naumowicz, Josef Urban
Publié dans:
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, Numéro 11006, 2018, Page(s) 1-6, ISBN 978-3-319-96811-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-96812-4_1
Auteurs:
Bernhard Gleiss, Martin Suda
Publié dans:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Numéro 12166, 2020, Page(s) 402-409, ISBN 978-3-030-51073-2
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-51074-9_23
Auteurs:
Zarathustra Goertzel, Jan Jakubův, Josef Urban
Publié dans:
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings, Numéro 11714, 2019, Page(s) 374-388, ISBN 978-3-030-29025-2
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-29026-9_21
Auteurs:
Karel Chvalovský, Jan Jakubův, Martin Suda, Josef Urban
Publié dans:
Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Numéro 11716, 2019, Page(s) 197-215, ISBN 978-3-030-29435-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-29436-6_12
Auteurs:
Qingxiang Wang, Cezary Kaliszyk, Josef Urban
Publié dans:
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, Numéro 11006, 2018, Page(s) 255-270, ISBN 978-3-319-96811-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-96812-4_22
Auteurs:
Cezary Kaliszyk, Josef Urban
Publié dans:
Semantic Web Collaborative Spaces. SWCS 2013, SWCS 2014. Lecture Notes in Computer Science, vol 9507, Numéro 9507, 2016, Page(s) 35-52, ISBN 978-3-319-32666-5
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-32667-2_3
Auteurs:
Jan Jakubův, Cezary Kaliszyk
Publié dans:
Mathematical Software – ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, Numéro 10931, 2018, Page(s) 245-254, ISBN 978-3-319-96417-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-96418-8_29
Auteurs:
Zarathustra Goertzel, Jan Jakubův, Stephan Schulz, Josef Urban
Publié dans:
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, Numéro 10895, 2018, Page(s) 270-288, ISBN 978-3-319-94820-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-94821-8_16
Auteurs:
Chad E. Brown, Karol Pąk
Publié dans:
Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings, Numéro 11617, 2019, Page(s) 44-60, ISBN 978-3-030-23249-8
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-23250-4_4
Auteurs:
Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
Publié dans:
Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Numéro 11716, 2019, Page(s) 123-141, ISBN 978-3-030-29435-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-29436-6_8
Auteurs:
Jan Jakubův, Josef Urban
Publié dans:
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, Numéro 11006, 2018, Page(s) 118-124, ISBN 978-3-319-96811-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-96812-4_11
Auteurs:
Lasse Blaauwbroek, Josef Urban, Herman Geuvers
Publié dans:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Numéro 12236, 2020, Page(s) 271-277, ISBN 978-3-030-53517-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_17
Auteurs:
Jan Jakubův, Karel Chvalovský, Miroslav Olšák, Bartosz Piotrowski, Martin Suda, Josef Urban
Publié dans:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II, Numéro 12167, 2020, Page(s) 448-463, ISBN 978-3-030-51053-4
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-51054-1_29
Auteurs:
Zarathustra Amadeus Goertzel
Publié dans:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II, Numéro 12167, 2020, Page(s) 408-415, ISBN 978-3-030-51053-4
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-51054-1_26
Auteurs:
Filip Bártek, Martin Suda
Publié dans:
PAAR 2020, 2020, Page(s) 21--33
Éditeur:
CEUR-WS.org
Auteurs:
Thibault Gauthier
Publié dans:
EPiC Series in Computing volume 73, 2020, Page(s) 230-210
Éditeur:
EasyChair
DOI:
10.29007/7jmg
Auteurs:
Chad Brown; Cezary Kaliszyk; Karol Pąk
Publié dans:
10th International Conference on Interactive Theorem Proving, Numéro 3, 2019, Page(s) 9:1-9:16
Éditeur:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.itp.2019.9
Auteurs:
Mikolas Janota, Martin Suda
Publié dans:
EPiC Series in Computing volume 57, 2018, Page(s) 454-436
Éditeur:
EasyChair
DOI:
10.29007/w42s
Auteurs:
Olšák, Miroslav; Kaliszyk, Cezary; Urban, Josef
Publié dans:
ECAI 2020 - 24th European Conference on Artificial Intelligence, Numéro 16, 2020, Page(s) 1395-1402
Éditeur:
IOS Press
DOI:
10.3233/faia200244
Auteurs:
Martin Suda
Publié dans:
EPiC Series in Computing volume 71, 2020, Page(s) 38-30
Éditeur:
EasyChair
DOI:
10.29007/q4pt
Auteurs:
Kaliszyk, Cezary; Urban, Josef; Michalewski, Henryk; Olšák, Mirek
Publié dans:
Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, Numéro 31, 2018, Page(s) 8836-8847
Éditeur:
Curran Associates, Inc.
Auteurs:
Bartosz Piotrowski, Josef Urban
Publié dans:
EPiC Series in Computing volume 73, 2020, Page(s) 409-394
Éditeur:
EasyChair
DOI:
10.29007/j5hd
Auteurs:
Jakubův, Jan; Urban, Josef
Publié dans:
10th International Conference on Interactive Theorem Proving, Numéro 2, 2019, Page(s) 34:1--34:8, ISBN 978-3-95977-122-1
Éditeur:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.itp.2019.34
Auteurs:
Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
Publié dans:
Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, LNCS, Numéro 10395, 2017, Page(s) 310-325, ISBN 978-3-319-63045-8
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_19
Auteurs:
Cezary Kaliszyk, Karol Pąk, Josef Urban
Publié dans:
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016, 2016, Page(s) 58-65, ISBN 9781-450341271
Éditeur:
ACM Press
DOI:
10.1145/2854065.2854070
Auteurs:
Michael Färber, Cezary Kaliszyk, Josef Urban
Publié dans:
Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, LNCS, Numéro 10395, 2017, Page(s) 563-579, ISBN 978-3-319-63045-8
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_34
Auteurs:
Cezary Kaliszyk, Josef Urban, Jiří Vyskočil
Publié dans:
Interactive Theorem Proving - 8th International Conference, LNCS 10499, 2017, Page(s) 12-27, ISBN 978-3-319-66106-3
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-66107-0_2
Auteurs:
Jan Jakubuv, Martin Suda, Josef Urban
Publié dans:
EPiC Series in Computing volume 50, 2017, Page(s) 121-107
Éditeur:
EasyChair
DOI:
10.29007/xghj
Auteurs:
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Publié dans:
EPiC Series in Computing volume 46, 2017, Page(s) 125-105
Éditeur:
EasyChair
DOI:
10.29007/ntlb
Auteurs:
Jan Jakubův, Josef Urban
Publié dans:
Intelligent Computer Mathematics. CICM 2017. Lecture Notes in Computer Science, vol 10383, Numéro 10383, 2017, Page(s) 292-302, ISBN 978-3-319-62074-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-62075-6_20
Auteurs:
Josef Urban
Publié dans:
EPiC Series in Computing volume 51, 2017, Page(s) 33-28
Éditeur:
EasyChair
DOI:
10.29007/26gg
Auteurs:
Jan Jakubův, Josef Urban
Publié dans:
Intelligent Computer Mathematics. CICM 2016. Lecture Notes in Computer Science, vol 9791, Numéro 9791, 2016, Page(s) 151-156, ISBN 978-3-319-42546-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-42547-4_11
Auteurs:
Chad E. Brown, Josef Urban
Publié dans:
Intelligent Computer Mathematics. CICM 2016. Lecture Notes in Computer Science, vol 9791, Numéro 9791, 2016, Page(s) 99-114, ISBN 978-3-319-42546-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-42547-4_8
Auteurs:
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Publié dans:
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016, 2017, Page(s) 219-228
Éditeur:
CEUR-WS.org
Auteurs:
Cezary Kaliszyk, Josef Urban, Jiří Vyskočil
Publié dans:
Frontiers of Combining Systems. Lecture Notes in Computer Science, vol 9322, Numéro 9322, 2015, Page(s) 341-356, ISBN 978-3-319-24245-3
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-24246-0_21
Auteurs:
Josef Urban, Robert Veroff
Publié dans:
EPiC Series in Computing volume 40, 2016, Page(s) 122-116
Éditeur:
EasyChair
DOI:
10.29007/pqh1
Auteurs:
Josef Urban
Publié dans:
EPiC Series in Computing volume 36, 2015, Page(s) 312-303
Éditeur:
EasyChair
DOI:
10.29007/8n7m
Auteurs:
Cezary Kaliszyk, Josef Urban
Publié dans:
Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science, vol 9450, Numéro 9450, 2015, Page(s) 88-96, ISBN 978-3-662-48898-0
Éditeur:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-48899-7_7
Auteurs:
Yutaka Nagashima, Ramana Kumar
Publié dans:
Automated Deduction – CADE 26. CADE 2017. Lecture Notes in Computer Science, vol 10395, Numéro 10395, 2017, Page(s) 528-545, ISBN 978-3-319-63045-8
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_32
Auteurs:
Jan Jakubuv, Josef Urban
Publié dans:
CPP 2017 Proceedings, 2017, Page(s) 43-52, ISBN 978-1-4503-4705-1
Éditeur:
ACM
DOI:
10.1145/3018610.3018619
Auteurs:
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
Publié dans:
EPiC Series in Computing volume 40, Numéro vol 40, pages 27-36, 2016, Page(s) 27-16, ISSN 2398-7340
Éditeur:
EasyChair
DOI:
10.29007/8c2m
Auteurs:
Alex A. Alemi, François Chollet, Geoffrey Irving, Christian Szegedy, Josef Urban
Publié dans:
Advances in Neural Information Processing Systems 29 (NIPS 2016), Numéro 29, NIPS 2016, 2016, Page(s) 2235--2243
Éditeur:
Neural Information Processing Systems Foundation, Inc.
Auteurs:
Michael Färber, Chad E. Brown
Publié dans:
IJCAR 2016, Numéro Lecture Notes in Computer Science, vol 9706, 2016, Page(s) 349-361, ISBN 978-3-319-40228-4
Éditeur:
Springer
DOI:
10.1007/978-3-319-40229-1_24
Auteurs:
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
Publié dans:
2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017, Page(s) 169-172, ISBN 978-1-5386-2626-9
Éditeur:
IEEE
DOI:
10.1109/SYNASC.2017.00036
Auteurs:
David Damestani, Laura Kovacs, Martin Suda
Publié dans:
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019, Page(s) 95-99, ISBN 978-1-7281-5724-5
Éditeur:
IEEE
DOI:
10.1109/synasc49474.2019.00022
Auteurs:
Adrián Rebola-Pardo, Martin Suda
Publié dans:
EPiC Series in Computing volume 57, 2018, Page(s) 583-561
Éditeur:
EasyChair
DOI:
10.29007/tc7q
Auteurs:
Qingxiang Wang, Chad Brown, Cezary Kaliszyk, Josef Urban
Publié dans:
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, Page(s) 85-98, ISBN 9781450370974
Éditeur:
ACM
DOI:
10.1145/3372885.3373827
Auteurs:
Bernhard Gleiss, Martin Suda
Publié dans:
PAAR 2020, 2020, Page(s) 34--52
Éditeur:
CEUR-WS.org
Auteurs:
Zarathustra Goertzel, Jan Jakubuv, Josef Urban
Publié dans:
Kalpa Publications in Computing volume 9, 2018, Page(s) 15-6
Éditeur:
EasyChair
DOI:
10.29007/z7qx
Auteurs:
Giles Reger, Martin Riener, Martin Suda
Publié dans:
Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, Numéro 11715, 2019, Page(s) 3-21, ISBN 978-3-030-29006-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-29007-8_1
Auteurs:
Lasse Blaauwbroek, Josef Urban, Herman Geuvers
Publié dans:
EPiC Series in Computing volume 73, 2020, Page(s) 138-124
Éditeur:
EasyChair
DOI:
10.29007/wg1q
Auteurs:
Pierre Pradic, Chad E. Brown
Publié dans:
CoRR, 2019
Éditeur:
CoRR
Auteurs:
George Labahn, James H. Davenport, Josef Urban
Publié dans:
Mathematics in Computer Science, Numéro 14/3, 2020, Page(s) 531-532, ISSN 1661-8270
Éditeur:
Birkhauser Verlag
DOI:
10.1007/s11786-020-00475-z
Auteurs:
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
Publié dans:
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, Numéro 11429, 2019, Page(s) 3-24, ISBN 978-3-030-17501-6
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-17502-3_1
Auteurs:
Pascal Fontaine, Cezary Kaliszyk, Stephan Schulz, Josef Urban
Publié dans:
AI Communications, Numéro 31/3, 2018, Page(s) 235-236, ISSN 0921-7126
Éditeur:
IOS Press
DOI:
10.3233/aic-180765
Auteurs:
Chad E. Brown, Thibault Gauthier
Publié dans:
CoRR, 2019
Éditeur:
arxiv.org
Auteurs:
Zombori, Zsolt; Csiszárik, Adrián; Michalewski, Henryk; Kaliszyk, Cezary; Urban, Josef
Publié dans:
CoRR, Numéro 3, 2019
Éditeur:
arxiv.org
Auteurs:
John Harrison, Josef Urban, Freek Wiedijk
Publié dans:
Journal of Formalized Reasoning, Numéro 9, 2016, Page(s) 1-2, ISSN 1972-5787
Éditeur:
Alma Mater Studiorum (Bologna)
DOI:
10.6092/issn.1972-5787/5974
Auteurs:
Bartosz Piotrowski, Josef Urban, Chad E. Brown, Cezary Kaliszyk
Publié dans:
CoRR, 2019
Éditeur:
arxiv.org
Auteurs:
James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
Publié dans:
2018, ISBN 978-3-319-96418-8
Éditeur:
Springer
DOI:
10.1007/978-3-319-96418-8
Auteurs:
Jan Jakubův, Josef Urban
Publié dans:
AI Communications, Numéro 31/3, 2018, Page(s) 237-250, ISSN 0921-7126
Éditeur:
IOS Press
DOI:
10.3233/aic-180761
Auteurs:
Marijn J. H. Heule, Matti Järvisalo, Martin Suda
Publié dans:
Journal on Satisfiability, Boolean Modeling and Computation, Numéro 11/1, 2019, Page(s) 133-154, ISSN 1574-0617
Éditeur:
IOS Press
DOI:
10.3233/sat190120
Auteurs:
Chad E. Brown, Karol Pąk
Publié dans:
Formalized Mathematics, Numéro 27/4, 2019, Page(s) 321-335, ISSN 1426-2630
Éditeur:
University of Bialystok
DOI:
10.2478/forma-2019-0027
Auteurs:
Michael Färber, Cezary Kaliszyk, Josef Urban
Publié dans:
Journal of Automated Reasoning, 2020, ISSN 0168-7433
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10817-020-09576-7
Auteurs:
Geoff Sutcliffe, Josef Urban
Publié dans:
AI Communications, Numéro 29/3, 2016, Page(s) 423-433, ISSN 0921-7126
Éditeur:
IOS Press
DOI:
10.3233/AIC-150691
Auteurs:
Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban
Publié dans:
Journal of Automated Reasoning, Numéro 57/3, 2016, Page(s) 219-244, ISSN 0168-7433
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10817-016-9362-8
Auteurs:
THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER
Publié dans:
Forum of Mathematics, Pi, Numéro 5, 2017, ISSN 2050-5086
Éditeur:
Cambridge University Press
DOI:
10.1017/fmp.2017.1
Auteurs:
Freek Wiedijk, Herman Geuvers, Josef Urban
Publié dans:
Nieuw Archief voor Wiskunde, Numéro 5/17, 2016, Page(s) 177-183, ISSN 0028-9825
Éditeur:
Nieuw Archief voor Wiskunde
Auteurs:
Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban
Publié dans:
Journal of Formalized Reasoning, Numéro vol9, no 1, 2016, Page(s) 101-148, ISSN 1972-5787
Éditeur:
Alma Mater Studiorum (Bologna)
DOI:
10.6092/issn.1972-5787/4593
Auteurs:
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Publié dans:
Journal of Automated Reasoning, 2020, ISSN 0168-7433
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10817-020-09580-x
Auteurs:
Jan Jakubův, Cezary Kaliszyk
Publié dans:
Mathematics in Computer Science, Numéro 14/3, 2020, Page(s) 657-670, ISSN 1661-8270
Éditeur:
Birkhauser Verlag
DOI:
10.1007/s11786-020-00474-0
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible