Publicaciones
Autores:
Thomas Colcombet, Daniela Petrisan
Publicado en:
Log. Methods Comput. Sci., Edición 16(1), 2020, Página(s) 1:1-1:32, ISSN 1860-5974
Editor:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-16(1:32)2020
Autores:
Wesley Fussner, Gavin St. John
Publicado en:
Electronic Proceedings in Theoretical Computer Science, Edición 343, 2021, Página(s) 37-49, ISSN 2075-2180
Editor:
Open Publishing Association
DOI:
10.4204/eptcs.343.3
Autores:
Brett McLean
Publicado en:
Journal of Logical and Algebraic Methods in Programming, Edición 117, 2020, Página(s) 100606, ISSN 2352-2208
Editor:
Elsevier
DOI:
10.1016/j.jlamp.2020.100606
Autores:
Brett McLean
Publicado en:
Journal of Pure and Applied Algebra, Edición 225, no. 11, 2021, Página(s) 106755, ISSN 0022-4049
Editor:
Elsevier BV
DOI:
10.1016/j.jpaa.2021.106755
Autores:
Botero, W. J. Zuluaga
Publicado en:
Algebra Universalis, Edición 82, 2021, Página(s) 50, ISSN 0002-5240
Editor:
Birkhauser Verlag
DOI:
10.1007/s00012-021-00745-2
Autores:
Mai Gehrke, Daniela Petrişan, Luca Reggio
Publicado en:
Mathematical Structures in Computer Science, Edición 30/10, 2020, Página(s) 1054-1088, ISSN 0960-1295
Editor:
Cambridge University Press
DOI:
10.1017/s0960129521000074
Autores:
Wesley Fussner, Mai Gehrke, Samuel J. van Gool, Vincenzo Marra
Publicado en:
Forum Mathematicum, Edición 33/4, 2021, Página(s) 899-921, ISSN 0933-7741
Editor:
Walter de Gruyter GmbH & Co. KG
DOI:
10.1515/forum-2020-0115
Autores:
Wesley Fussner
Publicado en:
Studia Logica, 2021, ISSN 0039-3215
Editor:
Kluwer Academic Publishers
DOI:
10.1007/s11225-021-09956-z
Autores:
Leonardo M. Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley
Publicado en:
ACM Transactions on Computational Logic, Edición 20/1, 2019, Página(s) 1-19, ISSN 1529-3785
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3275115
Autores:
Luca Reggio
Publicado en:
Journal of Pure and Applied Algebra, Edición 224/1, 2020, Página(s) 181-205, ISSN 0022-4049
Editor:
Elsevier BV
DOI:
10.1016/j.jpaa.2019.05.002
Autores:
Wesley Fussner, Alessandra Palmigiano
Publicado en:
Algebra universalis, Edición 80/4, 2019, ISSN 0002-5240
Editor:
Birkhauser Verlag
DOI:
10.1007/s00012-019-0613-5
Autores:
Vincenzo Marra, Luca Reggio
Publicado en:
Theory and Applications of Categories, Edición vol. 35, no. 51, 2020, Página(s) 1871-1906, ISSN 1201-561X
Editor:
R. Rosebrugh
Autores:
Kurusch Ebrahimi-Fard, Loïc Foissy, Joachim Kock, Frédéric Patras
Publicado en:
Advances in Mathematics, Edición 369, 2020, Página(s) 107170, ISSN 0001-8708
Editor:
Academic Press
DOI:
10.1016/j.aim.2020.107170
Autores:
Célia Borlido
Publicado en:
Communications in Algebra, Edición 46/4, 2017, Página(s) 1813-1830, ISSN 0092-7872
Editor:
Marcel Dekker Inc.
DOI:
10.1080/00927872.2017.1360328
Autores:
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
Publicado en:
ACM Transactions of Computer Systems, Edición 1, 2018, ISSN 0734-2071
Editor:
Association for Computing Machinary, Inc.
Autores:
Samuel J. v. Gool, Luca Reggio
Publicado en:
Topology and its Applications, Edición 240, 2018, Página(s) 69-77, ISSN 0166-8641
Editor:
Elsevier BV
DOI:
10.1016/j.topol.2018.03.006
Autores:
HENNING BASOLD, HELLE HVID HANSEN, JEAN-ÉRIC PIN, JAN RUTTEN
Publicado en:
Mathematical Structures in Computer Science, 2017, Página(s) 1-29, ISSN 0960-1295
Editor:
Cambridge University Press
DOI:
10.1017/s0960129517000159
Autores:
Carton, Olivier; Perrin, Dominique; Pin, Jean-Éric
Publicado en:
Logical Methods in Computer Science, Edición 1, 2018, Página(s) vol 14, ISSN 1860-5974
Editor:
Technischen Universitat Braunschweig
DOI:
10.23638/LMCS-14(1:24)2018
Autores:
Célia Borlido
Publicado en:
Theoretical Computer Science, Edición 702, 2017, Página(s) 1-22, ISSN 0304-3975
Editor:
Elsevier BV
DOI:
10.1016/j.tcs.2017.08.008
Autores:
Mai Gehrke
Publicado en:
Algebra universalis, Edición 79/3, 2018, ISSN 0002-5240
Editor:
Birkhauser Verlag
DOI:
10.1007/s00012-018-0544-6
Autores:
PAUL-ANDRÉ MELLIÈS, NOAM ZEILBERGER
Publicado en:
Mathematical Structures in Computer Science, Edición 28/06, 2018, Página(s) 736-774, ISSN 0960-1295
Editor:
Cambridge University Press
DOI:
10.1017/s0960129517000068
Autores:
Mai Gehrke, Michael Pinsker
Publicado en:
Journal of Pure and Applied Algebra, Edición 222/5, 2018, Página(s) 1242-1250, ISSN 0022-4049
Editor:
Elsevier BV
DOI:
10.1016/j.jpaa.2017.06.016
Autores:
Filippo Bonchi, Daniela Petrişan, Damien Pous, Jurriaan Rot
Publicado en:
Acta Informatica, Edición 54/2, 2017, Página(s) 127-190, ISSN 0001-5903
Editor:
Springer Verlag
DOI:
10.1007/s00236-016-0271-4
Autores:
Mai Gehrke
Publicado en:
Journal of Pure and Applied Algebra, Edición 220/7, 2016, Página(s) 2711-2747, ISSN 0022-4049
Editor:
Elsevier BV
DOI:
10.1016/j.jpaa.2015.12.007
Autores:
Jean-Éric Pin, Pedro V. Silva
Publicado en:
Theoretical Computer Science, Edición 658, 2017, Página(s) 246-262, ISSN 0304-3975
Editor:
Elsevier BV
DOI:
10.1016/j.tcs.2016.06.013
Autores:
Jorge Almeida, Zoltan Ésik, Jean-Éric Pin
Publicado en:
Acta Cybernetica, Edición 23, 2017, ISSN 0324-721X
Editor:
Szegedi Tudomanyegyetern/University of Szeged
DOI:
10.14232/actacyb.23.1.2017.7
Autores:
Mai Gehrke, Andreas Krebs, Jean-Éric Pin
Publicado en:
Theoretical Computer Science, Edición 610, 2016, Página(s) 37-58, ISSN 0304-3975
Editor:
Elsevier BV
DOI:
10.1016/j.tcs.2015.08.007
Autores:
Samer Allouch, Carlos Simpson
Publicado en:
Communications in Algebra, Edición 46/7, 2018, Página(s) 3079-3091, ISSN 0092-7872
Editor:
Marcel Dekker Inc.
DOI:
10.1080/00927872.2017.1404081
Autores:
Jorge Almeida, Célia Borlido
Publicado en:
International Journal of Algebra and Computation, Edición 27/02, 2017, Página(s) 189-235, ISSN 0218-1967
Editor:
World Scientific Publishing Co
DOI:
10.1142/S0218196717500096
Autores:
Vincenzo Marra, Luca Reggio
Publicado en:
Advances in Mathematics, Edición 307, 2017, Página(s) 253-287, ISSN 0001-8708
Editor:
Academic Press
DOI:
10.1016/j.aim.2016.11.012
Autores:
Jean-Éric Pin, Xaro Soler-Escrivà
Publicado en:
Theoretical Computer Science, Edición 800, 2019, Página(s) 155-172, ISSN 0304-3975
Editor:
Elsevier BV
DOI:
10.1016/j.tcs.2019.10.023
Autores:
Paul-André Mellies
Publicado en:
Proceedings of the ACM on Programming Languages, Edición 3/POPL, 2019, Página(s) 1-30, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3290336
Autores:
Paul-André Melliès
Publicado en:
Publications of the Research Institute for Mathematical Sciences, Edición 52/4, 2016, Página(s) 359-412, ISSN 0034-5318
Editor:
Kyoto Daigaku
DOI:
10.4171/prims/185
Autores:
Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing
Publicado en:
Topology and its Applications, Edición 273, 2020, Página(s) 106975, ISSN 0166-8641
Editor:
Elsevier BV
DOI:
10.1016/j.topol.2019.106975
Autores:
Mai Gehrke, Samuel J. v. Gool
Publicado en:
Journal of Pure and Applied Algebra, Edición 222/8, 2018, Página(s) 2164-2180, ISSN 0022-4049
Editor:
Elsevier BV
DOI:
10.1016/j.jpaa.2017.09.004
Autores:
Leonardo Manuel Cabrer, Daniele Mundici
Publicado en:
Annals of Pure and Applied Logic, Edición 168/5, 2017, Página(s) 1132-1151, ISSN 0168-0072
Editor:
Elsevier BV
DOI:
10.1016/j.apal.2016.11.009
Autores:
Tomáš Jakl
Publicado en:
Topology and its Applications, Edición 273, 2020, Página(s) 106976, ISSN 0166-8641
Editor:
Elsevier BV
DOI:
10.1016/j.topol.2019.106976
Autores:
Thomas Colcombet, and Sylvain Lombardy
Publicado en:
Christophe Paul and Markus Bläser, editors, 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, Edición March 10-13, 2020, Montpellier, France, volume 154 of LIPIcs, 2020, Página(s) 32:1–32:13
Editor:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.stacs.2020.32
Autores:
Fussner, Wesley; Ghannoum, Najwa; Jakl, Tomás; Simpson, Carlos
Publicado en:
https://hal.archives-ouvertes.fr/hal-02972963, Edición 1, 2020
Editor:
Conference on Artificial Intelligence and Theorem Proving
Autores:
Fussner, Wesley; Shminke, Boris
Publicado en:
6th Conference on Artificial Intelligence and Theorem Proving, Sep 2021, Aussois, France, Edición 1, 2021
Editor:
6th Conference on Artificial Intelligence and Theorem Proving
Autores:
Thomas Colcombet, Daniela Petrisan, and Riccardo Stabile
Publicado en:
Christel Baier and Jean Goubault-Larrecq, editors, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Edición January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference), volume 183 of LIPIcs, 2021, Página(s) 15:1–15:17
Editor:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.csl.2021.15
Autores:
Paul-André Melliès; Nicolas Rolland
Publicado en:
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Edición 167, 2020, Página(s) 6:1--6:18, ISBN 978-3-95977-155-9
Editor:
Schloss Dagstuhl, Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.fscd.2020.6
Autores:
David Barozzini, Lorenzo Clemente, Thomas Colcombet, and Pawel Parys
Publicado en:
Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, Edición July 8-11, 2020, Saarbrücken, Germany (Virtual Conference), volume 168 of LIPIcs, 2020, Página(s) 109:1–109:18
Editor:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2020.109
Autores:
Branco , Mário; Pin , Jean-Eric
Publicado en:
International Conference on Developments in Language Theory (DLT), Edición LNCS, volume 11088, 2018, Página(s) 156-168
Editor:
Springer
DOI:
10.1007/978-3-319-98654-8_13
Autores:
Bonchi, Filippo; König, Barbara; Petrisan, Daniela
Publicado en:
29th International Conference on Concurrency Theory (CONCUR 2018), Edición 1, 2018
Editor:
Dagstuhl
Autores:
Colcombet, Thomas; Petrişan, Daniela
Publicado en:
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Edición 1, 2017, Página(s) 52:1-14
Editor:
Dagstuhl
Autores:
Colcombet, Thomas; Petrişan, Daniela
Publicado en:
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Edición 1, 2017
Editor:
Dagstuhl
Autores:
Mai Gehrke, Daniela Petrisan, Luca Reggio
Publicado en:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Página(s) 1-12, ISBN 978-1-5090-3018-7
Editor:
IEEE
DOI:
10.1109/LICS.2017.8005140
Autores:
Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs
Publicado en:
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
Editor:
Dagstuhl
DOI:
10.4230/LIPIcs.CSL.2017.13
Autores:
Thomas Colcombet
Publicado en:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Página(s) 1-4, ISBN 978-1-5090-3018-7
Editor:
IEEE
DOI:
10.1109/LICS.2017.8005061
Autores:
Mai Gehrke, Daniela Petrisan, Luca Reggio
Publicado en:
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Edición 55, 2016, Página(s) 112:1--112:14, ISBN 978-3-95977-013-2
Editor:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICALP.2016.112
Autores:
Paul-André Melliès, Noam Zeilberger
Publicado en:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Página(s) 555-564, ISBN 9781-450343916
Editor:
ACM Press
DOI:
10.1145/2933575.2934525
Autores:
Mai Gehrke
Publicado en:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Página(s) 12-26, ISBN 9781-450343916
Editor:
ACM Press
DOI:
10.1145/2933575.2934575
Autores:
Mai Gehrke, Daniela Petrisan, and Luca Reggio
Publicado en:
Proceedings of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 2017
Editor:
ACM
Autores:
Paul-Andre Mellies
Publicado en:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Página(s) 1-12, ISBN 978-1-5090-3018-7
Editor:
IEEE
DOI:
10.1109/lics.2017.8005077
Autores:
Jean-Éric Pin
Publicado en:
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, Edición 10226, 2017, ISBN 978-3-319-57417-2
Editor:
Springer
DOI:
10.1007/978-3-319-57418-92
Autores:
Colcombet, Thomas; Worrell, James; Ouaknine, Joel; Semukhin, Pavel
Publicado en:
"46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.44⟩", Edición 23, 2019
Editor:
LIPICS
DOI:
10.4230/LIPIcs.ICALP.2019.44
Autores:
Antonio Casares, Thomas Colcombet, and Nathanaël Fijalkow
Publicado en:
Nikhil Bansal, Emanuela Merelli, and James Worrell, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Edición July 12- 16, 2021, Glasgow, Scotland (Virtual Conference), volume 198 of LIPIcs, 2021, Página(s) 123:1–123:14
Editor:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2021
Autores:
Thomas Colcombet, Arthur Jaquard
Publicado en:
Nikhil Bansal, Emanuela Merelli, and James Worrell, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Edición July 12-16, 2021, Glasgow, Scotland (Virtual Conference), volume 198 of LIPIcs, 2021, Página(s) 127:1–127:13
Editor:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2021.127
Autores:
Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Publicado en:
arxiv, Edición 1, 2020
Editor:
arxiv
Autores:
Simpson, Carlos
Publicado en:
https://hal.archives-ouvertes.fr/hal-03251094, Edición 1, 2021
Editor:
HAL archives
Autores:
Thomas Colcombet, Daniela Petrisan
Publicado en:
ACM SIGLOG News, Edición 4(2), April 2017, 2017, Página(s) 3-27
Editor:
ACM
Autores:
Mai Gehrke, Andreas Krebs
Publicado en:
ACM SIGLOG News, Edición 4(2), April 2017, 2017, Página(s) 28-53
Editor:
ACM
Autores:
Borlido, Célia; McLean, Brett
Publicado en:
arxiv, Edición 1, 2020
Editor:
arxiv
Autores:
Jean-Éric Pin
Publicado en:
The Role of Theory in Computer Science: Essays Dedicated to Janusz Brzozowski, 2017, Página(s) 153-175, ISBN 978-981-3148-19-2
Editor:
WORLD SCIENTIFIC
DOI:
10.1142/9789813148208_0007
Autores:
Jean-Éric Pin
Publicado en:
The Role of Theory in Computer Science, 2017, Página(s) 177-201
Editor:
WORLD SCIENTIFIC
DOI:
10.1142/9789813148208_0008
Autores:
Thomas Colcombet, Nathanaël Fijalkow
Publicado en:
Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Edición 11425, 2019, Página(s) 1-26, ISBN 978-3-030-17126-1
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-17127-8_1
Autores:
Mai Gehrke, Tomáš Jakl, Luca Reggio
Publicado en:
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Edición 12077, 2020, Página(s) 299-318, ISBN 978-3-030-45230-8
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-45231-5_16
Autores:
Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann
Publicado en:
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Edición 12077, 2020, Página(s) 119-135, ISBN 978-3-030-45230-8
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-45231-5_7
Autores:
Reggio, Luca
Publicado en:
https://tel.archives-ouvertes.fr/tel-02459132, Edición 2, 2018
Editor:
Université Paris Diderot
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles