default search action
BibTeX records: Bruno Courcelle
@article{DBLP:journals/fuin/Courcelle22, author = {Bruno Courcelle}, title = {Order-theoretic Trees: Monadic Second-order Descriptions and Regularity}, journal = {Fundam. Informaticae}, volume = {186}, number = {1-4}, pages = {89--120}, year = {2022}, url = {https://doi.org/10.3233/FI-222120}, doi = {10.3233/FI-222120}, timestamp = {Wed, 21 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Courcelle22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Courcelle22a, author = {Bruno Courcelle}, title = {Unfoldings and Coverings of Weighted Graphs}, journal = {Fundam. Informaticae}, volume = {189}, number = {1}, pages = {1--47}, year = {2022}, url = {https://doi.org/10.3233/FI-222150}, doi = {10.3233/FI-222150}, timestamp = {Fri, 04 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Courcelle22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-07205, author = {Bruno Courcelle and Yves M{\'{e}}tivier}, title = {Unfoldings and coverings of weighted graphs}, journal = {CoRR}, volume = {abs/2212.07205}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.07205}, doi = {10.48550/ARXIV.2212.07205}, eprinttype = {arXiv}, eprint = {2212.07205}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-07205.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dmtcs/Courcelle21, author = {Bruno Courcelle}, title = {Induced betweenness in order-theoretic trees}, journal = {Discret. Math. Theor. Comput. Sci.}, volume = {23}, number = {2}, year = {2021}, url = {https://doi.org/10.46298/dmtcs.7288}, doi = {10.46298/DMTCS.7288}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dmtcs/Courcelle21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/Courcelle21, author = {Bruno Courcelle}, title = {Axiomatization of betweenness in order-theoretic trees}, journal = {Log. Methods Comput. Sci.}, volume = {17}, number = {1}, year = {2021}, url = {https://lmcs.episciences.org/7150}, timestamp = {Mon, 08 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/Courcelle21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-04083, author = {Bruno Courcelle}, title = {Order-theoretic trees: monadic second-order descriptions and regularity}, journal = {CoRR}, volume = {abs/2111.04083}, year = {2021}, url = {https://arxiv.org/abs/2111.04083}, eprinttype = {arXiv}, eprint = {2111.04083}, timestamp = {Wed, 10 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-04083.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-15357, author = {Bruno Courcelle}, title = {Induced betweenness in order-theoretic trees}, journal = {CoRR}, volume = {abs/2111.15357}, year = {2021}, url = {https://arxiv.org/abs/2111.15357}, eprinttype = {arXiv}, eprint = {2111.15357}, timestamp = {Thu, 02 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-15357.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/Courcelle20, author = {Bruno Courcelle}, title = {Grammars and clique-width bounds from split decompositions}, journal = {Discret. Appl. Math.}, volume = {278}, pages = {93--117}, year = {2020}, url = {https://doi.org/10.1016/j.dam.2019.07.001}, doi = {10.1016/J.DAM.2019.07.001}, timestamp = {Fri, 15 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dam/Courcelle20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/Courcelle20a, author = {Bruno Courcelle}, title = {On quasi-planar graphs: Clique-width and logical description}, journal = {Discret. Appl. Math.}, volume = {278}, pages = {118--135}, year = {2020}, url = {https://doi.org/10.1016/j.dam.2018.07.022}, doi = {10.1016/J.DAM.2018.07.022}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dam/Courcelle20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Courcelle20, author = {Bruno Courcelle}, title = {Betweenness of partial orders}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {54}, pages = {7}, year = {2020}, url = {https://doi.org/10.1051/ita/2020007}, doi = {10.1051/ITA/2020007}, timestamp = {Thu, 21 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Courcelle20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Courcelle20, author = {Bruno Courcelle}, editor = {Andreas Blass and Patrick C{\'{e}}gielski and Nachum Dershowitz and Manfred Droste and Bernd Finkbeiner}, title = {Betweenness in Order-Theoretic Trees}, booktitle = {Fields of Logic and Computation {III} - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday}, series = {Lecture Notes in Computer Science}, volume = {12180}, pages = {79--94}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-48006-6\_6}, doi = {10.1007/978-3-030-48006-6\_6}, timestamp = {Tue, 26 May 2020 11:23:56 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Courcelle20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-09777, author = {Bruno Courcelle}, title = {Betweenness of partial orders}, journal = {CoRR}, volume = {abs/2004.09777}, year = {2020}, url = {https://arxiv.org/abs/2004.09777}, eprinttype = {arXiv}, eprint = {2004.09777}, timestamp = {Tue, 28 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-09777.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-10127, author = {Bruno Courcelle}, title = {Axiomatization of betweenness in order-theoretic trees}, journal = {CoRR}, volume = {abs/2004.10127}, year = {2020}, url = {https://arxiv.org/abs/2004.10127}, eprinttype = {arXiv}, eprint = {2004.10127}, timestamp = {Tue, 28 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-10127.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2008-07468, author = {Bruno Courcelle and Ir{\`{e}}ne Durand and Michael Raskin}, title = {A unified algorithm for colouring graphs of bounded clique-width}, journal = {CoRR}, volume = {abs/2008.07468}, year = {2020}, url = {https://arxiv.org/abs/2008.07468}, eprinttype = {arXiv}, eprint = {2008.07468}, timestamp = {Fri, 21 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-07468.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/Courcelle18, author = {Bruno Courcelle}, title = {Fly-automata for checking {MSO2} graph properties}, journal = {Discret. Appl. Math.}, volume = {245}, pages = {236--252}, year = {2018}, url = {https://doi.org/10.1016/j.dam.2016.10.018}, doi = {10.1016/J.DAM.2016.10.018}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/Courcelle18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/Courcelle18a, author = {Bruno Courcelle}, title = {From tree-decompositions to clique-width terms}, journal = {Discret. Appl. Math.}, volume = {248}, pages = {125--144}, year = {2018}, url = {https://doi.org/10.1016/j.dam.2017.04.040}, doi = {10.1016/J.DAM.2017.04.040}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/Courcelle18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jct/Courcelle17, author = {Bruno Courcelle}, title = {Several notions of rank-width for countable graphs}, journal = {J. Comb. Theory {B}}, volume = {123}, pages = {186--214}, year = {2017}, url = {https://doi.org/10.1016/j.jctb.2016.12.002}, doi = {10.1016/J.JCTB.2016.12.002}, timestamp = {Fri, 07 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jct/Courcelle17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/Courcelle17, author = {Bruno Courcelle}, title = {Algebraic and logical descriptions of generalized trees}, journal = {Log. Methods Comput. Sci.}, volume = {13}, number = {3}, year = {2017}, url = {https://doi.org/10.23638/LMCS-13(3:7)2017}, doi = {10.23638/LMCS-13(3:7)2017}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/Courcelle17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CourcelleD16, author = {Bruno Courcelle and Ir{\`{e}}ne Durand}, title = {Computations by fly-automata beyond monadic second-order logic}, journal = {Theor. Comput. Sci.}, volume = {619}, pages = {32--67}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2015.12.026}, doi = {10.1016/J.TCS.2015.12.026}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CourcelleD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/algo/CourcelleD16, author = {Bruno Courcelle and Ir{\`{e}}ne Durand}, title = {Model Checking with Fly-Automata}, booktitle = {Encyclopedia of Algorithms}, pages = {1341--1346}, year = {2016}, url = {https://doi.org/10.1007/978-1-4939-2864-4\_692}, doi = {10.1007/978-1-4939-2864-4\_692}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/algo/CourcelleD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Courcelle16, author = {Bruno Courcelle}, title = {Algebraic and logical descriptions of generalized trees}, journal = {CoRR}, volume = {abs/1609.09675}, year = {2016}, url = {http://arxiv.org/abs/1609.09675}, eprinttype = {arXiv}, eprint = {1609.09675}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Courcelle16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/CourcelleHMPR15, author = {Bruno Courcelle and Pinar Heggernes and Daniel Meister and Charis Papadopoulos and Udi Rotics}, title = {A characterisation of clique-width through nested partitions}, journal = {Discret. Appl. Math.}, volume = {187}, pages = {70--81}, year = {2015}, url = {https://doi.org/10.1016/j.dam.2015.02.016}, doi = {10.1016/J.DAM.2015.02.016}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dam/CourcelleHMPR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/endm/Courcelle15, author = {Bruno Courcelle}, title = {Fly-automata for checking monadic second-order properties of graphs of bounded tree-width}, journal = {Electron. Notes Discret. Math.}, volume = {50}, pages = {3--8}, year = {2015}, url = {https://doi.org/10.1016/j.endm.2015.07.002}, doi = {10.1016/J.ENDM.2015.07.002}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/endm/Courcelle15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Courcelle15, author = {Bruno Courcelle}, editor = {Lev D. Beklemishev and Andreas Blass and Nachum Dershowitz and Bernd Finkbeiner and Wolfram Schulte}, title = {Regularity Equals Monadic Second-Order Definability for Quasi-trees}, booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9300}, pages = {129--141}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23534-9\_7}, doi = {10.1007/978-3-319-23534-9\_7}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Courcelle15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Courcelle15, author = {Bruno Courcelle}, title = {Fly-automata for checking {MSO} 2 graph properties}, journal = {CoRR}, volume = {abs/1511.08605}, year = {2015}, url = {http://arxiv.org/abs/1511.08605}, eprinttype = {arXiv}, eprint = {1511.08605}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Courcelle15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BlumensathC13, author = {Achim Blumensath and Bruno Courcelle}, title = {Monadic second-order definable graph orderings}, journal = {Log. Methods Comput. Sci.}, volume = {10}, number = {1}, year = {2014}, url = {https://doi.org/10.2168/LMCS-10(1:2)2014}, doi = {10.2168/LMCS-10(1:2)2014}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BlumensathC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Courcelle14, author = {Bruno Courcelle}, title = {Clique-width and edge contraction}, journal = {Inf. Process. Lett.}, volume = {114}, number = {1-2}, pages = {42--44}, year = {2014}, url = {https://doi.org/10.1016/j.ipl.2013.09.012}, doi = {10.1016/J.IPL.2013.09.012}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Courcelle14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CourcelleD14, author = {Bruno Courcelle and Ir{\`{e}}ne Durand}, title = {Fly-automata, model-checking and recognizability}, journal = {CoRR}, volume = {abs/1409.5368}, year = {2014}, url = {http://arxiv.org/abs/1409.5368}, eprinttype = {arXiv}, eprint = {1409.5368}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CourcelleD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cai/CourcelleD13, author = {Bruno Courcelle and Ir{\`{e}}ne Durand}, editor = {Traian Muntean and Dimitrios Poulakis and Robert Rolland}, title = {Model-Checking by Infinite Fly-Automata}, booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013, Porquerolles, France, September 3-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8080}, pages = {211--222}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40663-8\_20}, doi = {10.1007/978-3-642-40663-8\_20}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/cai/CourcelleD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/els/DurandC13, author = {Ir{\`{e}}ne Durand and Bruno Courcelle}, editor = {Christian Queinnec and Manuel Serrano}, title = {Infinite Transducers on Terms Denoting Graphs}, booktitle = {Proceedings of {ELS} 2013 - 6th European Lisp Symposium, Madrid, Spain, June 3-4, 2013}, pages = {47--58}, publisher = {{ELSAA}}, year = {2013}, url = {https://european-lisp-symposium.org/static/proceedings/2013.pdf\#page=53}, timestamp = {Thu, 14 Nov 2019 17:08:10 +0100}, biburl = {https://dblp.org/rec/conf/els/DurandC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1305-7120, author = {Bruno Courcelle and Ir{\`{e}}ne Durand}, title = {Computations by fly-automata beyond monadic second-order logic}, journal = {CoRR}, volume = {abs/1305.7120}, year = {2013}, url = {http://arxiv.org/abs/1305.7120}, eprinttype = {arXiv}, eprint = {1305.7120}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-7120.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Courcelle13, author = {Bruno Courcelle}, title = {Clique-width and edge contraction}, journal = {CoRR}, volume = {abs/1306.6168}, year = {2013}, url = {http://arxiv.org/abs/1306.6168}, eprinttype = {arXiv}, eprint = {1306.6168}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Courcelle13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0030804, author = {Bruno Courcelle and Joost Engelfriet}, title = {Graph Structure and Monadic Second-Order Logic - {A} Language-Theoretic Approach}, series = {Encyclopedia of mathematics and its applications}, volume = {138}, publisher = {Cambridge University Press}, year = {2012}, url = {http://www.cambridge.org/fr/knowledge/isbn/item5758776/?site\_locale=fr\_FR}, isbn = {978-0-521-89833-1}, timestamp = {Tue, 02 Apr 2013 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0030804.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/Courcelle12, author = {Bruno Courcelle}, title = {On the model-checking of monadic second-order formulas with edge set quantifications}, journal = {Discret. Appl. Math.}, volume = {160}, number = {6}, pages = {866--887}, year = {2012}, url = {https://doi.org/10.1016/j.dam.2010.12.017}, doi = {10.1016/J.DAM.2010.12.017}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/Courcelle12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/CourcelleE12, author = {Bruno Courcelle and Joost Engelfriet}, title = {Book: Graph Structure and Monadic Second-Order Logic. {A} Language-Theoretic Approach}, journal = {Bull. {EATCS}}, volume = {108}, pages = {179}, year = {2012}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/59}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/CourcelleE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/CourcelleD12, author = {Bruno Courcelle and Ir{\`{e}}ne Durand}, title = {Automata for the verification of monadic second-order graph properties}, journal = {J. Appl. Log.}, volume = {10}, number = {4}, pages = {368--409}, year = {2012}, url = {https://doi.org/10.1016/j.jal.2011.07.001}, doi = {10.1016/J.JAL.2011.07.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/CourcelleD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jco/CourcelleGK11, author = {Bruno Courcelle and Cyril Gavoille and Mamadou Moustapha Kant{\'{e}}}, title = {Compact labelings for efficient first-order model-checking}, journal = {J. Comb. Optim.}, volume = {21}, number = {1}, pages = {19--46}, year = {2011}, url = {https://doi.org/10.1007/s10878-009-9260-7}, doi = {10.1007/S10878-009-9260-7}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jco/CourcelleGK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Courcelle11, author = {Bruno Courcelle}, editor = {Giorgio Delzanno and Igor Potapov}, title = {Automata for Monadic Second-Order Model-Checking}, booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa, Italy, September 28-30, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6945}, pages = {26--27}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24288-5\_3}, doi = {10.1007/978-3-642-24288-5\_3}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rp/Courcelle11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wia/CourcelleD11, author = {Bruno Courcelle and Ir{\`{e}}ne Durand}, editor = {B{\'{e}}atrice Bouchou{-}Markhoff and Pascal Caron and Jean{-}Marc Champarnaud and Denis Maurel}, title = {Fly-Automata, Their Properties and Applications}, booktitle = {Implementation and Application of Automata - 16th International Conference, {CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6807}, pages = {264--272}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22256-6\_24}, doi = {10.1007/978-3-642-22256-6\_24}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/wia/CourcelleD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1004-4777, author = {Achim Blumensath and Bruno Courcelle}, title = {On the Monadic Second-Order Transduction Hierarchy}, journal = {Log. Methods Comput. Sci.}, volume = {6}, number = {2}, year = {2010}, url = {https://doi.org/10.2168/LMCS-6(2:2)2010}, doi = {10.2168/LMCS-6(2:2)2010}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1004-4777.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/CourcelleT10, author = {Bruno Courcelle and Andrew Twigg}, title = {Constrained-Path Labellings on Graphs of Bounded Clique-Width}, journal = {Theory Comput. Syst.}, volume = {47}, number = {2}, pages = {531--567}, year = {2010}, url = {https://doi.org/10.1007/s00224-009-9211-9}, doi = {10.1007/S00224-009-9211-9}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/CourcelleT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/els/CourcelleD10, author = {Bruno Courcelle and Ir{\`{e}}ne Durand}, editor = {Christophe Rhodes}, title = {Verifying Monadic Second Order Graph Properties with Tree Automata}, booktitle = {Proceedings of the 3rd European Lisp Symposium {(ELS} 2010), Lisbon, Portugal, May 6-7, 2010}, pages = {7--21}, publisher = {{ELSAA}}, year = {2010}, url = {https://european-lisp-symposium.org/static/proceedings/2010.pdf\#section*.16}, timestamp = {Thu, 14 Nov 2019 17:08:11 +0100}, biburl = {https://dblp.org/rec/conf/els/CourcelleD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Courcelle10, author = {Bruno Courcelle}, editor = {Kamal Lodaya and Meena Mahajan}, title = {Special tree-width and the verification of monadic second-order graph pr operties}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India}, series = {LIPIcs}, volume = {8}, pages = {13--29}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2010}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.13}, doi = {10.4230/LIPICS.FSTTCS.2010.13}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Courcelle10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/CourcelleK09, author = {Bruno Courcelle and Mamadou Moustapha Kant{\'{e}}}, title = {Graph operations characterizing rank-width}, journal = {Discret. Appl. Math.}, volume = {157}, number = {4}, pages = {627--640}, year = {2009}, url = {https://doi.org/10.1016/j.dam.2008.08.026}, doi = {10.1016/J.DAM.2008.08.026}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/CourcelleK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/Courcelle09, author = {Bruno Courcelle}, title = {Linear delay enumeration and monadic second-order logic}, journal = {Discret. Appl. Math.}, volume = {157}, number = {12}, pages = {2675--2700}, year = {2009}, url = {https://doi.org/10.1016/j.dam.2008.08.021}, doi = {10.1016/J.DAM.2008.08.021}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/Courcelle09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cai/Courcelle09, author = {Bruno Courcelle}, editor = {Symeon Bozapalidis and George Rahonis}, title = {On Several Proofs of the Recognizability Theorem}, booktitle = {Algebraic Informatics, Third International Conference, {CAI} 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5725}, pages = {78--80}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03564-7\_4}, doi = {10.1007/978-3-642-03564-7\_4}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/cai/Courcelle09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/Courcelle09, author = {Bruno Courcelle}, editor = {Adrian{-}Horia Dediu and Armand{-}Mihai Ionescu and Carlos Mart{\'{\i}}n{-}Vide}, title = {Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications}, booktitle = {Language and Automata Theory and Applications, Third International Conference, {LATA} 2009, Tarragona, Spain, April 2-8, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5457}, pages = {19--22}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00982-2\_2}, doi = {10.1007/978-3-642-00982-2\_2}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lata/Courcelle09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/combinatorics/Courcelle08, author = {Bruno Courcelle}, title = {A Multivariate Interlace Polynomial and its Computation for Graphs of Bounded Clique-Width}, journal = {Electron. J. Comb.}, volume = {15}, number = {1}, year = {2008}, url = {http://www.combinatorics.org/Volume\_15/Abstracts/v15i1r69.html}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/combinatorics/Courcelle08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/endm/CourcelleGKT08, author = {Bruno Courcelle and Cyril Gavoille and Mamadou Moustapha Kant{\'{e}} and Andrew Twigg}, title = {Connectivity check in 3-connected planar graphs with obstacles}, journal = {Electron. Notes Discret. Math.}, volume = {31}, pages = {151--155}, year = {2008}, url = {https://doi.org/10.1016/j.endm.2008.06.030}, doi = {10.1016/J.ENDM.2008.06.030}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/endm/CourcelleGKT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Courcelle08, author = {Bruno Courcelle}, title = {Circle graphs and monadic second-order logic}, journal = {J. Appl. Log.}, volume = {6}, number = {3}, pages = {416--442}, year = {2008}, url = {https://doi.org/10.1016/j.jal.2007.05.001}, doi = {10.1016/J.JAL.2007.05.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Courcelle08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CourcelleD08, author = {Bruno Courcelle and Christian Delhomm{\'{e}}}, title = {The modular decomposition of countable graphs. Definition and construction in monadic second-order logic}, journal = {Theor. Comput. Sci.}, volume = {394}, number = {1-2}, pages = {1--38}, year = {2008}, url = {https://doi.org/10.1016/j.tcs.2007.10.046}, doi = {10.1016/J.TCS.2007.10.046}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CourcelleD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Courcelle08, author = {Bruno Courcelle}, editor = {J{\"{o}}rg Flum and Erich Gr{\"{a}}del and Thomas Wilke}, title = {Quantifier-free definable graph operations preserving recognizability}, booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]}, series = {Texts in Logic and Games}, volume = {2}, pages = {251--260}, publisher = {Amsterdam University Press}, year = {2008}, timestamp = {Wed, 15 Dec 2010 22:14:40 +0100}, biburl = {https://dblp.org/rec/conf/birthday/Courcelle08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/faw/CourcelleGK08, author = {Bruno Courcelle and Cyril Gavoille and Mamadou Moustapha Kant{\'{e}}}, editor = {Franco P. Preparata and Xiaodong Wu and Jianping Yin}, title = {Efficient First-Order Model-Checking Using Short Labels}, booktitle = {Frontiers in Algorithmics, Second Annual International Workshop, {FAW} 2008, Changsha, China, June 19-21, 2008, Proceeedings}, series = {Lecture Notes in Computer Science}, volume = {5059}, pages = {159--170}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69311-6\_18}, doi = {10.1007/978-3-540-69311-6\_18}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/faw/CourcelleGK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Courcelle08, author = {Bruno Courcelle}, editor = {Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'{u}}s M. Halld{\'{o}}rsson and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Igor Walukiewicz}, title = {Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects}, booktitle = {Automata, Languages and Programming, 35th International Colloquium, {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part {I:} Tack {A:} Algorithms, Automata, Complexity, and Games}, series = {Lecture Notes in Computer Science}, volume = {5125}, pages = {1--13}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70575-8\_1}, doi = {10.1007/978-3-540-70575-8\_1}, timestamp = {Fri, 27 Mar 2020 09:02:59 +0100}, biburl = {https://dblp.org/rec/conf/icalp/Courcelle08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0811-4713, author = {Bruno Courcelle and Cyril Gavoille and Mamadou Moustapha Kant{\'{e}}}, title = {Compact Labelings For Efficient First-Order Model-Checking}, journal = {CoRR}, volume = {abs/0811.4713}, year = {2008}, url = {http://arxiv.org/abs/0811.4713}, eprinttype = {arXiv}, eprint = {0811.4713}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0811-4713.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jct/CourcelleO07, author = {Bruno Courcelle and Sang{-}il Oum}, title = {Vertex-minors, monadic second-order logic, and a conjecture by Seese}, journal = {J. Comb. Theory {B}}, volume = {97}, number = {1}, pages = {91--126}, year = {2007}, url = {https://doi.org/10.1016/j.jctb.2006.04.003}, doi = {10.1016/J.JCTB.2006.04.003}, timestamp = {Fri, 07 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jct/CourcelleO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/CourcelleT07, author = {Bruno Courcelle and Andrew Twigg}, editor = {Wolfgang Thomas and Pascal Weil}, title = {Compact Forbidden-Set Routing}, booktitle = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4393}, pages = {37--48}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-70918-3\_4}, doi = {10.1007/978-3-540-70918-3\_4}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/CourcelleT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/CourcelleK07, author = {Bruno Courcelle and Mamadou Moustapha Kant{\'{e}}}, editor = {Andreas Brandst{\"{a}}dt and Dieter Kratsch and Haiko M{\"{u}}ller}, title = {Graph Operations Characterizing Rank-Width and Balanced Graph Expressions}, booktitle = {Graph-Theoretic Concepts in Computer Science, 33rd International Workshop, {WG} 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {4769}, pages = {66--75}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74839-7\_7}, doi = {10.1007/978-3-540-74839-7\_7}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wg/CourcelleK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0702016, author = {Bruno Courcelle}, title = {A multivariate interlace polynomial}, journal = {CoRR}, volume = {abs/cs/0702016}, year = {2007}, url = {http://arxiv.org/abs/cs/0702016}, eprinttype = {arXiv}, eprint = {cs/0702016}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0702016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BlumensathC06, author = {Achim Blumensath and Bruno Courcelle}, title = {Recognizability, hypergraph operations, and logical types}, journal = {Inf. Comput.}, volume = {204}, number = {6}, pages = {853--919}, year = {2006}, url = {https://doi.org/10.1016/j.ic.2005.11.006}, doi = {10.1016/J.IC.2005.11.006}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BlumensathC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Courcelle06, author = {Bruno Courcelle}, title = {The monadic second-order logic of graphs {XV:} On a conjecture by D. Seese}, journal = {J. Appl. Log.}, volume = {4}, number = {1}, pages = {79--114}, year = {2006}, url = {https://doi.org/10.1016/j.jal.2005.08.004}, doi = {10.1016/J.JAL.2005.08.004}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Courcelle06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/Courcelle06, author = {Bruno Courcelle}, title = {The monadic second-order logic of graphs {XVI} : Canonical graph decompositions}, journal = {Log. Methods Comput. Sci.}, volume = {2}, number = {2}, year = {2006}, url = {https://doi.org/10.2168/LMCS-2(2:2)2006}, doi = {10.2168/LMCS-2(2:2)2006}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/Courcelle06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0609109, author = {Bruno Courcelle and Pascal Weil}, title = {The recognizability of sets of graphs is a robust property}, journal = {CoRR}, volume = {abs/cs/0609109}, year = {2006}, url = {http://arxiv.org/abs/cs/0609109}, eprinttype = {arXiv}, eprint = {cs/0609109}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609109.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/endm/Courcelle05, author = {Bruno Courcelle}, title = {Graph decompositions definable in monadic second-order logic}, journal = {Electron. Notes Discret. Math.}, volume = {22}, pages = {13--19}, year = {2005}, url = {https://doi.org/10.1016/j.endm.2005.06.003}, doi = {10.1016/J.ENDM.2005.06.003}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/endm/Courcelle05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CourcelleW05, author = {Bruno Courcelle and Pascal Weil}, title = {The recognizability of sets of graphs is a robust property}, journal = {Theor. Comput. Sci.}, volume = {342}, number = {2-3}, pages = {173--228}, year = {2005}, url = {https://doi.org/10.1016/j.tcs.2005.03.018}, doi = {10.1016/J.TCS.2005.03.018}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CourcelleW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/CourcelleD05, author = {Bruno Courcelle and Christian Delhomm{\'{e}}}, editor = {C.{-}H. Luke Ong}, title = {The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic}, booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3634}, pages = {325--338}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11538363\_23}, doi = {10.1007/11538363\_23}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/CourcelleD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0510066, author = {Bruno Courcelle}, title = {The monadic second-order logic of graphs {XVI} : Canonical graph decompositions}, journal = {CoRR}, volume = {abs/cs/0510066}, year = {2005}, url = {http://arxiv.org/abs/cs/0510066}, eprinttype = {arXiv}, eprint = {cs/0510066}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0510066.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dm/Courcelle04, author = {Bruno Courcelle}, title = {Clique-width of countable graphs: a compactness property}, journal = {Discret. Math.}, volume = {276}, number = {1-3}, pages = {127--148}, year = {2004}, url = {https://doi.org/10.1016/S0012-365X(03)00303-0}, doi = {10.1016/S0012-365X(03)00303-0}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dm/Courcelle04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/Courcelle04, author = {Bruno Courcelle}, editor = {Cristian Calude and Elena Calude and Michael J. Dinneen}, title = {Recognizable Sets of Graphs, Hypergraphs and Relational Structures: {A} Survey}, booktitle = {Developments in Language Theory, 8th International Conference, {DLT} 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3340}, pages = {1--11}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30550-7\_1}, doi = {10.1007/978-3-540-30550-7\_1}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/dlt/Courcelle04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/CourcelleJ04, author = {Bruno Courcelle and David Janin}, editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi{-}Presicce and Grzegorz Rozenberg}, title = {Workshop on Logic, Graph Transformations, Finite and Infinite Structures}, booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3256}, pages = {448--450}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30203-2\_36}, doi = {10.1007/978-3-540-30203-2\_36}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/CourcelleJ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/CourcelleV03, author = {Bruno Courcelle and R. Vanicat}, title = {Query efficient implementation of graphs of bounded clique-width}, journal = {Discret. Appl. Math.}, volume = {131}, number = {1}, pages = {129--150}, year = {2003}, url = {https://doi.org/10.1016/S0166-218X(02)00421-3}, doi = {10.1016/S0166-218X(02)00421-3}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/CourcelleV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle03, author = {Bruno Courcelle}, title = {The monadic second-order logic of graphs {XIV:} uniformly sparse graphs and edge set quantifications}, journal = {Theor. Comput. Sci.}, volume = {299}, number = {1-3}, pages = {1--36}, year = {2003}, url = {https://doi.org/10.1016/S0304-3975(02)00578-9}, doi = {10.1016/S0304-3975(02)00578-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/combinatorics/CourcelleD02, author = {Bruno Courcelle and V. Dussaux}, title = {Map Genus, Forbidden Maps, and Monadic Second-Order Logic}, journal = {Electron. J. Comb.}, volume = {9}, number = {1}, year = {2002}, url = {https://doi.org/10.37236/1656}, doi = {10.37236/1656}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/combinatorics/CourcelleD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Courcelle02, author = {Bruno Courcelle}, title = {A Monadic Second-Order Definition of the Structure of Convex Hypergraphs}, journal = {Inf. Comput.}, volume = {178}, number = {2}, pages = {391--411}, year = {2002}, url = {https://doi.org/10.1006/inco.2002.3130}, doi = {10.1006/INCO.2002.3130}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Courcelle02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CourcelleM02, author = {Bruno Courcelle and Johann A. Makowsky}, title = {Fusion in Relational Structures and the Verification of Monadic Second-Order Properties}, journal = {Math. Struct. Comput. Sci.}, volume = {12}, number = {2}, pages = {203--235}, year = {2002}, url = {https://doi.org/10.1017/S0960129501003565}, doi = {10.1017/S0960129501003565}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/CourcelleM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CourcelleK02, author = {Bruno Courcelle and Teodor Knapik}, title = {The evaluation of first-order substitution is monadic second-order compatible}, journal = {Theor. Comput. Sci.}, volume = {281}, number = {1-2}, pages = {177--206}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(02)00012-9}, doi = {10.1016/S0304-3975(02)00012-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CourcelleK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Courcelle02, author = {Bruno Courcelle}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations}, booktitle = {Foundations of Software Science and Computation Structures, 5th International Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {1--4}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_1}, doi = {10.1007/3-540-45931-6\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Courcelle02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/CourcelleW02, author = {Bruno Courcelle and Pascal Weil}, editor = {Andrea Corradini and Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Workshop on Logic, Graph Transformations and Discrete Structures}, booktitle = {Graph Transformation, First International Conference, {ICGT} 2002, Barcelona, Spain, October 7-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2505}, pages = {455--458}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45832-8\_36}, doi = {10.1007/3-540-45832-8\_36}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/gg/CourcelleW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/CourcelleMR01, author = {Bruno Courcelle and Johann A. Makowsky and Udi Rotics}, title = {On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic}, journal = {Discret. Appl. Math.}, volume = {108}, number = {1-2}, pages = {23--52}, year = {2001}, url = {https://doi.org/10.1016/S0166-218X(00)00221-3}, doi = {10.1016/S0166-218X(00)00221-3}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/CourcelleMR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Courcelle01, author = {Bruno Courcelle}, editor = {Michel Bauderon and Andrea Corradini}, title = {Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey}, booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {51}, pages = {122--126}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80196-8}, doi = {10.1016/S1571-0661(04)80196-8}, timestamp = {Wed, 30 Nov 2022 11:42:16 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Courcelle01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/CourcelleO00, author = {Bruno Courcelle and Stephan Olariu}, title = {Upper bounds to the clique width of graphs}, journal = {Discret. Appl. Math.}, volume = {101}, number = {1-3}, pages = {77--114}, year = {2000}, url = {https://doi.org/10.1016/S0166-218X(99)00184-5}, doi = {10.1016/S0166-218X(99)00184-5}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/CourcelleO00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/endm/Courcelle00, author = {Bruno Courcelle}, title = {Clique-width of countable graphs: a compactness property}, journal = {Electron. Notes Discret. Math.}, volume = {5}, pages = {75--76}, year = {2000}, url = {https://doi.org/10.1016/S1571-0653(05)80129-5}, doi = {10.1016/S1571-0653(05)80129-5}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/endm/Courcelle00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/CourcelleMR00, author = {Bruno Courcelle and Johann A. Makowsky and Udi Rotics}, title = {Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width}, journal = {Theory Comput. Syst.}, volume = {33}, number = {2}, pages = {125--150}, year = {2000}, url = {https://doi.org/10.1007/s002249910009}, doi = {10.1007/S002249910009}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mst/CourcelleMR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle00, author = {Bruno Courcelle}, title = {The monadic second-order logic of graphs {XII:} planar graphs and planar maps}, journal = {Theor. Comput. Sci.}, volume = {237}, number = {1-2}, pages = {1--32}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(99)00305-9}, doi = {10.1016/S0304-3975(99)00305-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle00a, author = {Bruno Courcelle}, title = {The monadic second-order logic of graphs {XIII:} Graph drawings with edge crossings}, journal = {Theor. Comput. Sci.}, volume = {244}, number = {1-2}, pages = {63--94}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(00)00180-8}, doi = {10.1016/S0304-3975(00)00180-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Courcelle00, author = {Bruno Courcelle}, editor = {Michel Parigot and Andrei Voronkov}, title = {Graph Operations and Monadic Second-Order Logic: {A} Survey}, booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference, {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1955}, pages = {20--24}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44404-1\_2}, doi = {10.1007/3-540-44404-1\_2}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Courcelle00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle99, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {XI:} Hierarchical Decompositions of Connected Graphs}, journal = {Theor. Comput. Sci.}, volume = {224}, number = {1-2}, pages = {35--58}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(98)00306-5}, doi = {10.1016/S0304-3975(98)00306-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Courcelle99, author = {Bruno Courcelle}, editor = {Paliath Narendran and Micha{\"{e}}l Rusinowitch}, title = {Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas}, booktitle = {Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1631}, pages = {90--91}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48685-2\_7}, doi = {10.1007/3-540-48685-2\_7}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Courcelle99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/CourcelleW98, author = {Bruno Courcelle and Igor Walukiewicz}, title = {Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems}, journal = {Ann. Pure Appl. Log.}, volume = {92}, number = {1}, pages = {35--62}, year = {1998}, url = {https://doi.org/10.1016/S0168-0072(97)00048-1}, doi = {10.1016/S0168-0072(97)00048-1}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/CourcelleW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dm/CourcelleS98, author = {Bruno Courcelle and G{\'{e}}raud S{\'{e}}nizergues}, title = {The obstructions of a minor-closed set of graphs defined by a context-free grammar}, journal = {Discret. Math.}, volume = {182}, number = {1-3}, pages = {29--51}, year = {1998}, url = {https://doi.org/10.1016/S0012-365X(97)83079-8}, doi = {10.1016/S0012-365X(97)83079-8}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dm/CourcelleS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/CourcelleL98, author = {Bruno Courcelle and Denis Lapoire}, editor = {Lubos Brim and Jozef Gruska and Jir{\'{\i}} Zlatuska}, title = {Facial Circuits of Planar Graphs and Context-Free Languages}, booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1450}, pages = {616--624}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055812}, doi = {10.1007/BFB0055812}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/CourcelleL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/CourcelleMR98, author = {Bruno Courcelle and Johann A. Makowsky and Udi Rotics}, editor = {Juraj Hromkovic and Ondrej S{\'{y}}kora}, title = {Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width}, booktitle = {Graph-Theoretic Concepts in Computer Science, 24th International Workshop, {WG} '98, Smolenice Castle, Slovak Republic, June 18-20, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1517}, pages = {1--16}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10692760\_1}, doi = {10.1007/10692760\_1}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wg/CourcelleMR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/CourcelleDF97, author = {Bruno Courcelle and Rodney G. Downey and Michael R. Fellows}, title = {A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals}, journal = {J. Univers. Comput. Sci.}, volume = {3}, number = {11}, pages = {1194--1198}, year = {1997}, url = {https://doi.org/10.3217/jucs-003-11-1194}, doi = {10.3217/JUCS-003-11-1194}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/CourcelleDF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/Courcelle97, author = {Bruno Courcelle}, editor = {Sergei I. Adian and Anil Nerode}, title = {Finite Model Theory, Universal Algebra and Graph Grammars}, booktitle = {Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1234}, pages = {53--55}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63045-7\_6}, doi = {10.1007/3-540-63045-7\_6}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/Courcelle97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/gg/Courcelle97, author = {Bruno Courcelle}, editor = {Grzegorz Rozenberg}, title = {The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, pages = {313--400}, publisher = {World Scientific}, year = {1997}, timestamp = {Thu, 08 Jun 2017 18:28:27 +0200}, biburl = {https://dblp.org/rec/conf/gg/Courcelle97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CourcelleL96, author = {Bruno Courcelle and Jens Lagergren}, title = {Equivalent Definitions of Recognizability for Sets of Graphs of Bounded Tree-Width}, journal = {Math. Struct. Comput. Sci.}, volume = {6}, number = {2}, pages = {141--165}, year = {1996}, url = {https://doi.org/10.1017/S096012950000092X}, doi = {10.1017/S096012950000092X}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/CourcelleL96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle96, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {X:} Linear Orderings}, journal = {Theor. Comput. Sci.}, volume = {160}, number = {1{\&}2}, pages = {87--143}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00083-6}, doi = {10.1016/0304-3975(95)00083-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle96a, author = {Bruno Courcelle}, title = {Basic Notions of Universal Algebra for Language Theory and Graph Grammars}, journal = {Theor. Comput. Sci.}, volume = {163}, number = {1{\&}2}, pages = {1--54}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00145-X}, doi = {10.1016/0304-3975(95)00145-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dimacs/Courcelle96, author = {Bruno Courcelle}, editor = {Neil Immerman and Phokion G. Kolaitis}, title = {On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic}, booktitle = {Descriptive Complexity and Finite Models, Proceedings of a {DIMACS} Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {31}, pages = {33--62}, publisher = {{DIMACS/AMS}}, year = {1996}, url = {https://doi.org/10.1090/dimacs/031/02}, doi = {10.1090/DIMACS/031/02}, timestamp = {Mon, 22 May 2023 16:07:35 +0200}, biburl = {https://dblp.org/rec/conf/dimacs/Courcelle96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Courcelle95, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {VIII:} Orientations}, journal = {Ann. Pure Appl. Log.}, volume = {72}, number = {2}, pages = {103--143}, year = {1995}, url = {https://doi.org/10.1016/0168-0072(95)94698-V}, doi = {10.1016/0168-0072(95)94698-V}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Courcelle95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/Courcelle95, author = {Bruno Courcelle}, title = {The Monadic Second-order Logic of Graphs {VI:} On Several Representations of Graphs by Relational Structures}, journal = {Discret. Appl. Math.}, volume = {63}, number = {2}, pages = {199--200}, year = {1995}, url = {https://doi.org/10.1016/0166-218X(95)00006-D}, doi = {10.1016/0166-218X(95)00006-D}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/Courcelle95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Courcelle95, author = {Bruno Courcelle}, title = {Structural Properties of Context-Free Sets of Graphs Generated by Vertex Replacement}, journal = {Inf. Comput.}, volume = {116}, number = {2}, pages = {275--293}, year = {1995}, url = {https://doi.org/10.1006/inco.1995.1020}, doi = {10.1006/INCO.1995.1020}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Courcelle95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/CourcelleP95, author = {Bruno Courcelle and A. Pari{\`{e}}s}, title = {Mineurs d'arbres avec racines}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {29}, number = {5}, pages = {401--422}, year = {1995}, url = {https://doi.org/10.1051/ita/1995290504011}, doi = {10.1051/ITA/1995290504011}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/CourcelleP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/CourcelleE95, author = {Bruno Courcelle and Joost Engelfriet}, title = {A Logical Characterization of the Sets of Hypergraphs Defined by Hyperedge Replacement Grammars}, journal = {Math. Syst. Theory}, volume = {28}, number = {6}, pages = {515--552}, year = {1995}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/CourcelleE95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle95, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {IX:} Machines and their Behaviours}, journal = {Theor. Comput. Sci.}, volume = {151}, number = {1}, pages = {125--162}, year = {1995}, url = {https://doi.org/10.1016/0304-3975(95)00049-3}, doi = {10.1016/0304-3975(95)00049-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Courcelle95, author = {Bruno Courcelle}, editor = {Andrea Corradini and Ugo Montanari}, title = {Logic and graphs}, booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation, {SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995}, series = {Electronic Notes in Theoretical Computer Science}, volume = {2}, pages = {71--72}, publisher = {Elsevier}, year = {1995}, url = {https://doi.org/10.1016/S1571-0661(05)80182-3}, doi = {10.1016/S1571-0661(05)80182-3}, timestamp = {Fri, 11 Nov 2022 13:14:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Courcelle95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/Courcelle94, author = {Bruno Courcelle}, title = {The Monadic Second order Logic of Graphs {VI:} on Several Representations of Graphs By Relational Structures}, journal = {Discret. Appl. Math.}, volume = {54}, number = {2-3}, pages = {117--149}, year = {1994}, url = {https://doi.org/10.1016/0166-218X(94)90019-1}, doi = {10.1016/0166-218X(94)90019-1}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/Courcelle94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ejc/CourcelleM94, author = {Bruno Courcelle and Yves M{\'{e}}tivier}, title = {Coverings and Minors: Application to Local Computations in Graphs}, journal = {Eur. J. Comb.}, volume = {15}, number = {2}, pages = {127--138}, year = {1994}, url = {https://doi.org/10.1006/eujc.1994.1015}, doi = {10.1006/EUJC.1994.1015}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejc/CourcelleM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Courcelle94, author = {Bruno Courcelle}, title = {Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties}, journal = {Math. Struct. Comput. Sci.}, volume = {4}, number = {1}, pages = {1--32}, year = {1994}, url = {https://doi.org/10.1017/S0960129500000359}, doi = {10.1017/S0960129500000359}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Courcelle94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle94, author = {Bruno Courcelle}, title = {Monadic Second-Order Definable Graph Transductions: {A} Survey}, journal = {Theor. Comput. Sci.}, volume = {126}, number = {1}, pages = {53--75}, year = {1994}, url = {https://doi.org/10.1016/0304-3975(94)90268-2}, doi = {10.1016/0304-3975(94)90268-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Courcelle94, author = {Bruno Courcelle}, editor = {Leszek Pacholski and Jerzy Tiuryn}, title = {Monadic Second-Order Logic and Linear Orderings of Finite Structures}, booktitle = {Computer Science Logic, 8th International Workshop, {CSL} '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {933}, pages = {163--176}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0022254}, doi = {10.1007/BFB0022254}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/Courcelle94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/CourcelleS94, author = {Bruno Courcelle and G{\'{e}}raud S{\'{e}}nizergues}, editor = {Janice E. Cuny and Hartmut Ehrig and Gregor Engels and Grzegorz Rozenberg}, title = {The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed}, booktitle = {Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {351--367}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-61228-9\_98}, doi = {10.1007/3-540-61228-9\_98}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/tagt/CourcelleS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/Courcelle94, author = {Bruno Courcelle}, editor = {Janice E. Cuny and Hartmut Ehrig and Gregor Engels and Grzegorz Rozenberg}, title = {The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs}, booktitle = {Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {487--501}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-61228-9\_107}, doi = {10.1007/3-540-61228-9\_107}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tagt/Courcelle94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Courcelle93, author = {Bruno Courcelle}, title = {Graphs and Monadic Second-Order Logic: Some Open Problems}, journal = {Bull. {EATCS}}, volume = {49}, pages = {110--124}, year = {1993}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Courcelle93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/ArnborgCPS93, author = {Stefan Arnborg and Bruno Courcelle and Andrzej Proskurowski and Detlef Seese}, title = {An Algebraic Theory of Graph Reduction}, journal = {J. {ACM}}, volume = {40}, number = {5}, pages = {1134--1164}, year = {1993}, url = {https://doi.org/10.1145/174147.169807}, doi = {10.1145/174147.169807}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/ArnborgCPS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/CourcelleER93, author = {Bruno Courcelle and Joost Engelfriet and Grzegorz Rozenberg}, title = {Handle-Rewriting Hypergraph Grammars}, journal = {J. Comput. Syst. Sci.}, volume = {46}, number = {2}, pages = {218--270}, year = {1993}, url = {https://doi.org/10.1016/0022-0000(93)90004-G}, doi = {10.1016/0022-0000(93)90004-G}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/CourcelleER93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CourcelleM93, author = {Bruno Courcelle and Mohamed Mosbah}, title = {Monadic Second-Order Evaluations on Tree-Decomposable Graphs}, journal = {Theor. Comput. Sci.}, volume = {109}, number = {1{\&}2}, pages = {49--82}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90064-Z}, doi = {10.1016/0304-3975(93)90064-Z}, timestamp = {Tue, 11 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/CourcelleM93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/Courcelle93, author = {Bruno Courcelle}, editor = {Hubert Comon and Jean{-}Pierre Jouannaud}, title = {Graph Rewriting: {A} Bibliographical Guide}, booktitle = {Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course}, series = {Lecture Notes in Computer Science}, volume = {909}, pages = {74}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-59340-3\_6}, doi = {10.1007/3-540-59340-3\_6}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/Courcelle93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/CourcelleL93, author = {Bruno Courcelle and Jens Lagergren}, editor = {Hans J{\"{u}}rgen Schneider and Hartmut Ehrig}, title = {Recognizable Sets of Graphs of Bounded Tree-Width}, booktitle = {Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {138--152}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57787-4\_9}, doi = {10.1007/3-540-57787-4\_9}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/CourcelleL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Courcelle93, author = {Bruno Courcelle}, editor = {Zolt{\'{a}}n {\'{E}}sik}, title = {Context-Free Graph Grammars: Separating Vertex Replacement from Hyperedge Replacement}, booktitle = {Fundamentals of Computation Theory, 9th International Symposium, {FCT} '93, Szeged, Hungary, August 23-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {710}, pages = {181--193}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57163-9\_14}, doi = {10.1007/3-540-57163-9\_14}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/Courcelle93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Courcelle93, author = {Bruno Courcelle}, title = {Monadic Second-Order Logic and Hypergraph Orientation}, booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science {(LICS} '93), Montreal, Canada, June 19-23, 1993}, pages = {179--190}, publisher = {{IEEE} Computer Society}, year = {1993}, url = {https://doi.org/10.1109/LICS.1993.287589}, doi = {10.1109/LICS.1993.287589}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Courcelle93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Courcelle92, author = {Bruno Courcelle}, title = {The monadic second-order logic of graphs {III:} tree-decompositions, minor and complexity issues}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {26}, pages = {257--286}, year = {1992}, url = {https://doi.org/10.1051/ita/1992260302571}, doi = {10.1051/ITA/1992260302571}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Courcelle92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle92, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {VII:} Graphs as Relational Structures}, journal = {Theor. Comput. Sci.}, volume = {101}, number = {1}, pages = {3--33}, year = {1992}, url = {https://doi.org/10.1016/0304-3975(92)90148-9}, doi = {10.1016/0304-3975(92)90148-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/Courcelle92, author = {Bruno Courcelle}, editor = {Jean{-}Claude Raoult}, title = {Monadic Second-Order Graph Transductions}, booktitle = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {581}, pages = {124--144}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55251-0\_7}, doi = {10.1007/3-540-55251-0\_7}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/caap/Courcelle92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/treeauto1992/Courcelle92, author = {Bruno Courcelle}, editor = {Maurice Nivat and Andreas Podelski}, title = {Recognizable sets of unrooted trees}, booktitle = {Tree Automata and Languages}, pages = {141--158}, publisher = {North-Holland}, year = {1992}, timestamp = {Mon, 05 Aug 2019 12:47:51 +0200}, biburl = {https://dblp.org/rec/books/el/treeauto1992/Courcelle92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Courcelle91, author = {Bruno Courcelle}, title = {On Constructing Obstruction Sets of Words}, journal = {Bull. {EATCS}}, volume = {44}, pages = {178--186}, year = {1991}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Courcelle91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/CourcelleNP91, author = {Bruno Courcelle and Damian Niwinski and Andreas Podelski}, title = {A Geometrical View of the Determinization and Minimization of Finite-State Automata}, journal = {Math. Syst. Theory}, volume = {24}, number = {2}, pages = {117--146}, year = {1991}, url = {https://doi.org/10.1007/BF02090394}, doi = {10.1007/BF02090394}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/CourcelleNP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle91, author = {Bruno Courcelle}, title = {Recursive Queries and Context-free Graph Grammars}, journal = {Theor. Comput. Sci.}, volume = {78}, number = {1}, pages = {217--244}, year = {1991}, url = {https://doi.org/10.1016/0304-3975(51)90009-6}, doi = {10.1016/0304-3975(51)90009-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle91a, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {V:} On Closing the Gap Between Definability and Recognizability}, journal = {Theor. Comput. Sci.}, volume = {80}, number = {2}, pages = {153--202}, year = {1991}, url = {https://doi.org/10.1016/0304-3975(91)90387-H}, doi = {10.1016/0304-3975(91)90387-H}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle91a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gst/Courcelle91, author = {Bruno Courcelle}, editor = {Neil Robertson and Paul D. Seymour}, title = {Graph grammars, monadic second-order logic and the theory of graph minors}, booktitle = {Graph Structure Theory, Proceedings of a {AMS-IMS-SIAM} Joint Summer Research Conference on Graph Minors held June 22 to July 5, 1991, at the University of Washington, Seattle, {USA}}, series = {Contemporary Mathematics}, volume = {147}, pages = {565--590}, publisher = {American Mathematical Society}, year = {1991}, timestamp = {Fri, 27 Aug 2021 14:49:51 +0200}, biburl = {https://dblp.org/rec/conf/gst/Courcelle91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/CourcelleM91, author = {Bruno Courcelle and Mohamed Mosbah}, editor = {Gunther Schmidt and Rudolf Berghammer}, title = {Monadic Second-Order Evaluations on Tree-Decomposable Graphs}, booktitle = {17th International Workshop, {WG} '91, Fischbachau, Germany, June 17-19, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {570}, pages = {13--24}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-55121-2\_2}, doi = {10.1007/3-540-55121-2\_2}, timestamp = {Tue, 11 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wg/CourcelleM91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Courcelle90, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {IV:} Definability Properties of Equational Graphs}, journal = {Ann. Pure Appl. Log.}, volume = {49}, number = {3}, pages = {193--255}, year = {1990}, url = {https://doi.org/10.1016/0168-0072(90)90027-Y}, doi = {10.1016/0168-0072(90)90027-Y}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Courcelle90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Courcelle90, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs}, journal = {Inf. Comput.}, volume = {85}, number = {1}, pages = {12--75}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90043-H}, doi = {10.1016/0890-5401(90)90043-H}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Courcelle90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Courcelle90, author = {Bruno Courcelle}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {The Logical Exprssion of Graph Properties (Abstract)}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {38--40}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017376}, doi = {10.1007/BFB0017376}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/gg/Courcelle90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/ArnborgCPS90, author = {Stefan Arnborg and Bruno Courcelle and Andrzej Proskurowski and Detlef Seese}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {An Algebraic Theory of Graph Reduction}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {70--83}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017382}, doi = {10.1007/BFB0017382}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/ArnborgCPS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Courcelle90a, author = {Bruno Courcelle}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Graphs as Relational Structures: An Algebraic an Logical Approach}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {238--252}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017393}, doi = {10.1007/BFB0017393}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/Courcelle90a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/CourcelleER90, author = {Bruno Courcelle and Joost Engelfriet and Grzegorz Rozenberg}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Context-free Handle-rewriting Hypergraph Grammars}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {253--268}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017394}, doi = {10.1007/BFB0017394}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/CourcelleER90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Courcelle90, author = {Bruno Courcelle}, title = {On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract)}, booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science {(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990}, pages = {190--196}, publisher = {{IEEE} Computer Society}, year = {1990}, url = {https://doi.org/10.1109/LICS.1990.113745}, doi = {10.1109/LICS.1990.113745}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Courcelle90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/leeuwen90/Courcelle90, author = {Bruno Courcelle}, editor = {Jan van Leeuwen}, title = {Graph Rewriting: An Algebraic and Logic Approach}, booktitle = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models and Semantics}, pages = {193--242}, publisher = {Elsevier and {MIT} Press}, year = {1990}, url = {https://doi.org/10.1016/b978-0-444-88074-1.50010-x}, doi = {10.1016/B978-0-444-88074-1.50010-X}, timestamp = {Tue, 06 Aug 2019 09:45:21 +0200}, biburl = {https://dblp.org/rec/books/el/leeuwen90/Courcelle90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/leeuwen90/Courcelle90a, author = {Bruno Courcelle}, editor = {Jan van Leeuwen}, title = {Recursive Applicative Program Schemes}, booktitle = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models and Semantics}, pages = {459--492}, publisher = {Elsevier and {MIT} Press}, year = {1990}, url = {https://doi.org/10.1016/b978-0-444-88074-1.50014-7}, doi = {10.1016/B978-0-444-88074-1.50014-7}, timestamp = {Tue, 06 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/el/leeuwen90/Courcelle90a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/Courcelle89, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs, {II:} Infinite Graphs of Bounded Width}, journal = {Math. Syst. Theory}, volume = {21}, number = {4}, pages = {187--221}, year = {1989}, url = {https://doi.org/10.1007/BF02088013}, doi = {10.1007/BF02088013}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/Courcelle89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Courcelle89, author = {Bruno Courcelle}, editor = {Giorgio Ausiello and Mariangiola Dezani{-}Ciancaglini and Simona Ronchi Della Rocca}, title = {The Definability of Equational Graphs in Monadic Second-Order Logic}, booktitle = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {372}, pages = {207--221}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0035762}, doi = {10.1007/BFB0035762}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Courcelle89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Courcelle89, author = {Bruno Courcelle}, editor = {Antoni Kreczmar and Grazyna Mirkowska}, title = {Monadic Second-Order Logic and Context-Free Graph-Grammars}, booktitle = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {379}, pages = {18--34}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-51486-4\_54}, doi = {10.1007/3-540-51486-4\_54}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Courcelle89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CourcelleD88, author = {Bruno Courcelle and Pierre Deransart}, title = {Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming}, journal = {Inf. Comput.}, volume = {78}, number = {1}, pages = {1--55}, year = {1988}, url = {https://doi.org/10.1016/0890-5401(88)90002-8}, doi = {10.1016/0890-5401(88)90002-8}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CourcelleD88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Courcelle88, author = {Bruno Courcelle}, editor = {Robert Cori and Martin Wirsing}, title = {An Axiomatic Definition of Context-Free Rewriting and its Application to {NLC} Graph Grammars}, booktitle = {{STACS} 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {294}, pages = {237--247}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/BFb0035848}, doi = {10.1007/BFB0035848}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Courcelle88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/Courcelle88, author = {Bruno Courcelle}, editor = {Jan van Leeuwen}, title = {The Monadic Second-Order Logic of Graphs: Definable Sets of Finite Graphs}, booktitle = {Graph-Theoretic Concepts in Computer Science, 14th International Workshop, {WG} '88, Amsterdam, The Netherlands, June 15-17, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {344}, pages = {30--53}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50728-0\_34}, doi = {10.1007/3-540-50728-0\_34}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wg/Courcelle88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/CourcelleG87, author = {Bruno Courcelle and Jean H. Gallier}, title = {Decidable Subcases of The Equivalence Problem for Recursive Program Schemes}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {21}, number = {3}, pages = {245--286}, year = {1987}, url = {https://doi.org/10.1051/ita/1987210302451}, doi = {10.1051/ITA/1987210302451}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/CourcelleG87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/BauderonC87, author = {Michel Bauderon and Bruno Courcelle}, title = {Graph Expressions and Graph Rewritings}, journal = {Math. Syst. Theory}, volume = {20}, number = {2-3}, pages = {83--127}, year = {1987}, url = {https://doi.org/10.1007/BF01692060}, doi = {10.1007/BF01692060}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/BauderonC87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle87, author = {Bruno Courcelle}, title = {An Axiomatic Definition of Context-Free Rewriting and its Application to {NLC} Graph Grammars}, journal = {Theor. Comput. Sci.}, volume = {55}, number = {2-3}, pages = {141--181}, year = {1987}, url = {https://doi.org/10.1016/0304-3975(87)90102-2}, doi = {10.1016/0304-3975(87)90102-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle86, author = {Bruno Courcelle}, title = {Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars}, journal = {Theor. Comput. Sci.}, volume = {42}, pages = {1--122}, year = {1986}, url = {https://doi.org/10.1016/0304-3975(86)90050-2}, doi = {10.1016/0304-3975(86)90050-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/BauderonC86, author = {Michel Bauderon and Bruno Courcelle}, editor = {Paul Franchi{-}Zannettacci}, title = {An Algebraic Formalism for Graphs}, booktitle = {{CAAP} '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {214}, pages = {74--84}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/BFb0022660}, doi = {10.1007/BFB0022660}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/caap/BauderonC86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Courcelle86, author = {Bruno Courcelle}, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg and Azriel Rosenfeld}, title = {A representation of graphs by algebraic expressions and its use for graph rewriting systems}, booktitle = {Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {112--132}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18771-5\_49}, doi = {10.1007/3-540-18771-5\_49}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/Courcelle86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Courcelle86a, author = {Bruno Courcelle}, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg and Azriel Rosenfeld}, title = {On context-free sets of graphs and their monadic second-order theory}, booktitle = {Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {133--146}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18771-5\_50}, doi = {10.1007/3-540-18771-5\_50}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/Courcelle86a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/Courcelle85, author = {Bruno Courcelle}, title = {Equivalences and Transformations of Recursive Definitions}, booktitle = {26th Annual Symposium on Foundations of Computer Science, Portland, Oregon, USA, 21-23 October 1985}, pages = {354--359}, publisher = {{IEEE} Computer Society}, year = {1985}, url = {https://doi.org/10.1109/SFCS.1985.23}, doi = {10.1109/SFCS.1985.23}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/Courcelle85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/logicColl/Courcelle85, author = {Bruno Courcelle}, title = {Proofs of partial correctness for iterative and recursive computations}, booktitle = {Logic Colloquium '85, Orsay, France}, pages = {89--110}, publisher = {Elsevier}, year = {1985}, timestamp = {Wed, 03 Mar 2004 15:02:16 +0100}, biburl = {https://dblp.org/rec/conf/logicColl/Courcelle85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Courcelle84, author = {Bruno Courcelle}, title = {Some Negative Results Concerning DPDA's}, journal = {Inf. Process. Lett.}, volume = {18}, number = {5}, pages = {285--289}, year = {1984}, url = {https://doi.org/10.1016/0020-0190(84)90008-5}, doi = {10.1016/0020-0190(84)90008-5}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Courcelle84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/CourcelleL84, author = {Bruno Courcelle and F. Lavandier}, title = {D{\'{e}}finitions R{\'{e}}cursives Par Cas}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {18}, number = {2}, pages = {91--129}, year = {1984}, url = {https://doi.org/10.1051/ita/1984180200911}, doi = {10.1051/ITA/1984180200911}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/CourcelleL84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BraquelaireC84, author = {Jean{-}Pierre Braquelaire and Bruno Courcelle}, title = {The Solutions of Two Star-Height Problems for Regular Trees}, journal = {Theor. Comput. Sci.}, volume = {30}, pages = {205--239}, year = {1984}, url = {https://doi.org/10.1016/0304-3975(84)90063-X}, doi = {10.1016/0304-3975(84)90063-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BraquelaireC84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/litp/BraquelaireC84, author = {Jean{-}Pierre Braquelaire and Bruno Courcelle}, editor = {Maurice Nivat and Dominique Perrin}, title = {The solution of two star height problems for regular trees}, booktitle = {Automata on Infinite Words, Ecole de Printemps d'Informatique Th{\'{e}}orique, Le Mont Dore, France, May 14-18, 1984}, series = {Lecture Notes in Computer Science}, volume = {192}, pages = {108--117}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-15641-0\_28}, doi = {10.1007/3-540-15641-0\_28}, timestamp = {Fri, 17 Jul 2020 16:12:48 +0200}, biburl = {https://dblp.org/rec/conf/litp/BraquelaireC84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/caap/1984, editor = {Bruno Courcelle}, title = {CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings}, publisher = {Cambridge University Press}, year = {1984}, isbn = {0-521-26750-1}, timestamp = {Wed, 30 Mar 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caap/1984.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/Courcelle83, author = {Bruno Courcelle}, title = {An Axiomatic Approach to the Korenjak-Hopcroft Algorithms}, journal = {Math. Syst. Theory}, volume = {16}, number = {3}, pages = {191--231}, year = {1983}, url = {https://doi.org/10.1007/BF01744577}, doi = {10.1007/BF01744577}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/Courcelle83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle83, author = {Bruno Courcelle}, title = {Fundamental Properties of Infinite Trees}, journal = {Theor. Comput. Sci.}, volume = {25}, pages = {95--169}, year = {1983}, url = {https://doi.org/10.1016/0304-3975(83)90059-2}, doi = {10.1016/0304-3975(83)90059-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/Courcelle83, author = {Bruno Courcelle}, editor = {Bernard Lorho}, title = {Attribute Grammars: Definitions, Analysis of Dependencies, Proof Methods}, booktitle = {Method and tools for compiler construction, An advanced course, INRIA, 5-16 December 1983}, pages = {81--102}, publisher = {Cambridge University Press}, year = {1983}, timestamp = {Thu, 26 Feb 2004 13:03:21 +0100}, biburl = {https://dblp.org/rec/conf/ac/Courcelle83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/CourcelleL83, author = {Bruno Courcelle and F. Lavandier}, editor = {Giorgio Ausiello and Marco Protasi}, title = {A Class of Program Schemes Based on Tree Rewriting Systems}, booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {159}, pages = {191--204}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/3-540-12727-5\_11}, doi = {10.1007/3-540-12727-5\_11}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/caap/CourcelleL83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CourcelleF82, author = {Bruno Courcelle and Paul Franchi{-}Zannettacci}, title = {On the Equivalence Problem for Attribute Systems}, journal = {Inf. Control.}, volume = {52}, number = {3}, pages = {275--305}, year = {1982}, url = {https://doi.org/10.1016/S0019-9958(82)90786-0}, doi = {10.1016/S0019-9958(82)90786-0}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/CourcelleF82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CourcelleF82, author = {Bruno Courcelle and Paul Franchi{-}Zannettacci}, title = {Attribute Grammars and Recursive Program Schemes {I}}, journal = {Theor. Comput. Sci.}, volume = {17}, pages = {163--191}, year = {1982}, url = {https://doi.org/10.1016/0304-3975(82)90003-2}, doi = {10.1016/0304-3975(82)90003-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CourcelleF82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CourcelleF82a, author = {Bruno Courcelle and Paul Franchi{-}Zannettacci}, title = {Attribute Grammars and Recursive Program Schemes {II}}, journal = {Theor. Comput. Sci.}, volume = {17}, pages = {235--257}, year = {1982}, url = {https://doi.org/10.1016/0304-3975(82)90024-X}, doi = {10.1016/0304-3975(82)90024-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CourcelleF82a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Courcelle81, author = {Bruno Courcelle}, title = {The Simultaneous Accessibility of Two Configurations of Two Equivalent DPDA's}, journal = {Inf. Process. Lett.}, volume = {12}, number = {3}, pages = {111--114}, year = {1981}, url = {https://doi.org/10.1016/0020-0190(81)90105-8}, doi = {10.1016/0020-0190(81)90105-8}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Courcelle81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/BoassonCN81, author = {Luc Boasson and Bruno Courcelle and Maurice Nivat}, title = {The Rational Index: {A} Complexity Measure for Languages}, journal = {{SIAM} J. Comput.}, volume = {10}, number = {2}, pages = {284--296}, year = {1981}, url = {https://doi.org/10.1137/0210020}, doi = {10.1137/0210020}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/BoassonCN81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Courcelle81, author = {Bruno Courcelle}, editor = {Shimon Even and Oded Kariv}, title = {An Axiomatic Approach to the Korenjak-Hopcroft Algorithms}, booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {115}, pages = {393--407}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10843-2\_32}, doi = {10.1007/3-540-10843-2\_32}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Courcelle81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfpc/Courcelle81, author = {Bruno Courcelle}, editor = {Josep D{\'{\i}}az and Isidro Ramos}, title = {Attribute Grammars: Theory and Applications}, booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {107}, pages = {75--95}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10699-5\_93}, doi = {10.1007/3-540-10699-5\_93}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/icfpc/Courcelle81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/CourcelleR80, author = {Bruno Courcelle and Jean{-}Claude Raoult}, title = {Completions of ordered magmas}, journal = {Fundam. Informaticae}, volume = {3}, number = {1}, pages = {105}, year = {1980}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/CourcelleR80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/CourcelleF80, author = {Bruno Courcelle and Paul Franchi{-}Zannettacci}, title = {On the Expressive Power of Attribute Grammars}, booktitle = {21st Annual Symposium on Foundations of Computer Science, Syracuse, New York, USA, 13-15 October 1980}, pages = {161--172}, publisher = {{IEEE} Computer Society}, year = {1980}, url = {https://doi.org/10.1109/SFCS.1980.31}, doi = {10.1109/SFCS.1980.31}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/CourcelleF80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Courcelle79, author = {Bruno Courcelle}, title = {Arbes infinis et syst{\`{e}}mes d'{\'{e}}quations}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {13}, number = {1}, pages = {31--48}, year = {1979}, url = {https://doi.org/10.1051/ita/1979130100311}, doi = {10.1051/ITA/1979130100311}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Courcelle79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/Courcelle79, author = {Bruno Courcelle}, title = {Infinite Trees in Normal Form and Recursive Equations Having a Unique Solution}, journal = {Math. Syst. Theory}, volume = {13}, pages = {131--180}, year = {1979}, url = {https://doi.org/10.1007/BF01744293}, doi = {10.1007/BF01744293}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/Courcelle79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Courcelle78, author = {Bruno Courcelle}, title = {Frontiers of Infinite Trees}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {12}, number = {4}, pages = {319--337}, year = {1978}, url = {https://doi.org/10.1051/ita/1978120403191}, doi = {10.1051/ITA/1978120403191}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Courcelle78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/CourcelleG78, author = {Bruno Courcelle and Ir{\`{e}}ne Guessarian}, title = {On Some Classes of Interpretations}, journal = {J. Comput. Syst. Sci.}, volume = {17}, number = {3}, pages = {406--431}, year = {1978}, url = {https://doi.org/10.1016/0022-0000(78)90016-8}, doi = {10.1016/0022-0000(78)90016-8}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/CourcelleG78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle78, author = {Bruno Courcelle}, title = {A Representation of Trees by Languages {I}}, journal = {Theor. Comput. Sci.}, volume = {6}, pages = {255--279}, year = {1978}, url = {https://doi.org/10.1016/0304-3975(78)90008-7}, doi = {10.1016/0304-3975(78)90008-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Courcelle78a, author = {Bruno Courcelle}, title = {A Representation of Trees by Languages {II}}, journal = {Theor. Comput. Sci.}, volume = {7}, pages = {25--55}, year = {1978}, url = {https://doi.org/10.1016/0304-3975(78)90039-7}, doi = {10.1016/0304-3975(78)90039-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Courcelle78a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/Courcelle78, author = {Bruno Courcelle}, title = {On Recursive Equations Having a Unique Solution}, booktitle = {19th Annual Symposium on Foundations of Computer Science, Ann Arbor, Michigan, USA, 16-18 October 1978}, pages = {201--213}, publisher = {{IEEE} Computer Society}, year = {1978}, url = {https://doi.org/10.1109/SFCS.1978.26}, doi = {10.1109/SFCS.1978.26}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/Courcelle78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/CourcelleN78, author = {Bruno Courcelle and Maurice Nivat}, editor = {J{\'{o}}zef Winkowski}, title = {The Algebraic Semantics of Recursive Program Schemes}, booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978}, series = {Lecture Notes in Computer Science}, volume = {64}, pages = {16--30}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/3-540-08921-7\_53}, doi = {10.1007/3-540-08921-7\_53}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/CourcelleN78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/Courcelle77, author = {Bruno Courcelle}, title = {On Jump-Deterministic Pushdown Automata}, journal = {Math. Syst. Theory}, volume = {11}, pages = {87--109}, year = {1977}, url = {https://doi.org/10.1007/BF01768471}, doi = {10.1007/BF01768471}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/Courcelle77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Courcelle77, author = {Bruno Courcelle}, editor = {Arto Salomaa and Magnus Steinby}, title = {On the Definition of Classes of Interpretations}, booktitle = {Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {52}, pages = {554--569}, publisher = {Springer}, year = {1977}, url = {https://doi.org/10.1007/3-540-08342-1\_43}, doi = {10.1007/3-540-08342-1\_43}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Courcelle77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tcs/Courcelle77, author = {Bruno Courcelle}, editor = {Hans Tzschach and H. Waldschmidt and Hermann K.{-}G. Walter}, title = {On a description of tree-languages by languages}, booktitle = {Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {48}, pages = {45--50}, publisher = {Springer}, year = {1977}, url = {https://doi.org/10.1007/3-540-08138-0\_4}, doi = {10.1007/3-540-08138-0\_4}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/tcs/Courcelle77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/CourcelleV76, author = {Bruno Courcelle and Jean Vuillemin}, title = {Completeness Results for the Equivalence of Recursive Schemas}, journal = {J. Comput. Syst. Sci.}, volume = {12}, number = {2}, pages = {179--197}, year = {1976}, url = {https://doi.org/10.1016/S0022-0000(76)80036-0}, doi = {10.1016/S0022-0000(76)80036-0}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/CourcelleV76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/CourcelleN76, author = {Bruno Courcelle and Maurice Nivat}, title = {Algebraic Families of Interpretations}, booktitle = {17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, 25-27 October 1976}, pages = {137--146}, publisher = {{IEEE} Computer Society}, year = {1976}, url = {https://doi.org/10.1109/SFCS.1976.3}, doi = {10.1109/SFCS.1976.3}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/CourcelleN76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BerryC76, author = {G{\'{e}}rard Berry and Bruno Courcelle}, editor = {S. Michaelson and Robin Milner}, title = {Program Equivalence and Canonical Forms in Stable Discrete Interpretations}, booktitle = {Third International Colloquium on Automata, Languages and Programming, University of Edinburgh, UK, July 20-23, 1976}, pages = {168--188}, publisher = {Edinburgh University Press}, year = {1976}, timestamp = {Mon, 08 Jul 2019 10:58:24 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BerryC76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Courcelle74, author = {Bruno Courcelle}, title = {Une forme canonique pour les grammaires simples d{\'{e}}terministes}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {8}, number = {1}, pages = {19--36}, year = {1974}, url = {https://doi.org/10.1051/ita/197408R100191}, doi = {10.1051/ITA/197408R100191}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Courcelle74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/Courcelle74, author = {Bruno Courcelle}, title = {Recursive Schemes, Algebraic Trees and Deterministic Languages}, booktitle = {15th Annual Symposium on Switching and Automata Theory, New Orleans, Louisiana, USA, October 14-16, 1974}, pages = {52--62}, publisher = {{IEEE} Computer Society}, year = {1974}, url = {https://doi.org/10.1109/SWAT.1974.23}, doi = {10.1109/SWAT.1974.23}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/Courcelle74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CourcelleKV74, author = {Bruno Courcelle and Gilles Kahn and Jean Vuillemin}, editor = {Jacques Loeckx}, title = {Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples}, booktitle = {Automata, Languages and Programming, 2nd Colloquium, University of Saarbr{\"{u}}cken, Germany, July 29 - August 2, 1974, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14}, pages = {200--213}, publisher = {Springer}, year = {1974}, url = {https://doi.org/10.1007/3-540-06841-4\_61}, doi = {10.1007/3-540-06841-4\_61}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CourcelleKV74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/CourcelleV74, author = {Bruno Courcelle and Jean Vuillemin}, editor = {Bernard J. Robinet}, title = {Compl{\'{e}}tude d'un syst{\`{e}}me formel pour prouver l'{\'{e}}quivalence de certains sch{\'{e}}mas r{\'{e}}cursifs monadiques}, booktitle = {Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974}, series = {Lecture Notes in Computer Science}, volume = {19}, pages = {234--252}, publisher = {Springer}, year = {1974}, url = {https://doi.org/10.1007/3-540-06859-7\_137}, doi = {10.1007/3-540-06859-7\_137}, timestamp = {Thu, 24 Feb 2022 13:41:39 +0100}, biburl = {https://dblp.org/rec/conf/programm/CourcelleV74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/CourcelleV74, author = {Bruno Courcelle and Jean Vuillemin}, editor = {Robert L. Constable and Robert W. Ritchie and Jack W. Carlyle and Michael A. Harrison}, title = {Semantics and Axiomatics of a Simple Recursive Language}, booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Theory of Computing, April 30 - May 2, 1974, Seattle, Washington, {USA}}, pages = {13--26}, publisher = {{ACM}}, year = {1974}, url = {https://doi.org/10.1145/800119.803880}, doi = {10.1145/800119.803880}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/CourcelleV74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.