default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dlt/dlt2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/dlt/AlmeidaS09,
author = {Jorge Almeida and
Benjamin Steinberg},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Matrix Mortality and the Cern{\'{y}}-Pin Conjecture},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {67--80},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_5},
doi = {10.1007/978-3-642-02737-6\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/AlmeidaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BealP09,
author = {Marie{-}Pierre B{\'{e}}al and
Dominique Perrin},
editor = {Volker Diekert and
Dirk Nowotka},
title = {A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster
Automata},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {81--90},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_6},
doi = {10.1007/978-3-642-02737-6\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BealP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BehleKR09,
author = {Christoph Behle and
Andreas Krebs and
Stephanie Reifferscheid},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Regular Languages Definable by Majority Quantifiers with Two Variables},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {91--102},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_7},
doi = {10.1007/978-3-642-02737-6\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BehleKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BertoniCR09,
author = {Alberto Bertoni and
Christian Choffrut and
Roberto Radicioni},
editor = {Volker Diekert and
Dirk Nowotka},
title = {The Inclusion Problem of Context-Free Languages: Some Tractable Cases},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {103--112},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_8},
doi = {10.1007/978-3-642-02737-6\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BertoniCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BlakeleyBGR09,
author = {Brandon Blakeley and
Francine Blanchet{-}Sadri and
Josh Gunter and
Narad Rampersad},
editor = {Volker Diekert and
Dirk Nowotka},
title = {On the Complexity of Deciding Avoidability of Sets of Partial Words},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {113--124},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_9},
doi = {10.1007/978-3-642-02737-6\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BlakeleyBGR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Bojanczyk09,
author = {Mikolaj Bojanczyk},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Factorization Forests},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {1--17},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_1},
doi = {10.1007/978-3-642-02737-6\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Bojanczyk09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BolligG09,
author = {Benedikt Bollig and
Paul Gastin},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Weighted versus Probabilistic Logics},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {18--38},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_2},
doi = {10.1007/978-3-642-02737-6\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BolligG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BrzozowskiGS09,
author = {Janusz A. Brzozowski and
Elyot Grant and
Jeffrey O. Shallit},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Closures in Formal Languages and Kuratowski's Theorem},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {125--144},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_10},
doi = {10.1007/978-3-642-02737-6\_10},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/BrzozowskiGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BucciLL09,
author = {Michelangelo Bucci and
Aldo de Luca and
Alessandro De Luca},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Rich and Periodic-Like Words},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {145--155},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_11},
doi = {10.1007/978-3-642-02737-6\_11},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BucciLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CampanoniC09,
author = {Simone Campanoni and
Stefano Crespi{-}Reghizzi},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Traces of Control-Flow Graphs},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {156--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_12},
doi = {10.1007/978-3-642-02737-6\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CampanoniC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Carton09,
author = {Olivier Carton},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Left and Right Synchronous Relations},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {170--182},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_13},
doi = {10.1007/978-3-642-02737-6\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Carton09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CzeizlerCKS09,
author = {Elena Czeizler and
Eugen Czeizler and
Lila Kari and
Shinnosuke Seki},
editor = {Volker Diekert and
Dirk Nowotka},
title = {An Extension of the Lyndon Sch{\"{u}}tzenberger Result to Pseudoperiodic
Words},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {183--194},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_14},
doi = {10.1007/978-3-642-02737-6\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CzeizlerCKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DurandP09,
author = {Bruno Durand and
Victor Poupet},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Asymptotic Cellular Complexity},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {195--206},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_15},
doi = {10.1007/978-3-642-02737-6\_15},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DurandP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Egecioglu09,
author = {{\"{O}}mer Egecioglu},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Strongly Regular Grammars and Regular Approximation of Context-Free
Languages},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {207--220},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_16},
doi = {10.1007/978-3-642-02737-6\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Egecioglu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Fazekas09,
author = {Szil{\'{a}}rd Zsolt Fazekas},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Powers of Regular Languages},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {221--227},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_17},
doi = {10.1007/978-3-642-02737-6\_17},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Fazekas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FreydenbergerR09,
author = {Dominik D. Freydenberger and
Daniel Reidenbach},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Existence and Nonexistence of Descriptive Patterns},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {228--239},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_18},
doi = {10.1007/978-3-642-02737-6\_18},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/FreydenbergerR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FriscoI09,
author = {Pierluigi Frisco and
Oscar H. Ibarra},
editor = {Volker Diekert and
Dirk Nowotka},
title = {On Stateless Multihead Finite Automata and Multihead Pushdown Automata},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {240--251},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_19},
doi = {10.1007/978-3-642-02737-6\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/FriscoI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FrougnyL09,
author = {Christiane Frougny and
Anna Chiara Lai},
editor = {Volker Diekert and
Dirk Nowotka},
title = {On Negative Bases},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {252--263},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_20},
doi = {10.1007/978-3-642-02737-6\_20},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/FrougnyL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/GlenHK09,
author = {Amy Glen and
Bjarni V. Halld{\'{o}}rsson and
Sergey Kitaev},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Crucial Words for Abelian Powers},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {264--275},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_21},
doi = {10.1007/978-3-642-02737-6\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/GlenHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/GruberH09,
author = {Hermann Gruber and
Markus Holzer},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Tight Bounds on the Descriptional Complexity of Regular Expressions},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {276--287},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_22},
doi = {10.1007/978-3-642-02737-6\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/GruberH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Harju09,
author = {Tero Harju},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Post Correspondence Problem and Small Dimensional Matrices},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {39--46},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_3},
doi = {10.1007/978-3-642-02737-6\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Harju09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/JeandelT09,
author = {Emmanuel Jeandel and
Guillaume Theyssier},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Subshifts, Languages and Logic},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {288--299},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_23},
doi = {10.1007/978-3-642-02737-6\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/JeandelT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Jiraskova09,
author = {Galina Jir{\'{a}}skov{\'{a}}},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Magic Numbers and Ternary Alphabet},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {300--311},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_24},
doi = {10.1007/978-3-642-02737-6\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Jiraskova09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Kanazawa09,
author = {Makoto Kanazawa},
editor = {Volker Diekert and
Dirk Nowotka},
title = {The Pumping Lemma for Well-Nested Multiple Context-Free Languages},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {312--325},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_25},
doi = {10.1007/978-3-642-02737-6\_25},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Kanazawa09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Kapoutsis09,
author = {Christos A. Kapoutsis},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Size Complexity of Two-Way Finite Automata},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {47--66},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_4},
doi = {10.1007/978-3-642-02737-6\_4},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Kapoutsis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Kirsten09,
author = {Daniel Kirsten},
editor = {Volker Diekert and
Dirk Nowotka},
title = {The Support of a Recognizable Series over a Zero-Sum Free, Commutative
Semiring Is Recognizable},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {326--333},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_26},
doi = {10.1007/978-3-642-02737-6\_26},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Kirsten09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KountouriotisNR09,
author = {Vassilis Kountouriotis and
Christos Nomikos and
Panos Rondogiannis},
editor = {Volker Diekert and
Dirk Nowotka},
title = {A Game-Theoretic Characterization of Boolean Grammars},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {334--347},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_27},
doi = {10.1007/978-3-642-02737-6\_27},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KountouriotisNR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KudinovS09,
author = {Oleg V. Kudinov and
Victor L. Selivanov},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Definability in the Infix Order on Words},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {454--465},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_37},
doi = {10.1007/978-3-642-02737-6\_37},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KudinovS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/LaineP09,
author = {Markku Laine and
Wojciech Plandowski},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Word Equations with One Unknown},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {348--359},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_28},
doi = {10.1007/978-3-642-02737-6\_28},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/LaineP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/LehtinenO09,
author = {Tommi Lehtinen and
Alexander Okhotin},
editor = {Volker Diekert and
Dirk Nowotka},
title = {On Equations over Sets of Numbers and Their Limitations},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {360--371},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_29},
doi = {10.1007/978-3-642-02737-6\_29},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/LehtinenO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ManeaMS09,
author = {Florin Manea and
Victor Mitrana and
Jos{\'{e}} M. Sempere},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Some Remarks on Superposition Based on Watson-Crick-Like Complementarity},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {372--383},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_30},
doi = {10.1007/978-3-642-02737-6\_30},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/ManeaMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Meinecke09,
author = {Ingmar Meinecke},
editor = {Volker Diekert and
Dirk Nowotka},
title = {A Weighted {\(\mathrm{\mu}\)}-Calculus on Words},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {384--395},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_31},
doi = {10.1007/978-3-642-02737-6\_31},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Meinecke09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/MogaveroM09,
author = {Fabio Mogavero and
Aniello Murano},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Branching-Time Temporal Logics with Minimal Model Quantifiers},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {396--409},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_32},
doi = {10.1007/978-3-642-02737-6\_32},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/MogaveroM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Petersen09,
author = {Holger Petersen},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Simulations by Time-Bounded Counter Machines},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {410--418},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_33},
doi = {10.1007/978-3-642-02737-6\_33},
timestamp = {Fri, 15 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/Petersen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Quaas09,
author = {Karin Quaas},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Weighted Timed {MSO} Logics},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {419--430},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_34},
doi = {10.1007/978-3-642-02737-6\_34},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Quaas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/RestivoR09,
author = {Antonio Restivo and
Giovanna Rosone},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Balanced Words Having Simple Burrows-Wheeler Transform},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {431--442},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_35},
doi = {10.1007/978-3-642-02737-6\_35},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/RestivoR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Saarela09,
author = {Aleksi Saarela},
editor = {Volker Diekert and
Dirk Nowotka},
title = {On the Complexity of Hmelevskii's Theorem and Satisfiability of Three
Unknown Equations},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {443--453},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_36},
doi = {10.1007/978-3-642-02737-6\_36},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Saarela09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Shur09,
author = {Arseny M. Shur},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Two-Sided Bounds for the Growth Rates of Power-Free Languages},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {466--477},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_38},
doi = {10.1007/978-3-642-02737-6\_38},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Shur09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Souza09,
author = {Rodrigo de Souza},
editor = {Volker Diekert and
Dirk Nowotka},
title = {On the Decidability of the Equivalence for a Certain Class of Transducers},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {478--489},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_39},
doi = {10.1007/978-3-642-02737-6\_39},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Souza09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Zetzsche09,
author = {Georg Zetzsche},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Erasing in Petri Net Languages and Matrix Grammars},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {490--501},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_40},
doi = {10.1007/978-3-642-02737-6\_40},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/Zetzsche09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2009,
editor = {Volker Diekert and
Dirk Nowotka},
title = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6},
doi = {10.1007/978-3-642-02737-6},
isbn = {978-3-642-02736-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-12 19:25 CEST from data curated 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:
