Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Jean-Éric Pin"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)
Difference hierarchies were originally introduced by Hausdorff and they play an important role in descriptive set theory. In this survey paper, we study difference hierarchies of regular languages. The first sections describe standard techniques on d
Externí odkaz:
https://doaj.org/article/8158d9602a494419b6c201465c48e4d3
Autor:
Jean-Éric Pin, Christophe Reutenauer
Publikováno v:
Journal of Noncommutative Geometry. 16:1055-1101
The thematic term on “Semigroups, Algorithms, Automata and Languages” organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2001 was the gathering point for researchers working in the field of semigroups, algorithms
Autor:
Jean-Éric Pin
Publikováno v:
Algebraic Informatics ISBN: 9783031196843
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::22f4268deada23bf4cd4492e83baffd9
https://doi.org/10.1007/978-3-031-19685-0_3
https://doi.org/10.1007/978-3-031-19685-0_3
Autor:
Jean-Éric Pin
Automata theory is a subject of study at the crossroads of mathematics, theoretical computer science, and applications. In its core it deals with abstract models of systems whose behaviour is based on transitions between states, and it develops metho
This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed and selected from 35 submissions.
Autor:
Jean-Éric Pin
Publikováno v:
Relational and Algebraic Methods in Computer Science
Peter Höfner; Damien Pous; Georg Struth. Relational and Algebraic Methods in Computer Science, Springer, pp.24-40, 2017, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-57418-9_2⟩
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Peter Höfner; Damien Pous; Georg Struth. Relational and Algebraic Methods in Computer Science, Springer, pp.24-40, 2017, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-57418-9_2⟩
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings; International audience; This survey paper presents well-known results from a new angle. A Pervin space is a set X equipped with a set of subsets,called the blocks
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7bfe01fd53997645d4194e9cc221e86f
https://hal.archives-ouvertes.fr/hal-02104104/file/PervinRAMICS.pdf
https://hal.archives-ouvertes.fr/hal-02104104/file/PervinRAMICS.pdf
Autor:
Jean-Éric Pin
Publikováno v:
The Role of Theory in Computer Science
Autor:
Jean-Éric Pin
Publikováno v:
The Role of Theory in Computer Science: Essays Dedicated to Janusz Brzozowski