Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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, Ser. {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 = {Thu, 15 Jun 2017 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 = {Tue, 11 Feb 2020 15:52:14 +0100},
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, Ser. {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 = {Tue, 16 Feb 2021 00:00:00 +0100},
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}
}
a service of 
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.
last updated on 2024-04-21 17:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
