Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs658.bht:"
@article{DBLP:journals/tcs/AdarichevaIBT17, author = {Kira V. Adaricheva and Giuseppe F. Italiano and Hans Kleine{ }B{\"{u}}ning and Gy{\"{o}}rgy Tur{\'{a}}n}, title = {Foreword}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {263}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.11.030}, doi = {10.1016/J.TCS.2016.11.030}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AdarichevaIBT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AdarichevaN17, author = {Kira V. Adaricheva and James B. Nation}, title = {Discovery of the D-basis in binary tables based on hypergraph dualization}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {307--315}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2015.11.031}, doi = {10.1016/J.TCS.2015.11.031}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AdarichevaN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AnselmoM17, author = {Marcella Anselmo and Maria Madonia}, title = {Two-dimensional comma-free and cylindric codes}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {4--17}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.06.016}, doi = {10.1016/J.TCS.2016.06.016}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AnselmoM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AriasBT17, author = {Marta Arias and Jos{\'{e}} L. Balc{\'{a}}zar and Cristina Tirn\u{a}uc\u{a}}, title = {Learning definite Horn formulas from closure queries}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {346--356}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2015.12.019}, doi = {10.1016/J.TCS.2015.12.019}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AriasBT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AusielloL17, author = {Giorgio Ausiello and Luigi Laura}, title = {Directed hypergraphs: Introduction and fundamental algorithms - {A} survey}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {293--306}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.03.016}, doi = {10.1016/J.TCS.2016.03.016}, timestamp = {Thu, 28 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AusielloL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BabinK17, author = {Mikhail A. Babin and Sergei O. Kuznetsov}, title = {Dualization in lattices given by ordered sets of irreducibles}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {316--326}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.01.005}, doi = {10.1016/J.TCS.2016.01.005}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BabinK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BadkobehCM17, author = {Golnaz Badkobeh and Maxime Crochemore and Robert Mercas}, title = {Counting maximal-exponent factors in words}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {27--35}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.02.035}, doi = {10.1016/J.TCS.2016.02.035}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BadkobehCM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BarcucciBBP17, author = {Elena Barcucci and Antonio Bernini and Stefano Bilotta and Renzo Pinzani}, title = {Non-overlapping matrices}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {36--45}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.05.009}, doi = {10.1016/J.TCS.2016.05.009}, timestamp = {Thu, 08 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BarcucciBBP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BealH17, author = {Marie{-}Pierre B{\'{e}}al and Pavel Heller}, title = {Shifts of k-nested sequences}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {18--26}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.06.041}, doi = {10.1016/J.TCS.2016.06.041}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BealH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BeaudouMN17, author = {Laurent Beaudou and Arnaud Mary and Lhouari Nourine}, title = {Algorithms for k-meet-semidistributive lattices}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {391--398}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2015.10.029}, doi = {10.1016/J.TCS.2015.10.029}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BeaudouMN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BersaniRP17, author = {Marcello M. Bersani and Matteo Rossi and Pierluigi {San Pietro}}, title = {A logical characterization of timed regular languages}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {46--59}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.07.020}, doi = {10.1016/J.TCS.2016.07.020}, timestamp = {Mon, 17 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BersaniRP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BonizzoniCVRT17, author = {Paola Bonizzoni and Anna Paola Carrieri and Gianluca Della Vedova and Raffaella Rizzi and Gabriella Trucco}, title = {A colored graph approach to perfect phylogeny with persistent characters}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {60--73}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.08.015}, doi = {10.1016/J.TCS.2016.08.015}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BonizzoniCVRT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CastiglioneM17, author = {Giusi Castiglione and Paolo Massazza}, title = {On a class of languages with holonomic generating functions}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {74--84}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.07.022}, doi = {10.1016/J.TCS.2016.07.022}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/CastiglioneM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ChardinCPP17, author = {Brice Chardin and Emmanuel Coquery and Marie Pailloux and Jean{-}Marc Petit}, title = {{RQL:} {A} Query Language for Rule Discovery in Databases}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {357--374}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.11.004}, doi = {10.1016/J.TCS.2016.11.004}, timestamp = {Thu, 28 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ChardinCPP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Choffrut17, author = {Christian Choffrut}, title = {Sequences of words defined by two-way transducers}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {85--96}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.05.004}, doi = {10.1016/J.TCS.2016.05.004}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Choffrut17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CoriR17, author = {Robert Cori and Christophe Reutenauer}, title = {On Sillke's bijection}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {97--104}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.04.015}, doi = {10.1016/J.TCS.2016.04.015}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/CoriR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Crespi-Reghizzi17, author = {Stefano Crespi{-}Reghizzi and Violetta Lonati and Dino Mandrioli and Matteo Pradella}, title = {Toward a theory of input-driven locally parsable languages}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {105--121}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.05.003}, doi = {10.1016/J.TCS.2016.05.003}, timestamp = {Thu, 28 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Crespi-Reghizzi17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DAnielloLL17, author = {Alma D'Aniello and Aldo de Luca and Alessandro De Luca}, title = {On Christoffel and standard words and their derivatives}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {122--147}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.05.010}, doi = {10.1016/J.TCS.2016.05.010}, timestamp = {Thu, 08 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/DAnielloLL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DolceP17, author = {Francesco Dolce and Dominique Perrin}, title = {Neutral and tree sets of arbitrary characteristic}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {159--174}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.01.008}, doi = {10.1016/J.TCS.2016.01.008}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/DolceP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FeliceZZ17, author = {Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, title = {Unavoidable sets and circular splicing languages}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {148--158}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.09.008}, doi = {10.1016/J.TCS.2016.09.008}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/FeliceZZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GiammarresiMSM17, author = {Dora Giammarresi and Sabrina Mantaci and Marinella Sciortino and Filippo Mignosi}, title = {Preface}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {1--3}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.11.031}, doi = {10.1016/J.TCS.2016.11.031}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/GiammarresiMSM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Guaiana17, author = {Giovanna Guaiana}, title = {Local testability from words to traces, a suitable definition}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {175--189}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.06.023}, doi = {10.1016/J.TCS.2016.06.023}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Guaiana17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KarhumakiPRW17, author = {Juhani Karhum{\"{a}}ki and Svetlana Puzynina and Micha{\"{e}}l Rao and Markus A. Whiteland}, title = {On cardinalities of k-abelian equivalence classes}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {190--204}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.06.010}, doi = {10.1016/J.TCS.2016.06.010}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/KarhumakiPRW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KleijnKPR17, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny and Grzegorz Rozenberg}, title = {Applying regions}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {205--215}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.01.040}, doi = {10.1016/J.TCS.2016.01.040}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/KleijnKPR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Kucera17, author = {Petr Kucera}, title = {Hydras: Complexity on general graphs and a subclass of trees}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {399--416}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.05.037}, doi = {10.1016/J.TCS.2016.05.037}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Kucera17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MarsaultS17, author = {Victor Marsault and Jacques Sakarovitch}, title = {The signature of rational languages}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {216--234}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.04.023}, doi = {10.1016/J.TCS.2016.04.023}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/MarsaultS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MoreiraPR17, author = {Nelma Moreira and Giovanni Pighizzini and Rog{\'{e}}rio Reis}, title = {Optimal state reductions of automata with partially specified behaviors}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {235--245}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.05.002}, doi = {10.1016/J.TCS.2016.05.002}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/MoreiraPR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Obiedkov17, author = {Sergei Obiedkov}, title = {Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {375--390}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.01.035}, doi = {10.1016/J.TCS.2016.01.035}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Obiedkov17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/PinS17, author = {Jean{-}{\'{E}}ric Pin and Pedro V. Silva}, title = {On uniformly continuous functions for some profinite topologies}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {246--262}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.06.013}, doi = {10.1016/J.TCS.2016.06.013}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/PinS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Rudolph17, author = {Sebastian Rudolph}, title = {Succinctness and tractability of closure operator representations}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {327--345}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2015.12.028}, doi = {10.1016/J.TCS.2015.12.028}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Rudolph17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/SloanST17, author = {Robert H. Sloan and Despina Stasi and Gy{\"{o}}rgy Tur{\'{a}}n}, title = {Hydras: Directed hypergraphs and Horn formulas}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {417--428}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.05.036}, doi = {10.1016/J.TCS.2016.05.036}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/SloanST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Wild17, author = {Marcel Wild}, title = {The joy of implications, aka pure Horn formulas: Mainly a survey}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {264--292}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.03.018}, doi = {10.1016/J.TCS.2016.03.018}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Wild17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.