Engelfriet, Joost Corrigendum to: “Iterated stack automata and complexity classes”. (English) Zbl 1414.68033 Inf. Comput. 267, 164-167 (2019). MSC: 68Q15 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, Inf. Comput. 267, 164--167 (2019; Zbl 1414.68033) Full Text: DOI
Clerc, Florence; Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash Expressiveness of probabilistic modal logics: a gradual approach. (English) Zbl 1422.68167 Inf. Comput. 267, 145-163 (2019). MSC: 68Q85 03B45 03B48 03E15 68Q87 PDFBibTeX XMLCite \textit{F. Clerc} et al., Inf. Comput. 267, 145--163 (2019; Zbl 1422.68167) Full Text: DOI
Rizzi, Romeo; Tomescu, Alexandru I. Faster FPTASes for counting and random generation of knapsack solutions. (English) Zbl 1423.68600 Inf. Comput. 267, 135-144 (2019). MSC: 68W25 68W40 90C27 90C39 PDFBibTeX XMLCite \textit{R. Rizzi} and \textit{A. I. Tomescu}, Inf. Comput. 267, 135--144 (2019; Zbl 1423.68600) Full Text: DOI
Chen, Yijia; Flum, Jörg Some lower bounds in parameterized \(\mathrm{AC}^{0}\). (English) Zbl 1423.68196 Inf. Comput. 267, 116-134 (2019). Reviewer: Ioan Tomescu (Bucureşti) MSC: 68Q19 05C69 68Q15 68Q17 68Q25 68R10 PDFBibTeX XMLCite \textit{Y. Chen} and \textit{J. Flum}, Inf. Comput. 267, 116--134 (2019; Zbl 1423.68196) Full Text: DOI
Honkala, Juha A characterization of free pairs of upper triangular free monoid morphisms. (English) Zbl 1477.68172 Inf. Comput. 267, 110-115 (2019). MSC: 68Q70 20M05 20M35 68R15 PDFBibTeX XMLCite \textit{J. Honkala}, Inf. Comput. 267, 110--115 (2019; Zbl 1477.68172) Full Text: DOI
Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca; Porreca, Antonio E. Complexity of the dynamics of reaction systems. (English) Zbl 1422.68069 Inf. Comput. 267, 96-109 (2019). MSC: 68Q05 37B10 68Q17 68Q25 PDFBibTeX XMLCite \textit{A. Dennunzio} et al., Inf. Comput. 267, 96--109 (2019; Zbl 1422.68069) Full Text: DOI arXiv
Boros, Endre; Elbassioni, Khaled; Gurvich, Vladimir; Makino, Kazuhisa A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions. (English) Zbl 1425.91045 Inf. Comput. 267, 74-95 (2019). MSC: 91A15 68W40 PDFBibTeX XMLCite \textit{E. Boros} et al., Inf. Comput. 267, 74--95 (2019; Zbl 1425.91045) Full Text: DOI arXiv
Riis, Søren; Gadouleau, Maximilien Max-flow min-cut theorems on dispersion and entropy measures for communication networks. (English) Zbl 1455.94081 Inf. Comput. 267, 49-73 (2019). MSC: 94A17 94A05 90B18 PDFBibTeX XMLCite \textit{S. Riis} and \textit{M. Gadouleau}, Inf. Comput. 267, 49--73 (2019; Zbl 1455.94081) Full Text: DOI Link
Ibarra, Oscar H.; McQuillan, Ian On store languages and applications. (English) Zbl 1422.68151 Inf. Comput. 267, 28-48 (2019). MSC: 68Q45 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{I. McQuillan}, Inf. Comput. 267, 28--48 (2019; Zbl 1422.68151) Full Text: DOI arXiv
Tatsuta, Makoto; Chin, Wei-Ngan; Al Ameen, Mahmudul Faisal Completeness and expressiveness of pointer program verification by separation logic. (English) Zbl 1422.68038 Inf. Comput. 267, 1-27 (2019). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{M. Tatsuta} et al., Inf. Comput. 267, 1--27 (2019; Zbl 1422.68038) Full Text: DOI