Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lata/lata2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/lata/AravantinosCP10,
author = {Vincent Aravantinos and
Ricardo Caferra and
Nicolas Peltier},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Complexity of the Satisfiability Problem for a Class of Propositional
Schemata},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {58--69},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_5},
doi = {10.1007/978-3-642-13089-2\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/AravantinosCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/ArrighiG10,
author = {Pablo Arrighi and
Jonathan Grattage},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {A Simple \emph{n}-Dimensional Intrinsically Universal Quantum Cellular
Automaton},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {70--81},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_6},
doi = {10.1007/978-3-642-13089-2\_6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/ArrighiG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Arslan10,
author = {Abdullah N. Arslan},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {A Fast Longest Common Subsequence Algorithm for Similar Strings},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {82--93},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_7},
doi = {10.1007/978-3-642-13089-2\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Arslan10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BalanS10,
author = {Sakthi Balan Muthiah and
Parameswaran Seshan},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Incremental Building in Peptide Computing to Solve Hamiltonian Path
Problem},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {549--560},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_46},
doi = {10.1007/978-3-642-13089-2\_46},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BalanS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Blanchet-SadriKMSS10,
author = {Francine Blanchet{-}Sadri and
Jane I. Kim and
Robert Mercas and
William Severa and
Sean Simmons},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Abelian Square-Free Partial Words},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {94--105},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_8},
doi = {10.1007/978-3-642-13089-2\_8},
timestamp = {Thu, 01 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/Blanchet-SadriKMSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Blanchet-SadriMSW10,
author = {Francine Blanchet{-}Sadri and
Robert Mercas and
Sean Simmons and
Eric Weissenstein},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Avoidable Binary Patterns in Partial Words},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {106--117},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_9},
doi = {10.1007/978-3-642-13089-2\_9},
timestamp = {Thu, 01 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/Blanchet-SadriMSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BousquetL10,
author = {Nicolas Bousquet and
Christof L{\"{o}}ding},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Equivalence and Inclusion Problem for Strongly Unambiguous B{\"{u}}chi
Automata},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {118--129},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_10},
doi = {10.1007/978-3-642-13089-2\_10},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BousquetL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Brzozowski10,
author = {Janusz A. Brzozowski},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Complexity in Convex Languages},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {1--15},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_1},
doi = {10.1007/978-3-642-13089-2\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Brzozowski10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BuszkowskiL10,
author = {Wojciech Buszkowski and
Zhe Lin},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Pregroup Grammars with Letter Promotions},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {130--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_11},
doi = {10.1007/978-3-642-13089-2\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BuszkowskiL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CabessaV10,
author = {J{\'{e}}r{\'{e}}mie Cabessa and
Alessandro E. P. Villa},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {A Hierarchical Classification of First-Order Recurrent Neural Networks},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {142--153},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_12},
doi = {10.1007/978-3-642-13089-2\_12},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/CabessaV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CarrascosaCGL10,
author = {Rafael Carrascosa and
Fran{\c{c}}ois Coste and
Matthias Gall{\'{e}} and
Gabriel G. Infante L{\'{o}}pez},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Choosing Word Occurrences for the Smallest Grammar Problem},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {154--165},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_13},
doi = {10.1007/978-3-642-13089-2\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/CarrascosaCGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Casadio10,
author = {Claudia Casadio},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Agreement and Cliticization in Italian: {A} Pregroup Analysis},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {166--177},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_14},
doi = {10.1007/978-3-642-13089-2\_14},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Casadio10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/ChamparnaudDJ10,
author = {Jean{-}Marc Champarnaud and
Jean{-}Philippe Dubernard and
Hadrien Jeanne},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Geometricity of Binary Regular Languages},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {178--189},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_15},
doi = {10.1007/978-3-642-13089-2\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/ChamparnaudDJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/ChoffrutMMP10,
author = {Christian Choffrut and
Andreas Malcher and
Carlo Mereghetti and
Beatrice Palano},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {On the Expressive Power of {FO[} + {]}},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {190--201},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_16},
doi = {10.1007/978-3-642-13089-2\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/ChoffrutMMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Clark10,
author = {Alexander Clark},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Three Learnable Models for the Description of Language},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {16--31},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_2},
doi = {10.1007/978-3-642-13089-2\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Clark10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Crespi-ReghizziM10,
author = {Stefano Crespi{-}Reghizzi and
Dino Mandrioli},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Operator Precedence and the Visibly Pushdown Property},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {214--226},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_18},
doi = {10.1007/978-3-642-13089-2\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Crespi-ReghizziM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CrochemoreIKRRW10,
author = {Maxime Crochemore and
Costas S. Iliopoulos and
Marcin Kubica and
Jakub Radoszewski and
Wojciech Rytter and
Tomasz Walen},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {On the Maximal Number of Cubic Runs in a String},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {227--238},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_19},
doi = {10.1007/978-3-642-13089-2\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/CrochemoreIKRRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Cruz-SantosM10,
author = {William Cruz{-}Santos and
Guillermo Morales{-}Luna},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {On the Hamiltonian Operators for Adiabatic Quantum Reduction of {SAT}},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {239--248},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_20},
doi = {10.1007/978-3-642-13089-2\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Cruz-SantosM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Ehlers10,
author = {R{\"{u}}diger Ehlers},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Short Witnesses and Accepting Lassos in \emph{omega}-Automata},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {261--272},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_22},
doi = {10.1007/978-3-642-13089-2\_22},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Ehlers10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/FlorencioF10,
author = {Christophe Costa Flor{\^{e}}ncio and
Henning Fernau},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Finding Consistent Categorial Grammars of Bounded Value: {A} Parameterized
Approach},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {202--213},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_17},
doi = {10.1007/978-3-642-13089-2\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/FlorencioF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/GagieG10,
author = {Travis Gagie and
Pawel Gawrychowski},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Grammar-Based Compression in a Streaming Model},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {273--284},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_23},
doi = {10.1007/978-3-642-13089-2\_23},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/GagieG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/GiampaoloTN10,
author = {Barbara Di Giampaolo and
Salvatore La Torre and
Margherita Napoli},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Parametric Metric Interval Temporal Logic},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {249--260},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_21},
doi = {10.1007/978-3-642-13089-2\_21},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/GiampaoloTN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/GruberG10,
author = {Hermann Gruber and
Stefan Gulan},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Simplifying Regular Expressions},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {285--296},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_24},
doi = {10.1007/978-3-642-13089-2\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/GruberG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/GrumbergKS10,
author = {Orna Grumberg and
Orna Kupferman and
Sarai Sheinvald},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Variable Automata over Infinite Alphabets},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {561--572},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_47},
doi = {10.1007/978-3-642-13089-2\_47},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/GrumbergKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/HemmerlingSK10,
author = {Reinhard Hemmerling and
Katar{\'{\i}}na Smolenov{\'{a}} and
Winfried Kurth},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {A Programming Language Tailored to the Specification and Solution
of Differential Equations Describing Processes on Networks},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {297--308},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_25},
doi = {10.1007/978-3-642-13089-2\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/HemmerlingSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Hovland10,
author = {Dag Hovland},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {The Inclusion Problem for Regular Expressions},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {309--320},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_26},
doi = {10.1007/978-3-642-13089-2\_26},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/Hovland10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/JainLS10,
author = {Sanjay Jain and
Qinglong Luo and
Frank Stephan},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Learnability of Automatic Classes},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {321--332},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_27},
doi = {10.1007/978-3-642-13089-2\_27},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/JainLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/JordanZ10,
author = {Charles Jordan and
Thomas Zeugmann},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Untestable Properties Expressible with Four First-Order Quantifiers},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {333--343},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_28},
doi = {10.1007/978-3-642-13089-2\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/JordanZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KanazawaS10,
author = {Makoto Kanazawa and
Sylvain Salvati},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {The Copying Power of Well-Nested Multiple Context-Free Grammars},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {344--355},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_29},
doi = {10.1007/978-3-642-13089-2\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/KanazawaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KasprzikK10,
author = {Anna Kasprzik and
Timo K{\"{o}}tzing},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {String Extension Learning Using Lattices},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {380--391},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_32},
doi = {10.1007/978-3-642-13089-2\_32},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/KasprzikK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KlunderR10,
author = {Barbara Klunder and
Wojciech Rytter},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Post Correspondence Problem with Partially Commutative Alphabets},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {356--367},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_30},
doi = {10.1007/978-3-642-13089-2\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/KlunderR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KutribM10,
author = {Martin Kutrib and
Andreas Malcher},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Reversible Pushdown Automata},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {368--379},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_31},
doi = {10.1007/978-3-642-13089-2\_31},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/KutribM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/LetichevskySS10,
author = {Alexander A. Letichevsky and
Arsen S. Shoukourian and
Samvel K. Shoukourian},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {The Equivalence Problem of Deterministic Multitape Finite Automata:
{A} New Proof of Solvability Using a Multidimensional Tape},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {392--402},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_33},
doi = {10.1007/978-3-642-13089-2\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/LetichevskySS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Leupold10,
author = {Peter Leupold},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Primitive Words Are Unavoidable for Context-Free Languages},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {403--413},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_34},
doi = {10.1007/978-3-642-13089-2\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Leupold10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Lin10,
author = {Zhe Lin},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Modal Nonassociative Lambek Calculus with Assumptions: Complexity
and Context-Freeness},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {414--425},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_35},
doi = {10.1007/978-3-642-13089-2\_35},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Lin10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/ManeaT10,
author = {Florin Manea and
Catalin Tiseanu},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Hard Counting Problems for Partial Words},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {426--438},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_36},
doi = {10.1007/978-3-642-13089-2\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/ManeaT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/MarschallR10,
author = {Tobias Marschall and
Sven Rahmann},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Exact Analysis of Horspool's and Sunday's Pattern Matching Algorithms
with Probabilistic Arithmetic Automata},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {439--450},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_37},
doi = {10.1007/978-3-642-13089-2\_37},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/MarschallR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Melichar10,
author = {Borivoj Melichar},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Arbology: Trees and Pushdown Automata},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {32--49},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_3},
doi = {10.1007/978-3-642-13089-2\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Melichar10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/MiloPZ10,
author = {Nimrod Milo and
Tamar Pinhas and
Michal Ziv{-}Ukelson},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {{SA-REPC} - Sequence Alignment with Regular Expression Path Constraint},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {451--462},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_38},
doi = {10.1007/978-3-642-13089-2\_38},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/MiloPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Muscholl10,
author = {Anca Muscholl},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Analysis of Communicating Automata},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {50--57},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_4},
doi = {10.1007/978-3-642-13089-2\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Muscholl10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/NagyO10,
author = {Benedek Nagy and
Friedrich Otto},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational
Trace Languages},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {463--474},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_39},
doi = {10.1007/978-3-642-13089-2\_39},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/NagyO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Neary10,
author = {Turlough Neary},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {A Boundary between Universality and Non-universality in Extended Spiking
Neural {P} Systems},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {475--487},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_40},
doi = {10.1007/978-3-642-13089-2\_40},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Neary10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Penaloza10,
author = {Rafael Pe{\~{n}}aloza},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Using Sums-of-Products for Non-standard Reasoning},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {488--499},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_41},
doi = {10.1007/978-3-642-13089-2\_41},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Penaloza10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/PlatekML10,
author = {Martin Pl{\'{a}}tek and
Frantisek Mr{\'{a}}z and
Mark{\'{e}}ta Lopatkov{\'{a}}},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Restarting Automata with Structured Output and Functional Generative
Description},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {500--511},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_42},
doi = {10.1007/978-3-642-13089-2\_42},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/PlatekML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/PolicritiTV10,
author = {Alberto Policriti and
Alexandru I. Tomescu and
Francesco Vezzi},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {A Randomized Numerical Aligner (rNA)},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {512--523},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_43},
doi = {10.1007/978-3-642-13089-2\_43},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/PolicritiTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/SaeedloeiG10,
author = {Neda Saeedloei and
Gopal Gupta},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Verifying Complex Continuous Real-Time Systems with Coinductive {CLP(R)}},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {536--548},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_45},
doi = {10.1007/978-3-642-13089-2\_45},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/SaeedloeiG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Tamm10,
author = {Hellis Tamm},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Some Minimality Results on Biresidual and Biseparable Automata},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {573--584},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_48},
doi = {10.1007/978-3-642-13089-2\_48},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Tamm10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/VelardoD10,
author = {Fernando Rosa{-}Velardo and
Giorgio Delzanno},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Language-Based Comparison of Petri Nets with Black Tokens, Pure Names
and Ordered Data},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {524--535},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_44},
doi = {10.1007/978-3-642-13089-2\_44},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/VelardoD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/WeinbergN10,
author = {Frank Weinberg and
Markus E. Nebel},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Extending Stochastic Context-Free Grammars for an Application in Bioinformatics},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {585--595},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_49},
doi = {10.1007/978-3-642-13089-2\_49},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/WeinbergN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/YoshinakaKS10,
author = {Ryo Yoshinaka and
Yuichi Kaji and
Hiroyuki Seki},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Chomsky-Sch{\"{u}}tzenberger-Type Characterization of Multiple
Context-Free Languages},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {596--607},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_50},
doi = {10.1007/978-3-642-13089-2\_50},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/YoshinakaKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Zantema10,
author = {Hans Zantema},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Complexity of Guided Insertion-Deletion in RNA-Editing},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {608--619},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_51},
doi = {10.1007/978-3-642-13089-2\_51},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Zantema10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lata/2010,
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2},
doi = {10.1007/978-3-642-13089-2},
isbn = {978-3-642-13088-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/2010.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.
retrieved on 2024-06-04 03:10 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:
