Search dblp for Publications

export results for "toc:db/conf/dcfs/dcfs2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/dcfs/0001K17,
  author       = {Markus Holzer and
                  Martin Kutrib},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {One-Time Nondeterministic Computations},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {177--188},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_14},
  doi          = {10.1007/978-3-319-60252-3\_14},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/0001K17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/0001RS17,
  author       = {Timothy Ng and
                  David Rappaport and
                  Kai Salomaa},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {State Complexity of Suffix Distance},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {287--298},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_23},
  doi          = {10.1007/978-3-319-60252-3\_23},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/0001RS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/AlmagorKK17,
  author       = {Shaull Almagor and
                  Denis Kuperberg and
                  Orna Kupferman},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Sensing as a Complexity Measure},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {3--15},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_1},
  doi          = {10.1007/978-3-319-60252-3\_1},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/AlmagorKK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/AnselmoGM17,
  author       = {Marcella Anselmo and
                  Dora Giammarresi and
                  Maria Madonia},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Avoiding Overlaps in Pictures},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {16--32},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_2},
  doi          = {10.1007/978-3-319-60252-3\_2},
  timestamp    = {Thu, 22 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/AnselmoGM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BenschH17,
  author       = {Suna Bensch and
                  Maia Hoeberechts},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {On the Degree of Nondeterminism of Tree Adjoining Languages and Head
                  Grammar Languages},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {65--76},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_5},
  doi          = {10.1007/978-3-319-60252-3\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/BenschH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrodaMMR17,
  author       = {Sabine Broda and
                  Ant{\'{o}}nio Machiavelo and
                  Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {On the Average Complexity of Strong Star Normal Form},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {77--88},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_6},
  doi          = {10.1007/978-3-319-60252-3\_6},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/BrodaMMR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiD17,
  author       = {Janusz A. Brzozowski and
                  Sylvie Davies},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Most Complex Non-returning Regular Languages},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {89--101},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_7},
  doi          = {10.1007/978-3-319-60252-3\_7},
  timestamp    = {Thu, 22 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/BrzozowskiD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Dassow17,
  author       = {J{\"{u}}rgen Dassow},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Descriptional Complexity and Operations - Two Non-classical Cases},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {33--44},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_3},
  doi          = {10.1007/978-3-319-60252-3\_3},
  timestamp    = {Thu, 22 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/Dassow17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/DimitrijevsY17,
  author       = {Maksims Dimitrijevs and
                  Abuzer Yakaryilmaz},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Uncountable Realtime Probabilistic Classes},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {102--113},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_8},
  doi          = {10.1007/978-3-319-60252-3\_8},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/DimitrijevsY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/FaranK17,
  author       = {Rachel Faran and
                  Orna Kupferman},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {A Parametrized Analysis of Algorithms on Hierarchical Graphs},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {114--127},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_9},
  doi          = {10.1007/978-3-319-60252-3\_9},
  timestamp    = {Thu, 22 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/FaranK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/FernauKR17,
  author       = {Henning Fernau and
                  Lakshmanan Kuppusamy and
                  Indhumathi Raman},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Graph-Controlled Insertion-Deletion Systems Generating Language Classes
                  Beyond Linearity},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {128--139},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_10},
  doi          = {10.1007/978-3-319-60252-3\_10},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/FernauKR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/FreundRV17,
  author       = {Rudolf Freund and
                  Vladimir Rogojin and
                  Sergey Verlan},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Computational Completeness of Networks of Evolutionary Processors
                  with Elementary Polarizations and a Small Number of Processors},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {140--151},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_11},
  doi          = {10.1007/978-3-319-60252-3\_11},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/FreundRV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/GelleI17,
  author       = {Kitti Gelle and
                  Szabolcs Iv{\'{a}}n},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Recognizing Union-Find Trees Built Up Using Union-By-Rank Strategy
                  is NP-Complete},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {152--163},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_12},
  doi          = {10.1007/978-3-319-60252-3\_12},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/GelleI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/HanKRS17,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Trent A. Rogers and
                  Shinnosuke Seki},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Self-attraction Removal from Oritatami Systems},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {164--176},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_13},
  doi          = {10.1007/978-3-319-60252-3\_13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/HanKRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/JirasekPS17,
  author       = {Jozef Jir{\'{a}}sek Jr. and
                  Mat{\'{u}}s Palmovsk{\'{y}} and
                  Juraj Sebej},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Kuratowski Algebras Generated by Factor-, Subword-, and Suffix-Free
                  Languages},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {189--201},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_15},
  doi          = {10.1007/978-3-319-60252-3\_15},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/JirasekPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KeelerS17,
  author       = {Chris Keeler and
                  Kai Salomaa},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Branching Measures and Nearly Acyclic NFAs},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {202--213},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_16},
  doi          = {10.1007/978-3-319-60252-3\_16},
  timestamp    = {Thu, 22 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/KeelerS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Konstantinidis17,
  author       = {Stavros Konstantinidis},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Applications of Transducers in Independent Languages, Word Distances,
                  Codes},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {45--62},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_4},
  doi          = {10.1007/978-3-319-60252-3\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/Konstantinidis17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KrajnakovaJ17,
  author       = {Ivana Krajn{\'{a}}kov{\'{a}} and
                  Galina Jir{\'{a}}skov{\'{a}}},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Square on Deterministic, Alternating, and Boolean Finite Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {214--225},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_17},
  doi          = {10.1007/978-3-319-60252-3\_17},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/KrajnakovaJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KweeO17,
  author       = {Kent Kwee and
                  Friedrich Otto},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {A Pumping Lemma for Ordered Restarting Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {226--237},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_18},
  doi          = {10.1007/978-3-319-60252-3\_18},
  timestamp    = {Thu, 22 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/KweeO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/LavadoP17,
  author       = {Giovanna J. Lavado and
                  Luca Prigioniero},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Concise Representations of Reversible Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {238--249},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_19},
  doi          = {10.1007/978-3-319-60252-3\_19},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/LavadoP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/MaraisZ17,
  author       = {Laurette Marais and
                  Lynette van Zijl},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {State Complexity of Unary {SV-XNFA} with Different Acceptance Conditions},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {250--261},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_20},
  doi          = {10.1007/978-3-319-60252-3\_20},
  timestamp    = {Thu, 22 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/MaraisZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Maslennikova17,
  author       = {Marina I. Maslennikova},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Reset Complexity of Ideal Languages Over a Binary Alphabet},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {262--273},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_21},
  doi          = {10.1007/978-3-319-60252-3\_21},
  timestamp    = {Thu, 22 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/Maslennikova17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Neary17,
  author       = {Turlough Neary},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {2-State 2-Symbol Turing Machines with Periodic Support Produce Regular
                  Sets},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {274--286},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_22},
  doi          = {10.1007/978-3-319-60252-3\_22},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/Neary17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/OkhotinS17,
  author       = {Alexander Okhotin and
                  Kai Salomaa},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {The Quotient Operation on Input-Driven Pushdown Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {299--310},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_24},
  doi          = {10.1007/978-3-319-60252-3\_24},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/OkhotinS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2017,
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3},
  doi          = {10.1007/978-3-319-60252-3},
  isbn         = {978-3-319-60251-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics