Search dblp for Publications

export results for "toc:db/conf/lata/lata2020.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lata/Allender20,
  author       = {Eric Allender},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {The New Complexity Landscape Around Circuit Minimization},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {3--16},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_1},
  doi          = {10.1007/978-3-030-40608-0\_1},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Allender20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Amano20,
  author       = {Kazuyuki Amano},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {On the Size of Depth-Two Threshold Circuits for the Inner Product
                  Mod 2 Function},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {235--247},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_16},
  doi          = {10.1007/978-3-030-40608-0\_16},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Amano20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/ArvindFKV20,
  author       = {Vikraman Arvind and
                  Frank Fuhlbr{\"{u}}ck and
                  Johannes K{\"{o}}bler and
                  Oleg Verbitsky},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {On the Weisfeiler-Leman Dimension of Fractional Packing},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {357--368},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_25},
  doi          = {10.1007/978-3-030-40608-0\_25},
  timestamp    = {Thu, 13 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/ArvindFKV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/BerdinskyK20,
  author       = {Dmitry Berdinsky and
                  Prohrak Kruengthomya},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Nonstandard Cayley Automatic Representations for Fundamental Groups
                  of Torus Bundles over the Circle},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {115--127},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_7},
  doi          = {10.1007/978-3-030-40608-0\_7},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/BerdinskyK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/BesC20,
  author       = {Alexis B{\`{e}}s and
                  Christian Choffrut},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {{\textdollar}{\textbackslash}langle {\textbackslash}mathbb \{R\},
                  +, {\textless}, 1 {\textbackslash}rangle {\textdollar} Is Decidable
                  in {\textdollar}{\textbackslash}langle {\textbackslash}mathbb \{R\},
                  +, {\textless} , {\textbackslash}mathbb \{Z\}{\textbackslash}rangle
                  {\textdollar}},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {128--140},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_8},
  doi          = {10.1007/978-3-030-40608-0\_8},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/BesC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/BhaskarCJO20,
  author       = {Siddharth Bhaskar and
                  Jane Chandlee and
                  Adam Jardine and
                  Christopher Oakden},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Boolean Monadic Recursive Schemes as a Logical Characterization of
                  the Subsequential Functions},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {157--169},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_10},
  doi          = {10.1007/978-3-030-40608-0\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/BhaskarCJO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/BonizzoniFZZ20,
  author       = {Paola Bonizzoni and
                  Clelia De Felice and
                  Rocco Zaccagnino and
                  Rosalba Zizza},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Lyndon Words versus Inverse Lyndon Words: Queries on Suffixes and
                  Bordered Words},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {385--396},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_27},
  doi          = {10.1007/978-3-030-40608-0\_27},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/BonizzoniFZZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Daviaud20,
  author       = {Laure Daviaud},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Containment and Equivalence of Weighted Automata: Probabilistic and
                  Max-Plus Cases},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_2},
  doi          = {10.1007/978-3-030-40608-0\_2},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Daviaud20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/DickHMR20,
  author       = {Jeffery Dick and
                  Laura K. Hutchinson and
                  Robert Mercas and
                  Daniel Reidenbach},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Reducing the Ambiguity of Parikh Matrices},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {397--411},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_28},
  doi          = {10.1007/978-3-030-40608-0\_28},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/DickHMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/DonatelliH20,
  author       = {Susanna Donatelli and
                  Serge Haddad},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Expressiveness and Conciseness of Timed Automata for the Verification
                  of Stochastic Models},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {170--183},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_11},
  doi          = {10.1007/978-3-030-40608-0\_11},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/DonatelliH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/DondiMZ20,
  author       = {Riccardo Dondi and
                  Giancarlo Mauri and
                  Italo Zoppis},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Complexity Issues of String to Graph Approximate Matching},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {248--259},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_17},
  doi          = {10.1007/978-3-030-40608-0\_17},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/DondiMZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Finkel20,
  author       = {Olivier Finkel},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {The Automatic Baire Property and an Effective Property of {\o}mega-Rational
                  Functions},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {303--314},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_21},
  doi          = {10.1007/978-3-030-40608-0\_21},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Finkel20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/FleischmannKNP20,
  author       = {Pamela Fleischmann and
                  Mitja Kulczynski and
                  Dirk Nowotka and
                  Danny B{\o}gsted Poulsen},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {On Collapsing Prefix Normal Words},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {412--424},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_29},
  doi          = {10.1007/978-3-030-40608-0\_29},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/FleischmannKNP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/GaoJQSST20,
  author       = {Ziyuan Gao and
                  Sanjay Jain and
                  Ji Qi and
                  Philipp Schlicht and
                  Frank Stephan and
                  Jacob Tarr},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Ordered Semiautomatic Rings with Applications to Geometry},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {141--153},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_9},
  doi          = {10.1007/978-3-030-40608-0\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/GaoJQSST20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Gezer20,
  author       = {Mehmet Utkan Gezer},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Windable Heads and Recognizing {NL} with Constant Randomness},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {184--195},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_12},
  doi          = {10.1007/978-3-030-40608-0\_12},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Gezer20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Grosshans20,
  author       = {Nathan Grosshans},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {The Power of Programs over Monoids in [inline-graphic not available:
                  see fulltext]},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {315--327},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_22},
  doi          = {10.1007/978-3-030-40608-0\_22},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Grosshans20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Haase20,
  author       = {Christoph Haase},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Approaching Arithmetic Theories with Finite-State Automata},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {33--43},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_3},
  doi          = {10.1007/978-3-030-40608-0\_3},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Haase20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Jez20,
  author       = {Artur Jez},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Recompression: Technique for Word Equations and Compressed Data},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {44--67},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_4},
  doi          = {10.1007/978-3-030-40608-0\_4},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Jez20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/JiH20,
  author       = {Jing Ji and
                  Jeffrey Heinz},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Input Strictly Local Tree Transducers},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {369--381},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_26},
  doi          = {10.1007/978-3-030-40608-0\_26},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/JiH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/KeelerS20,
  author       = {Chris Keeler and
                  Kai Salomaa},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Alternating Finite Automata with Limited Universal Branching},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {196--207},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_13},
  doi          = {10.1007/978-3-030-40608-0\_13},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/KeelerS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/KlimaK20,
  author       = {Ondrej Kl{\'{\i}}ma and
                  Peter Kostol{\'{a}}nyi},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Geometrically Closed Positive Varieties of Star-Free Languages},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {328--340},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_23},
  doi          = {10.1007/978-3-030-40608-0\_23},
  timestamp    = {Wed, 25 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/KlimaK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/LabaiKOV20,
  author       = {Nadia Labai and
                  Tomer Kotek and
                  Magdalena Ortiz and
                  Helmut Veith},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Pebble-Intervals Automata and FO\({}^{\mbox{2}}\) with Two Orders},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {208--221},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_14},
  doi          = {10.1007/978-3-030-40608-0\_14},
  timestamp    = {Mon, 29 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/LabaiKOV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Lye20,
  author       = {Aaron Lye},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Context-Sensitive Fusion Grammars Are Universal},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {275--286},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_19},
  doi          = {10.1007/978-3-030-40608-0\_19},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Lye20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Moss20,
  author       = {Aaron Moss},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Simplified Parsing Expression Derivatives},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {425--436},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_30},
  doi          = {10.1007/978-3-030-40608-0\_30},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Moss20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Neraud20,
  author       = {Jean N{\'{e}}raud},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Complete Variable-Length Codes: An Excursion into Word Edit Operations},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {437--448},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_31},
  doi          = {10.1007/978-3-030-40608-0\_31},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Neraud20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/OkhotinS20,
  author       = {Alexander Okhotin and
                  Alexey Sorokin},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Cyclic Shift on Multi-component Grammars},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {287--299},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_20},
  doi          = {10.1007/978-3-030-40608-0\_20},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/OkhotinS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Pin20,
  author       = {Jean{-}{\'{E}}ric Pin},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {How to Prove that a Language Is Regular or Star-Free?},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {68--88},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_5},
  doi          = {10.1007/978-3-030-40608-0\_5},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Pin20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Place20,
  author       = {Thomas Place},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Deciding Classes of Regular Languages: The Covering Approach},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {89--112},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_6},
  doi          = {10.1007/978-3-030-40608-0\_6},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Place20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Ucan20,
  author       = {Ahmet Bilal U{\c{c}}an},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Limited Two-Way Deterministic Finite Automata with Advice},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {222--232},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_15},
  doi          = {10.1007/978-3-030-40608-0\_15},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Ucan20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Yamakami20,
  author       = {Tomoyuki Yamakami},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Intersection and Union Hierarchies of Deterministic Context-Free Languages
                  and Pumping Lemmas},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {341--353},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_24},
  doi          = {10.1007/978-3-030-40608-0\_24},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Yamakami20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Zantema20,
  author       = {Hans Zantema},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Complexity of Automatic Sequences},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {260--271},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_18},
  doi          = {10.1007/978-3-030-40608-0\_18},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Zantema20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lata/2020,
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0},
  doi          = {10.1007/978-3-030-40608-0},
  isbn         = {978-3-030-40607-3},
  timestamp    = {Thu, 27 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.