default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dlt/dlt2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/dlt/Ada08,
author = {Anil Ada},
editor = {Masami Ito and
Masafumi Toyama},
title = {On the Non-deterministic Communication Complexity of Regular Languages},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {96--107},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_7},
doi = {10.1007/978-3-540-85780-8\_7},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Ada08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/AllauzenMR08,
author = {Cyril Allauzen and
Mehryar Mohri and
Ashish Rastogi},
editor = {Masami Ito and
Masafumi Toyama},
title = {General Algorithms for Testing the Ambiguity of Finite Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {108--120},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_8},
doi = {10.1007/978-3-540-85780-8\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/AllauzenMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/AtigBH08,
author = {Mohamed Faouzi Atig and
Benedikt Bollig and
Peter Habermehl},
editor = {Masami Ito and
Masafumi Toyama},
title = {Emptiness of Multi-pushdown Automata Is 2ETIME-Complete},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {121--133},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_9},
doi = {10.1007/978-3-540-85780-8\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/AtigBH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BassinoGN08,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Laura Giambruno and
Cyril Nicaud},
editor = {Masami Ito and
Masafumi Toyama},
title = {The Average State Complexity of the Star of a Finite Set of Words
Is Linear},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {134--145},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_10},
doi = {10.1007/978-3-540-85780-8\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BassinoGN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BordihnKM08,
author = {Henning Bordihn and
Martin Kutrib and
Andreas Malcher},
editor = {Masami Ito and
Masafumi Toyama},
title = {On the Computational Capacity of Parallel Communicating Finite Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {146--157},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_11},
doi = {10.1007/978-3-540-85780-8\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BordihnKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BucciLL08,
author = {Michelangelo Bucci and
Aldo de Luca and
Alessandro De Luca},
editor = {Masami Ito and
Masafumi Toyama},
title = {On a Generalization of Standard Episturmian Morphisms},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {158--169},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_12},
doi = {10.1007/978-3-540-85780-8\_12},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BucciLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CaludeNSS08,
author = {Cristian S. Calude and
Andr{\'{e}} Nies and
Ludwig Staiger and
Frank Stephan},
editor = {Masami Ito and
Masafumi Toyama},
title = {Universal Recursively Enumerable Sets of Strings},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {170--182},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_13},
doi = {10.1007/978-3-540-85780-8\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CaludeNSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CaludeZ08,
author = {Cristian S. Calude and
Marius Zimand},
editor = {Masami Ito and
Masafumi Toyama},
title = {Algorithmically Independent Sequences},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {183--195},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_14},
doi = {10.1007/978-3-540-85780-8\_14},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/CaludeZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CarpiD08,
author = {Arturo Carpi and
Flavio D'Alessandro},
editor = {Masami Ito and
Masafumi Toyama},
title = {The Synchronization Problem for Strongly Transitive Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {240--251},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_19},
doi = {10.1007/978-3-540-85780-8\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CarpiD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CassaigneKZ08,
author = {Julien Cassaigne and
Tomi K{\"{a}}rki and
Luca Q. Zamboni},
editor = {Masami Ito and
Masafumi Toyama},
title = {Relationally Periodic Sequences and Subword Complexity},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {196--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_15},
doi = {10.1007/978-3-540-85780-8\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CassaigneKZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CrochemoreFIJ08,
author = {Maxime Crochemore and
Szil{\'{a}}rd Zsolt Fazekas and
Costas S. Iliopoulos and
Inuka Jayasekera},
editor = {Masami Ito and
Masafumi Toyama},
title = {Bounds on Powers in Strings},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {206--215},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_16},
doi = {10.1007/978-3-540-85780-8\_16},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CrochemoreFIJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CsimaK08,
author = {Barbara F. Csima and
Bakhadyr Khoussainov},
editor = {Masami Ito and
Masafumi Toyama},
title = {When Is Reachability Intrinsically Decidable?},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {216--227},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_17},
doi = {10.1007/978-3-540-85780-8\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CsimaK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Csuhaj-VarjuDV08,
author = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
J{\"{u}}rgen Dassow and
Gy{\"{o}}rgy Vaszil},
editor = {Masami Ito and
Masafumi Toyama},
title = {Some New Modes of Competence-Based Derivations in {CD} Grammar Systems},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {228--239},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_18},
doi = {10.1007/978-3-540-85780-8\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Csuhaj-VarjuDV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DAlessandroV08,
author = {Flavio D'Alessandro and
Stefano Varricchio},
editor = {Masami Ito and
Masafumi Toyama},
title = {Well Quasi-orders in Formal Language Theory},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {84--95},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_6},
doi = {10.1007/978-3-540-85780-8\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DAlessandroV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DennunzioF08,
author = {Alberto Dennunzio and
Enrico Formenti},
editor = {Masami Ito and
Masafumi Toyama},
title = {Decidable Properties of 2D Cellular Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {264--275},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_21},
doi = {10.1007/978-3-540-85780-8\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DennunzioF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DurandRS08,
author = {Bruno Durand and
Andrei E. Romashchenko and
Alexander Shen},
editor = {Masami Ito and
Masafumi Toyama},
title = {Fixed Point and Aperiodic Tilings},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {276--288},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_22},
doi = {10.1007/978-3-540-85780-8\_22},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DurandRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EngelfrietLM08,
author = {Joost Engelfriet and
Eric Lilin and
Andreas Maletti},
editor = {Masami Ito and
Masafumi Toyama},
title = {Extended Multi Bottom-Up Tree Transducers},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {289--300},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_23},
doi = {10.1007/978-3-540-85780-8\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/EngelfrietLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Esik08,
author = {Zolt{\'{a}}n {\'{E}}sik},
editor = {Masami Ito and
Masafumi Toyama},
title = {Iteration Semirings},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {1--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_1},
doi = {10.1007/978-3-540-85780-8\_1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/Esik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EsparzaKL08,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Masami Ito and
Masafumi Toyama},
title = {Derivation Tree Analysis for Accelerated Fixed-Point Computation},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {301--313},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_24},
doi = {10.1007/978-3-540-85780-8\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/EsparzaKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FiliotTT08,
author = {Emmanuel Filiot and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Masami Ito and
Masafumi Toyama},
title = {Tree Automata with Global Constraints},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {314--326},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_25},
doi = {10.1007/978-3-540-85780-8\_25},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/FiliotTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FreydenbergerR08,
author = {Dominik D. Freydenberger and
Daniel Reidenbach},
editor = {Masami Ito and
Masafumi Toyama},
title = {Bad News on Decision Problems for Patterns},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {327--338},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_26},
doi = {10.1007/978-3-540-85780-8\_26},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/FreydenbergerR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/GawrychowskiKRS08,
author = {Pawel Gawrychowski and
Dalia Krieger and
Narad Rampersad and
Jeffrey O. Shallit},
editor = {Masami Ito and
Masafumi Toyama},
title = {Finding the Growth Rate of a Regular of Context-Free Language in Polynomial
Time},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {339--358},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_27},
doi = {10.1007/978-3-540-85780-8\_27},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/GawrychowskiKRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/GeffertMP08,
author = {Viliam Geffert and
Carlo Mereghetti and
Beatrice Palano},
editor = {Masami Ito and
Masafumi Toyama},
title = {More Concise Representation of Regular Languages by Automata and Regular
Expressions},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {359--370},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_28},
doi = {10.1007/978-3-540-85780-8\_28},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/GeffertMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Glockler08,
author = {Jens Gl{\"{o}}ckler},
editor = {Masami Ito and
Masafumi Toyama},
title = {A Taxonomy of Deterministic Forgetting Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {371--382},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_29},
doi = {10.1007/978-3-540-85780-8\_29},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Glockler08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/GruberH08,
author = {Hermann Gruber and
Markus Holzer},
editor = {Masami Ito and
Masafumi Toyama},
title = {Provably Shorter Regular Expressions from Deterministic Finite Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {383--395},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_30},
doi = {10.1007/978-3-540-85780-8\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/GruberH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HadravovaH08,
author = {Jana Hadravov{\'{a}} and
Stepan Holub},
editor = {Masami Ito and
Masafumi Toyama},
title = {Large Simple Binary Equality Words},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {396--407},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_31},
doi = {10.1007/978-3-540-85780-8\_31},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HadravovaH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Hirvensalo08,
author = {Mika Hirvensalo},
editor = {Masami Ito and
Masafumi Toyama},
title = {Various Aspects of Finite Quantum Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {21--33},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_2},
doi = {10.1007/978-3-540-85780-8\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Hirvensalo08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HolubN08,
author = {Stepan Holub and
Dirk Nowotka},
editor = {Masami Ito and
Masafumi Toyama},
title = {On the Relation between Periodicity and Unbordered Factors of Finite
Words},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {408--418},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_32},
doi = {10.1007/978-3-540-85780-8\_32},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HolubN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HromkovicS08,
author = {Juraj Hromkovic and
Georg Schnitger},
editor = {Masami Ito and
Masafumi Toyama},
title = {On the Hardness of Determining Small NFA's and of Proving Lower Bounds
on Their Sizes},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {34--55},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_3},
doi = {10.1007/978-3-540-85780-8\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HromkovicS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ItoKKS08,
author = {Masami Ito and
Lila Kari and
Zachary Kincaid and
Shinnosuke Seki},
editor = {Masami Ito and
Masafumi Toyama},
title = {Duplication in {DNA} Sequences},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {419--430},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_33},
doi = {10.1007/978-3-540-85780-8\_33},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/ItoKKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Jancar08,
author = {Petr Jancar},
editor = {Masami Ito and
Masafumi Toyama},
title = {Selected Ideas Used for Decidability and Undecidability of Bisimilarity},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {56--71},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_4},
doi = {10.1007/978-3-540-85780-8\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Jancar08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Jiraskova08,
author = {Galina Jir{\'{a}}skov{\'{a}}},
editor = {Masami Ito and
Masafumi Toyama},
title = {On the State Complexity of Complements, Stars, and Reversals of Regular
Languages},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {431--442},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_34},
doi = {10.1007/978-3-540-85780-8\_34},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Jiraskova08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/JiraskovaO08,
author = {Galina Jir{\'{a}}skov{\'{a}} and
Alexander Okhotin},
editor = {Masami Ito and
Masafumi Toyama},
title = {On the State Complexity of Operations on Two-Way Finite Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {443--454},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_35},
doi = {10.1007/978-3-540-85780-8\_35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/JiraskovaO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KapoutsisKM08,
author = {Christos A. Kapoutsis and
Richard Kr{\'{a}}lovic and
Tobias M{\"{o}}mke},
editor = {Masami Ito and
Masafumi Toyama},
title = {On the Size Complexity of Rotating and Sweeping Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {455--466},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_36},
doi = {10.1007/978-3-540-85780-8\_36},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KapoutsisKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KarhumakiS08,
author = {Juhani Karhum{\"{a}}ki and
Aleksi Saarela},
editor = {Masami Ito and
Masafumi Toyama},
title = {An Analysis and a Reproof of Hmelevskii's Theorem},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {467--478},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_37},
doi = {10.1007/978-3-540-85780-8\_37},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KarhumakiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Masami Ito and
Masafumi Toyama},
title = {Hierarchies of Piecewise Testable Languages},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {479--490},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_38},
doi = {10.1007/978-3-540-85780-8\_38},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KuskeM08,
author = {Dietrich Kuske and
Ingmar Meinecke},
editor = {Masami Ito and
Masafumi Toyama},
title = {Construction of Tree Automata from Regular Expressions},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {491--503},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_39},
doi = {10.1007/978-3-540-85780-8\_39},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KuskeM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/MantaciMR08,
author = {Roberto Mantaci and
Sabrina Mantaci and
Antonio Restivo},
editor = {Masami Ito and
Masafumi Toyama},
title = {Balance Properties and Distribution of Squares in Circular Words},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {504--515},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_40},
doi = {10.1007/978-3-540-85780-8\_40},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/MantaciMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Morin08,
author = {R{\'{e}}mi Morin},
editor = {Masami Ito and
Masafumi Toyama},
title = {{MSO} Logic for Unambiguous Shared-Memory Systems},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {516--528},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_41},
doi = {10.1007/978-3-540-85780-8\_41},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Morin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/SelivanovW08,
author = {Victor L. Selivanov and
Klaus W. Wagner},
editor = {Masami Ito and
Masafumi Toyama},
title = {Complexity of Topological Properties of Regular omega-Languages},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {529--542},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_42},
doi = {10.1007/978-3-540-85780-8\_42},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/SelivanovW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Shallit08,
author = {Jeffrey O. Shallit},
editor = {Masami Ito and
Masafumi Toyama},
title = {The Frobenius Problem and Its Generalizations},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {72--83},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_5},
doi = {10.1007/978-3-540-85780-8\_5},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/Shallit08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Souza08,
author = {Rodrigo de Souza},
editor = {Masami Ito and
Masafumi Toyama},
title = {On the Decidability of the Equivalence for k-Valued Transducers},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {252--263},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_20},
doi = {10.1007/978-3-540-85780-8\_20},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Souza08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2008,
editor = {Masami Ito and
Masafumi Toyama},
title = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8},
doi = {10.1007/978-3-540-85780-8},
isbn = {978-3-540-85779-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/2008.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-19 18:14 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:
