Kutrib, Martin; Malcher, Andreas; Pighizzini, Giovanni Oblivious two-way finite automata: decidability and complexity. (English) Zbl 1360.68567 Inf. Comput. 237, 294-302 (2014). MSC: 68Q45 68Q17 PDFBibTeX XMLCite \textit{M. Kutrib} et al., Inf. Comput. 237, 294--302 (2014; Zbl 1360.68567) Full Text: DOI
Barash, Mikhail; Okhotin, Alexander An extension of context-free grammars with one-sided context specifications. (English) Zbl 1360.68531 Inf. Comput. 237, 268-293 (2014). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Barash} and \textit{A. Okhotin}, Inf. Comput. 237, 268--293 (2014; Zbl 1360.68531) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice Removing nondeterminism in constant height pushdown automata. (English) Zbl 1360.68539 Inf. Comput. 237, 257-267 (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{Z. Bednárová} et al., Inf. Comput. 237, 257--267 (2014; Zbl 1360.68539) Full Text: DOI
Charlier, Émilie; Honkala, Juha The freeness problem over matrix semigroups and bounded languages. (English) Zbl 1294.15013 Inf. Comput. 237, 243-256 (2014). MSC: 15A30 03D35 PDFBibTeX XMLCite \textit{É. Charlier} and \textit{J. Honkala}, Inf. Comput. 237, 243--256 (2014; Zbl 1294.15013) Full Text: DOI arXiv
Cantone, Domenico; Ursino, Pietro Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate. (English) Zbl 1291.03011 Inf. Comput. 237, 215-242 (2014). MSC: 03B25 03B35 03E30 PDFBibTeX XMLCite \textit{D. Cantone} and \textit{P. Ursino}, Inf. Comput. 237, 215--242 (2014; Zbl 1291.03011) Full Text: DOI arXiv
Golovach, Petr A.; Paulusma, Daniël; Song, Jian Closing complexity gaps for coloring problems on \(H\)-free graphs. (English) Zbl 1295.05105 Inf. Comput. 237, 204-214 (2014). MSC: 05C15 05C60 68Q17 PDFBibTeX XMLCite \textit{P. A. Golovach} et al., Inf. Comput. 237, 204--214 (2014; Zbl 1295.05105) Full Text: DOI
Giacobazzi, Roberto; Ranzato, Francesco Correctness kernels of abstract interpretations. (English) Zbl 1360.68363 Inf. Comput. 237, 187-203 (2014). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{R. Giacobazzi} and \textit{F. Ranzato}, Inf. Comput. 237, 187--203 (2014; Zbl 1360.68363) Full Text: DOI
Stephan, Frank; Teutsch, Jason Things that can be made into themselves. (English) Zbl 1336.03049 Inf. Comput. 237, 174-186 (2014). MSC: 03D32 03D25 PDFBibTeX XMLCite \textit{F. Stephan} and \textit{J. Teutsch}, Inf. Comput. 237, 174--186 (2014; Zbl 1336.03049) Full Text: DOI arXiv
Schuster, Johann; Siegle, Markus Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states. (English) Zbl 1360.68571 Inf. Comput. 237, 151-173 (2014). MSC: 68Q45 68Q85 68Q87 PDFBibTeX XMLCite \textit{J. Schuster} and \textit{M. Siegle}, Inf. Comput. 237, 151--173 (2014; Zbl 1360.68571) Full Text: DOI arXiv
Brand, Michael Constant-time sorting. (English) Zbl 1360.68391 Inf. Comput. 237, 142-150 (2014). MSC: 68P10 68W40 PDFBibTeX XMLCite \textit{M. Brand}, Inf. Comput. 237, 142--150 (2014; Zbl 1360.68391) Full Text: DOI
Kalnishkan, Yuri; Vyugin, Michael V.; Vovk, Vladimir Generalised entropies and asymptotic complexities of languages. (English) Zbl 1360.68527 Inf. Comput. 237, 101-141 (2014). MSC: 68Q32 94A17 PDFBibTeX XMLCite \textit{Y. Kalnishkan} et al., Inf. Comput. 237, 101--141 (2014; Zbl 1360.68527) Full Text: DOI
Peng, Yung-Hsing; Yang, Chang-Biau Finding the gapped longest common subsequence by incremental suffix maximum queries. (English) Zbl 1360.68965 Inf. Comput. 237, 95-100 (2014). MSC: 68W32 PDFBibTeX XMLCite \textit{Y.-H. Peng} and \textit{C.-B. Yang}, Inf. Comput. 237, 95--100 (2014; Zbl 1360.68965) Full Text: DOI
Jeż, Artur; Okhotin, Alexander Computational completeness of equations over sets of natural numbers. (English) Zbl 1291.03078 Inf. Comput. 237, 56-94 (2014). MSC: 03D25 03D05 PDFBibTeX XMLCite \textit{A. Jeż} and \textit{A. Okhotin}, Inf. Comput. 237, 56--94 (2014; Zbl 1291.03078) Full Text: DOI
Calvanese, Diego; Eiter, Thomas; Ortiz, Magdalena Answering regular path queries in expressive description logics via alternating tree-automata. (English) Zbl 1360.68801 Inf. Comput. 237, 12-55 (2014). MSC: 68T30 68Q25 68Q45 68T27 68T35 PDFBibTeX XMLCite \textit{D. Calvanese} et al., Inf. Comput. 237, 12--55 (2014; Zbl 1360.68801) Full Text: DOI
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James Language equivalence of probabilistic pushdown automata. (English) Zbl 1360.68556 Inf. Comput. 237, 1-11 (2014). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{V. Forejt} et al., Inf. Comput. 237, 1--11 (2014; Zbl 1360.68556) Full Text: DOI