Authors: AUMONT, Jacques, Roelens, Nathalie, Barthes, Roland, Benjamin, Walter, BOURDIEU, Pierre, Courcelle, Bruno, DEBRAY, Régis, Vinci, Leonardo da, DIDI-HUBERMAN, Georges, Fraenkel, Beatrice, Fresnault-Deruelle, Pierre, HABERMAS, Jürgen, Joannis, Henri, KANT, Emmanuel, MONDZAIN, Marie-José, PARRET, Herman, Rittaud-Huttinet, Jacques, ROELENS, Nathalie, Teyssier, Jean-Pierre, VIRILIO, Paul, Vitruve, Paul, Vouilloux, Bernard, Wildgen, Wolfgang

Subject Terms: affichage, publicité, cinéma, peinture, censure, espace public, espace civique

Relation: urn:doi:10.25965/as.1172; https://www.unilim.fr/actes-semiotiques/1172

Availability: https://doi.org/10.25965/as.1172
https://www.unilim.fr/actes-semiotiques/1172

Authors: Courcelle, Bruno

Contributors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: Fundamenta Informaticae ; https://hal.science/hal-04133626 ; Fundamenta Informaticae, In press, 1, pp.1-47. ⟨10.3233/FI-222149⟩

Subject Terms: graph unfolding graph covering universal covering regular tree weighted graph characteristic polynomial graph factorization, graph unfolding, graph covering, universal covering, regular tree, weighted graph, characteristic polynomial, graph factorization, [INFO]Computer Science [cs], [MATH]Mathematics [math]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2212.07205v3; hal-04133626; https://hal.science/hal-04133626; https://hal.science/hal-04133626/document; https://hal.science/hal-04133626/file/BCcoveringFI2022.pdf; ARXIV: 2212.07205v3

Availability: https://doi.org/10.3233/FI-222149
https://hal.science/hal-04133626
https://hal.science/hal-04133626/document
https://hal.science/hal-04133626/file/BCcoveringFI2022.pdf

Authors: Courcelle, Bruno

Contributors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: https://hal.science/hal-04133607 ; 2023.

Subject Terms: graph unfolding graph covering universal covering regular tree strongly regular tree weighted graph automorphism first-order logic, graph unfolding, graph covering, universal covering, regular tree, strongly regular tree, weighted graph, automorphism, first-order logic, [INFO]Computer Science [cs]

Relation: hal-04133607; https://hal.science/hal-04133607; https://hal.science/hal-04133607/document; https://hal.science/hal-04133607/file/stronglyregular4.dvi.pdf

Availability: https://hal.science/hal-04133607
https://hal.science/hal-04133607/document
https://hal.science/hal-04133607/file/stronglyregular4.dvi.pdf

Authors: Courcelle, Bruno^Aff13

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Blass, Andreas, editor^Aff8, Cégielski, Patrick, editor^Aff9, Dershowitz, Nachum, editor^Aff10, Droste, Manfred, editor^Aff11, Finkbeiner, Bernd, editor^Aff12

Superior Title: Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. 12180:79-94

Authors: Courcelle, Bruno

Contributors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: ISSN: 1462-7264.

Subject Terms: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2111.15357; hal-03175157; https://hal.science/hal-03175157; https://hal.science/hal-03175157v5/document; https://hal.science/hal-03175157v5/file/PouzetDEF2.pdf; ARXIV: 2111.15357

Availability: https://doi.org/10.46298/dmtcs.7288
https://hal.science/hal-03175157
https://hal.science/hal-03175157v5/document
https://hal.science/hal-03175157v5/file/PouzetDEF2.pdf

Authors: Courcelle, Bruno

Subject Terms: Computer Science - Logic in Computer Science

Relation: http://arxiv.org/abs/2212.07205

Availability: http://arxiv.org/abs/2212.07205

Authors: Courcelle, Bruno

Superior Title: In Discrete Applied Mathematics 15 May 2020 278:93-117

Authors: Courcelle, Bruno

