Publicaciones
Autores:
Thomas Quinn-Gregson
Publicado en:
Semigroup Forum, 2020, ISSN 0037-1912
Editor:
Springer Verlag
DOI:
10.1007/s00233-020-10151-0
Autores:
Jakub Opršal
Publicado en:
Order, Edición 35/3, 2018, Página(s) 433-460, ISSN 0167-8094
Editor:
Kluwer Academic Publishers
DOI:
10.1007/s11083-017-9441-4
Autores:
Manuel Bodirsky, Antoine Mottet, Miroslav Olšák, Jakub Opršal, Michael Pinsker, Ross Willard
Publicado en:
Transactions of the American Mathematical Society, Edición 374/1, 2021, Página(s) 327-350, ISSN 0002-9947
Editor:
American Mathematical Society
DOI:
10.1090/tran/8179
Autores:
Manuel Bodirsky, Florent Madelaine, Antoine Mottet
Publicado en:
SIAM Journal on Computing, Edición 50/4, 2021, Página(s) 1359-1409, ISSN 0097-5397
Editor:
Society for Industrial and Applied Mathematics
DOI:
10.1137/19m128466x
Autores:
Libor Barto, Jakub Bulín, Andrei Krokhin, Jakub Opršal
Publicado en:
Journal of the ACM, Edición 68/4, 2021, Página(s) 1-66, ISSN 0004-5411
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3457606
Autores:
Andrés Aranda, David Hartman
Publicado en:
Acta Mathematica Universitatis Comenianae, Edición Vol 88 No 3 (2019): AMUC, 2019, Página(s) 377-382, ISSN 0862-9544
Editor:
Comenius University Press
Autores:
Alexandr Kazda, Jakub Opršal, Matt Valeriote, Dmitriy Zhuk
Publicado en:
Canadian Mathematical Bulletin, Edición 63/3, 2020, Página(s) 577-591, ISSN 0008-4395
Editor:
Canadian Mathematical Society
DOI:
10.4153/s0008439519000651
Autores:
MANUEL BODIRSKY, MICHAEL PINSKER, ANDRÁS PONGRÁCZ
Publicado en:
The Journal of Symbolic Logic, 2019, Página(s) 1-13, ISSN 0022-4812
Editor:
Association for Symbolic Logic
DOI:
10.1017/jsl.2019.23
Autores:
Andrés Aranda, David Hartman
Publicado en:
European Journal of Combinatorics, Edición 85, 2020, Página(s) 103063, ISSN 0195-6698
Editor:
Academic Press
DOI:
10.1016/j.ejc.2019.103063
Autores:
Manuel Bodirsky, Florian Starke, Albert Vucaj
Publicado en:
International Journal of Algebra and Computation, Edición 31/05, 2021, Página(s) 929-967, ISSN 0218-1967
Editor:
World Scientific Publishing Co
DOI:
10.1142/s0218196721500442
Autores:
Manuel Bodirsky, Peter Jonsson, Trung Van Pham
Publicado en:
ACM Transactions on Computational Logic, Edición 18/3, 2017, Página(s) 1-42, ISSN 1529-3785
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3105907
Autores:
Thomas Quinn‐Gregson
Publicado en:
Mathematika, Edición 66/3, 2020, Página(s) 733-751, ISSN 0025-5793
Editor:
University College London, Department of Mathematics
DOI:
10.1112/mtk.12035
Autores:
Manuel Bodirsky, Peter Jonsson
Publicado en:
Journal of Artificial Intelligence Research, Edición 58, 2017, Página(s) 339-385, ISSN 1076-9757
Editor:
Morgan Kaufmann Publishers, Inc.
DOI:
10.1613/jair.5260
Autores:
Andres Aranda, Claude Laflamme, Daniel T. Soukup, Robert Woodrow
Publicado en:
Discrete Mathematics, Edición 344/1, 2021, Página(s) 112153, ISSN 0012-365X
Editor:
Elsevier BV
DOI:
10.1016/j.disc.2020.112153
Autores:
Wenjie Fang, Henri Mühle, Jean-Christophe Novelli
Publicado en:
The Electronic Journal of Combinatorics, Edición 28/3, 2021, ISSN 1077-8926
Editor:
Electronic Journal of Combinatorics
DOI:
10.37236/10578
Autores:
Aranda, Andrés; Hartman, David
Publicado en:
Acta Mathematica Universitatis Comenianae, Edición 3, 2018, ISSN 0862-9544
Editor:
Comenius University Press
Autores:
Libor Barto, Jakub Opršal, Michael Pinsker
Publicado en:
Israel Journal of Mathematics, Edición 223/1, 2018, Página(s) 363-398, ISSN 0021-2172
Editor:
Magnes Press
DOI:
10.1007/s11856-017-1621-9
Autores:
Manuel Bodirsky, Marcello Mamino
Publicado en:
Theory of Computing Systems, Edición 62/3, 2018, Página(s) 481-509, ISSN 1432-4350
Editor:
Springer Verlag
DOI:
10.1007/s00224-017-9762-0
Autores:
Erhard Aichinger, Nebojša Mudrinski, Jakub Opršal
Publicado en:
International Journal of Algebra and Computation, Edición 28/06, 2018, Página(s) 1101-1118, ISSN 0218-1967
Editor:
World Scientific Publishing Co
DOI:
10.1142/S0218196718500480
Autores:
Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz
Publicado en:
Journal of Logic and Computation, Edición 28/1, 2018, Página(s) 133-163, ISSN 0955-792X
Editor:
Oxford University Press
DOI:
10.1093/logcom/exx043
Autores:
Manuel Bodirsky, Barnaby Martin, Antoine Mottet
Publicado en:
Journal of the ACM, Edición 65/2, 2018, Página(s) 1-41, ISSN 0004-5411
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3154832
Autores:
Manuel Bodirsky, David Evans, Michael Kompatscher, Michael Pinsker
Publicado en:
Israel Journal of Mathematics, Edición 224/1, 2018, Página(s) 57-82, ISSN 0021-2172
Editor:
Magnes Press
DOI:
10.1007/s11856-018-1645-9
Autores:
Manuel Bodirsky, Barnaby Martin, Michael Pinsker, András Pongrácz
Publicado en:
SIAM Journal on Computing, Edición 48/4, 2019, Página(s) 1224-1264, ISSN 0097-5397
Editor:
Society for Industrial and Applied Mathematics
DOI:
10.1137/16m1082974
Autores:
Manuel Bodirsky, Antoine Mottet
Publicado en:
Logical Methods in Computer Science, Edición Volume 14, Edición 2, 2018, ISSN 1860-5974
Editor:
Technischen Universitat Braunschweig
Autores:
Manuel Bodirsky, Thomas Quinn-Gregson
Publicado en:
Journal of Mathematical Logic, 2021, Página(s) 2150020, ISSN 0219-0613
Editor:
Singapore University Press
DOI:
10.1142/s0219061321500203
Autores:
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Publicado en:
ACM Transactions on Computational Logic, Edición 23/1, 2022, Página(s) 1-35, ISSN 1529-3785
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3488721
Autores:
Claude Laflamme, Andres Aranda, Daniel T. Soukup, Robert Woodrow
Publicado en:
Journal of Combinatorial Theory, Series B, Edición 137, 2019, Página(s) 1-9, ISSN 0095-8956
Editor:
Academic Press
DOI:
10.1016/j.jctb.2018.11.006
Autores:
Andrés Aranda, David Bradley-Williams, Eng Keat Hng, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný, Micheal Pawliuk
Publicado en:
Electronic Notes in Discrete Mathematics, Edición 61, 2017, Página(s) 53-60, ISSN 1571-0653
Editor:
Elsevier BV
DOI:
10.1016/j.endm.2017.06.020
Autores:
Manuel Bodirsky, Johannes Greiner
Publicado en:
Logical Methods in Computer Science, Edición Volume 16, Edición 1, 2020, ISSN 1860-5974
Editor:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-16(1:21)2020
Autores:
Manuel Bodirsky, Albert Vucaj
Publicado en:
Algebra universalis, Edición 81/2, 2020, ISSN 0002-5240
Editor:
Birkhauser Verlag
DOI:
10.1007/s00012-020-0647-8
Autores:
Manuel Bodirsky, Simon Knäuer
Publicado en:
2021
Editor:
PKP Publishing Services Network
Autores:
Manuel Bodirsky, Thomas Feller, Simon Knauer, Sebastian Rudolph
Publicado en:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Página(s) 1-13, ISBN 978-1-6654-4895-6
Editor:
IEEE
DOI:
10.1109/lics52264.2021.9470511
Autores:
Andrés Aranda
Publicado en:
Bordeaux Graph Workshop 2019, 2019
Editor:
LaBRi
Autores:
Andrés Aranda, David Hartman
Publicado en:
Acta Mathematica Universitatis Comenianae - EUROCOMB 2019, Edición 88(3), 2019, Página(s) 383-387
Editor:
ACTA MATHEMATICA UNIVERSITATIS COMENIANAE
Autores:
Bodirsky, Manuel; Knäuer, Simon; Rudolph, Sebastian
Publicado en:
Edición 14, 2021
Editor:
https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16196
DOI:
10.4230/lipics.icalp.2021.120
Autores:
Bodirsky, Manuel ; Mamino, Marcello
Publicado en:
2017
Editor:
DROPS, Dagstuhl Research Online Publication Server
DOI:
10.4230/DFU.Vol7.15301.79
Autores:
Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine
Publicado en:
43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Liverpool, UK, 27-31 August 2018 [Conference proceedings], Edición 1, 2018
Editor:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Autores:
Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet
Publicado en:
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Página(s) 1256-1262, ISBN 9780999241127
Editor:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2018/175
Autores:
Manuel Bodirsky, Florent Madelaine, Antoine Mottet
Publicado en:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Página(s) 105-114, ISBN 9781-450355834
Editor:
ACM Press
DOI:
10.1145/3209108.3209156
Autores:
Bodirsky, Manuel; Mamino, Marcello; Viola, Caterina
Publicado en:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Edición 6, 2018
Editor:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Autores:
Víctor Dalmau, Marcin Kozik, Andrei Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Opršal
Publicado en:
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017, Página(s) 340-357, ISBN 978-1-61197-478-2
Editor:
Society for Industrial and Applied Mathematics
DOI:
10.1137/1.9781611974782.22
Autores:
Manuel Bodirsky, Antoine Mottet, Miroslav Olsak, Jakub Oprsal, Michael Pinsker, Ross Willard
Publicado en:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Página(s) 1-12, ISBN 978-1-7281-3608-0
Editor:
IEEE
DOI:
10.1109/lics.2019.8785883
Autores:
Manuel Bodirsky, Bertalan Bodor
Publicado en:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Página(s) 1-13, ISBN 978-1-6654-4895-6
Editor:
IEEE
DOI:
10.1109/lics52264.2021.9470683
Autores:
Manuel Bodirsky, Wied Pakusa, Jakub Rydval
Publicado en:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Página(s) 237-251, ISBN 9781450371049
Editor:
ACM
DOI:
10.1145/3373718.3394750
Autores:
Manuel Bodirsky, Johannes Greiner
Publicado en:
Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings, Edición 12678, 2021, Página(s) 133-146, ISBN 978-3-030-75774-8
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-75775-5_10
Autores:
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Publicado en:
Graphs and Combinatorial Optimization: from Theory to Applications - CTW2020 Proceedings, Edición 5, 2021, Página(s) 265-276, ISBN 978-3-030-63071-3
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-63072-0_21
Autores:
Manuel Bodirsky, Simon Knäuer, Florian Starke
Publicado en:
Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings, Edición 12098, 2020, Página(s) 149-162, ISBN 978-3-030-51465-5
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-51466-2_13
Autores:
Manuel Bodirsky, Johannes Greiner
Publicado en:
Automated Reasoning, Edición 10900, 2018, Página(s) 263-278, ISBN 978-3-319-94204-9
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_18
Autores:
Manuel Bodirsky
Publicado en:
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings, Edición 11194, 2018, Página(s) 3-17, ISBN 978-3-030-02148-1
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-02149-8_1
Autores:
Manuel Bodirsky, Simon Knäuer
Publicado en:
Relational and Algebraic Methods in Computer Science, 2020, Página(s) 31-46, ISBN 9783030435196
Editor:
Springer
Autores:
Cesar Ceballos, Henri Mühle
Publicado en:
2021
Editor:
preprint
Autores:
Andrés Aranda
Publicado en:
Mathematica slovaca, 2021, ISSN 1337-2211
Editor:
Mathematical Institute Slovak Academy of Sciences
Autores:
Bodor, Bertalan
Publicado en:
Edición 2, 2020
Editor:
arxiv.org
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles