Jeandel, Emmanuel; Perdrix, Simon; Vilmart, Renaud Completeness of the ZX-calculus. (English) Zbl 07215290 Log. Methods Comput. Sci. 16, No. 2, Paper No. 11, 72 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{E. Jeandel} et al., Log. Methods Comput. Sci. 16, No. 2, Paper No. 11, 72 p. (2020; Zbl 07215290) Full Text: Link arXiv
Jeandel, Emmanuel; Perdrix, Simon; Vilmart, Renaud Diagrammatic reasoning beyond Clifford+T quantum mechanics. (English) Zbl 07298782 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 569-578 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{E. Jeandel} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 569--578 (2018; Zbl 07298782) Full Text: DOI
Jeandel, Emmanuel; Perdrix, Simon; Vilmart, Renaud A complete axiomatisation of the ZX-calculus for Clifford+T quantum mechanics. (English) Zbl 07298781 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 559-568 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{E. Jeandel} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 559--568 (2018; Zbl 07298781) Full Text: DOI
Aubrun, Nathalie; Barbieri, Sebastián; Jeandel, Emmanuel About the domino problem for subshifts on groups. (English) Zbl 1405.20023 Berthé, Valérie (ed.) et al., Sequences, groups, and number theory. Cham: Birkhäuser (ISBN 978-3-319-69151-0/hbk; 978-3-319-69152-7/ebook). Trends in Mathematics, 331-389 (2018). MSC: 20F10 03D40 03D35 05B45 PDF BibTeX XML Cite \textit{N. Aubrun} et al., in: Sequences, groups, and number theory. Cham: Birkhäuser. 331--389 (2018; Zbl 1405.20023) Full Text: DOI
Jeandel, Emmanuel Enumeration reducibility in closure spaces with applications to logic and algebra. (English) Zbl 07297834 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press (ISBN 978-1-5090-3018-7). Article No. 26, 11 p. (2017). MSC: 03D45 03C57 03D30 08C15 PDF BibTeX XML Cite \textit{E. Jeandel}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 26, 11 p. (2017; Zbl 07297834) Full Text: Link
Jeandel, Emmanuel; Vanier, Pascal Turing degrees of multidimensional SFTs. (English) Zbl 1417.03241 Theor. Comput. Sci. 505, 81-92 (2013). MSC: 03D28 37B10 52C20 PDF BibTeX XML Cite \textit{E. Jeandel} and \textit{P. Vanier}, Theor. Comput. Sci. 505, 81--92 (2013; Zbl 1417.03241) Full Text: DOI
Jeandel, Emmanuel; Theyssier, Guillaume Subshifts as models for MSO logic. (English) Zbl 1435.03064 Inf. Comput. 225, 1-15 (2013). MSC: 03C90 03B16 37B10 PDF BibTeX XML Cite \textit{E. Jeandel} and \textit{G. Theyssier}, Inf. Comput. 225, 1--15 (2013; Zbl 1435.03064) Full Text: DOI
Jeandel, Emmanuel On immortal configurations in Turing machines. (English) Zbl 1357.68061 Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 334-343 (2012). MSC: 68Q05 03D10 PDF BibTeX XML Cite \textit{E. Jeandel}, Lect. Notes Comput. Sci. 7318, 334--343 (2012; Zbl 1357.68061) Full Text: DOI
Jeandel, Emmanuel; Vanier, Pascal \(\Pi^{0}_{1}\) sets and tilings. (English) Zbl 1333.03109 Ogihara, Mitsunori (ed.) et al., Theory and applications of models of computation. 8th annual conference, TAMC 2011, Tokyo, Japan, May 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20876-8/pbk). Lecture Notes in Computer Science 6648, 230-239 (2011). MSC: 03D28 03D15 52C20 PDF BibTeX XML Cite \textit{E. Jeandel} and \textit{P. Vanier}, Lect. Notes Comput. Sci. 6648, 230--239 (2011; Zbl 1333.03109) Full Text: DOI
Jeandel, Emmanuel The periodic domino problem revisited. (English) Zbl 1234.03029 Theor. Comput. Sci. 411, No. 44-46, 4010-4016 (2010). MSC: 03D35 05B45 PDF BibTeX XML Cite \textit{E. Jeandel}, Theor. Comput. Sci. 411, No. 44--46, 4010--4016 (2010; Zbl 1234.03029) Full Text: DOI
Jeandel, Emmanuel; Theyssier, Guillaume Subshifts, languages and logic. (English) Zbl 1247.03068 Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 288-299 (2009). MSC: 03D05 05B45 68Q45 PDF BibTeX XML Cite \textit{E. Jeandel} and \textit{G. Theyssier}, Lect. Notes Comput. Sci. 5583, 288--299 (2009; Zbl 1247.03068) Full Text: DOI
Ballier, Alexis; Durand, Bruno; Jeandal, Emmanuel Structural aspects of tilings. (English) Zbl 1258.05023 Albers, Susanne (ed.) et al., STACS 2008. 25th international symposium on theoretical aspects of computer science, Bordeaux, France, February 21–23, 2008. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-06-4). LIPIcs – Leibniz International Proceedings in Informatics 1, 61-72, electronic only (2008). MSC: 05B45 03E05 PDF BibTeX XML Cite \textit{A. Ballier} et al., LIPIcs -- Leibniz Int. Proc. Inform. 1, 61--72 (2008; Zbl 1258.05023) Full Text: DOI Link