Superior Title: In Discrete Applied Mathematics 15 May 2020 278:118-135

Authors: Courcelle, Bruno, Ehrig, Hartmut, Rozenberg, Grzegorz

Subject Terms: Data processing Computer science

Relation: urn:nbn:de:0030-drops-149411; https://drops.dagstuhl.de/opus/volltexte/1992/14941/

Availability: https://doi.org/10.4230/DagSemRep.53
https://nbn-resolving.org/urn:nbn:de:0030-drops-149411
https://drops.dagstuhl.de/opus/volltexte/1992/14941/

Authors: Courcelle, Bruno

Subject Terms: Computer Science - Logic in Computer Science

Relation: http://arxiv.org/abs/2111.15357

Availability: http://arxiv.org/abs/2111.15357

Authors: Courcelle, Bruno

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Discrete Mathematics

Relation: http://arxiv.org/abs/2111.04083

Availability: http://arxiv.org/abs/2111.04083

Authors: Courcelle, Bruno

Superior Title: In Discrete Applied Mathematics 30 October 2018 248:125-144

Authors: Courcelle, Bruno

Superior Title: In Discrete Applied Mathematics 20 August 2018 245:236-252

Authors: Courcelle, Bruno¹ (AUTHOR) courcell@labri.fr, Avron, Arnon (AUTHOR), Dershowitz, Nachum (AUTHOR), Rabinovich, Alexander (AUTHOR)

Superior Title: Fundamenta Informaticae. 2022, Vol. 186 Issue 1-4, p89-120. 32p.

Subject Terms: *LINEAR orderings, *ISOMORPHISMS, *TREES

Authors: Courcelle, Bruno

Contributors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)

Superior Title: ISSN: 0988-3754 ; EISSN: 1290-385X.

Subject Terms: Betweenness, partial order, axiomatization, monadic second-order logic, comparability graph, [MATH]Mathematics [math]

Relation: hal-03078856; https://hal.archives-ouvertes.fr/hal-03078856; https://hal.archives-ouvertes.fr/hal-03078856/document; https://hal.archives-ouvertes.fr/hal-03078856/file/ita200028.pdf

Availability: https://doi.org/10.1051/ita/2020007
https://hal.archives-ouvertes.fr/hal-03078856
https://hal.archives-ouvertes.fr/hal-03078856/document
https://hal.archives-ouvertes.fr/hal-03078856/file/ita200028.pdf

Authors: Courcelle, Bruno, Durand, Irène, Raskin, Michael

Subject Terms: Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms

Relation: http://arxiv.org/abs/2008.07468

Availability: http://arxiv.org/abs/2008.07468

Authors: Courcelle, Bruno

Subject Terms: Computer Science - Logic in Computer Science, Mathematics - Logic

Relation: http://arxiv.org/abs/2004.10127

Availability: https://doi.org/10.23638/LMCS-17(1:11)2021
http://arxiv.org/abs/2004.10127

Authors: Courcelle, Bruno

Contributors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Sciences et Technologies - Bordeaux 1-Université Bordeaux Segalen - Bordeaux 2

Superior Title: https://hal.archives-ouvertes.fr/hal-03175157 ; 2021.

Subject Terms: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-03175157; https://hal.archives-ouvertes.fr/hal-03175157; https://hal.archives-ouvertes.fr/hal-03175157v2/document; https://hal.archives-ouvertes.fr/hal-03175157v2/file/BetIBOv2.pdf

Availability: https://hal.archives-ouvertes.fr/hal-03175157
https://hal.archives-ouvertes.fr/hal-03175157v2/document
https://hal.archives-ouvertes.fr/hal-03175157v2/file/BetIBOv2.pdf

Authors: Courcelle, Bruno^Aff1367, Durand, Iréne^Aff1368

Contributors: Kao, Ming-Yang, editor^Aff1

Superior Title: Encyclopedia of Algorithms. :1341-1346

Authors: Courcelle, Bruno

Superior Title: In Journal of Combinatorial Theory, Series B March 2017 123:186-214