ask others

Theoretical Computer Science, Volume 658

> Home > Journals > Theoretical Computer Science

Volume 658, Part A, January 2017

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/GiammarresiMSM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/GiammarresiMSM17
Dora Giammarresi, Sabrina Mantaci, Marinella Sciortino, Filippo Mignosi:
Preface. 1-3

Special issue articles

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AnselmoM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AnselmoM17
Marcella Anselmo, Maria Madonia:
Two-dimensional comma-free and cylindric codes. 4-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BealH17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BealH17
Marie-Pierre Béal, Pavel Heller:
Shifts of k-nested sequences. 18-26
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BadkobehCM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BadkobehCM17
Golnaz Badkobeh, Maxime Crochemore, Robert Mercas:
Counting maximal-exponent factors in words. 27-35
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BarcucciBBP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BarcucciBBP17
Elena Barcucci, Antonio Bernini, Stefano Bilotta, Renzo Pinzani:
Non-overlapping matrices. 36-45
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BersaniRP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BersaniRP17
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
A logical characterization of timed regular languages. 46-59
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BonizzoniCVRT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BonizzoniCVRT17
Paola Bonizzoni, Anna Paola Carrieri, Gianluca Della Vedova, Raffaella Rizzi, Gabriella Trucco:
A colored graph approach to perfect phylogeny with persistent characters. 60-73
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CastiglioneM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CastiglioneM17
Giusi Castiglione, Paolo Massazza:
On a class of languages with holonomic generating functions. 74-84
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Choffrut17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Choffrut17
Christian Choffrut:
Sequences of words defined by two-way transducers. 85-96
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CoriR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CoriR17
Robert Cori, Christophe Reutenauer:
On Sillke's bijection. 97-104
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Crespi-Reghizzi17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Crespi-Reghizzi17
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Toward a theory of input-driven locally parsable languages. 105-121
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/DAnielloLL17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/DAnielloLL17
Alma D'Aniello, Aldo de Luca, Alessandro De Luca:
On Christoffel and standard words and their derivatives. 122-147
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/FeliceZZ17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/FeliceZZ17
Clelia De Felice, Rocco Zaccagnino, Rosalba Zizza:
Unavoidable sets and circular splicing languages. 148-158
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/DolceP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/DolceP17
Francesco Dolce, Dominique Perrin:
Neutral and tree sets of arbitrary characteristic. 159-174
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Guaiana17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Guaiana17
Giovanna Guaiana:
Local testability from words to traces, a suitable definition. 175-189
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/KarhumakiPRW17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/KarhumakiPRW17
Juhani Karhumäki, Svetlana Puzynina, Michaël Rao, Markus A. Whiteland:
On cardinalities of k-abelian equivalence classes. 190-204
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/KleijnKPR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/KleijnKPR17
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Applying regions. 205-215
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/MarsaultS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/MarsaultS17
Victor Marsault, Jacques Sakarovitch:
The signature of rational languages. 216-234
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/MoreiraPR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/MoreiraPR17
Nelma Moreira, Giovanni Pighizzini, Rogério Reis:
Optimal state reductions of automata with partially specified behaviors. 235-245
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/PinS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/PinS17
Jean-Éric Pin, Pedro V. Silva:
On uniformly continuous functions for some profinite topologies. 246-262

Volume 658, Part B, January 2017

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AdarichevaIBT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AdarichevaIBT17
Kira V. Adaricheva, Giuseppe F. Italiano, Hans Kleine Büning, György Turán:
Foreword. 263

Special issue articles

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Wild17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Wild17
Marcel Wild:
The joy of implications, aka pure Horn formulas: Mainly a survey. 264-292
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AusielloL17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AusielloL17
Giorgio Ausiello, Luigi Laura:
Directed hypergraphs: Introduction and fundamental algorithms - A survey. 293-306
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AdarichevaN17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AdarichevaN17
Kira V. Adaricheva, James B. Nation:
Discovery of the D-basis in binary tables based on hypergraph dualization. 307-315
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BabinK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BabinK17
Mikhail A. Babin, Sergei O. Kuznetsov:
Dualization in lattices given by ordered sets of irreducibles. 316-326
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Rudolph17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Rudolph17
Sebastian Rudolph:
Succinctness and tractability of closure operator representations. 327-345
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AriasBT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AriasBT17
Marta Arias, José L. Balcázar, Cristina Tîrnauca:
Learning definite Horn formulas from closure queries. 346-356
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/ChardinCPP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/ChardinCPP17
Brice Chardin, Emmanuel Coquery, Marie Pailloux, Jean-Marc Petit:
RQL: A Query Language for Rule Discovery in Databases. 357-374
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Obiedkov17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Obiedkov17
Sergei Obiedkov:
Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics. 375-390
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BeaudouMN17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BeaudouMN17
Laurent Beaudou, Arnaud Mary, Lhouari Nourine:
Algorithms for k-meet-semidistributive lattices. 391-398
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Kucera17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Kucera17
Petr Kucera:
Hydras: Complexity on general graphs and a subclass of trees. 399-416
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/SloanST17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/SloanST17
Robert H. Sloan, Despina Stasi, György Turán:
Hydras: Directed hypergraphs and Horn formulas. 417-428

maintained by

at