Carapelle, Claudia; Feng, Shiguang; Kartzow, Alexander; Lohrey, Markus Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints. (English) Zbl 1435.03040 Theory Comput. Syst. 61, No. 2, 689-720 (2017). MSC: 03B44 03B25 PDFBibTeX XMLCite \textit{C. Carapelle} et al., Theory Comput. Syst. 61, No. 2, 689--720 (2017; Zbl 1435.03040) Full Text: DOI
de Oliveira Oliveira, Mateus On the satisfiability of quantum circuits of small treewidth. (English) Zbl 1378.68044 Theory Comput. Syst. 61, No. 2, 656-688 (2017). MSC: 68Q12 81P68 PDFBibTeX XMLCite \textit{M. de Oliveira Oliveira}, Theory Comput. Syst. 61, No. 2, 656--688 (2017; Zbl 1378.68044) Full Text: DOI
Bova, Simone; Slivovsky, Friedrich On compiling structured CNFs to OBDDs. (English) Zbl 1378.68028 Theory Comput. Syst. 61, No. 2, 637-655 (2017). MSC: 68P05 03B05 68Q25 68R10 PDFBibTeX XMLCite \textit{S. Bova} and \textit{F. Slivovsky}, Theory Comput. Syst. 61, No. 2, 637--655 (2017; Zbl 1378.68028) Full Text: DOI arXiv
Edelkamp, Stefan; Elmasry, Amr; Katajainen, Jyrki Optimizing binary heaps. (English) Zbl 1378.68030 Theory Comput. Syst. 61, No. 2, 606-636 (2017). MSC: 68P05 PDFBibTeX XMLCite \textit{S. Edelkamp} et al., Theory Comput. Syst. 61, No. 2, 606--636 (2017; Zbl 1378.68030) Full Text: DOI Link
Barash, Mikhail; Okhotin, Alexander Generalized LR parsing algorithm for grammars with one-sided contexts. (English) Zbl 1379.68192 Theory Comput. Syst. 61, No. 2, 581-605 (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Barash} and \textit{A. Okhotin}, Theory Comput. Syst. 61, No. 2, 581--605 (2017; Zbl 1379.68192) Full Text: DOI
Penelle, Vincent Rewriting higher-order stack trees. (English) Zbl 1378.68110 Theory Comput. Syst. 61, No. 2, 536-580 (2017). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{V. Penelle}, Theory Comput. Syst. 61, No. 2, 536--580 (2017; Zbl 1378.68110) Full Text: DOI
Milovanov, Alexey Some properties of antistochastic strings. (English) Zbl 1378.68099 Theory Comput. Syst. 61, No. 2, 521-535 (2017). MSC: 68Q30 PDFBibTeX XMLCite \textit{A. Milovanov}, Theory Comput. Syst. 61, No. 2, 521--535 (2017; Zbl 1378.68099) Full Text: DOI arXiv
Diekert, Volker; Martin, Florent; Sénizergues, Géraud; Silva, Pedro V. Equations over free inverse monoids with idempotent variables. (English) Zbl 1404.20046 Theory Comput. Syst. 61, No. 2, 494-520 (2017). MSC: 20M05 20M18 68Q25 PDFBibTeX XMLCite \textit{V. Diekert} et al., Theory Comput. Syst. 61, No. 2, 494--520 (2017; Zbl 1404.20046) Full Text: DOI arXiv
Podolskii, Vladimir V. Bounds in ontology-based data access via circuit complexity. (English) Zbl 1378.68038 Theory Comput. Syst. 61, No. 2, 464-493 (2017). MSC: 68P15 68Q25 PDFBibTeX XMLCite \textit{V. V. Podolskii}, Theory Comput. Syst. 61, No. 2, 464--493 (2017; Zbl 1378.68038) Full Text: DOI
Beklemishev, Lev (ed.) Guest editorial: Computer science symposium in Russia. (English) Zbl 1372.00090 Theory Comput. Syst. 61, No. 2, 462-463 (2017). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{L. Beklemishev} (ed.), Theory Comput. Syst. 61, No. 2, 462--463 (2017; Zbl 1372.00090) Full Text: DOI
Demri, Stéphane; Galmiche, Didier; Larchey-Wendling, Dominique; Méry, Daniel Separation logic with one quantified variable. (English) Zbl 1435.68117 Theory Comput. Syst. 61, No. 2, 371-461 (2017). MSC: 68Q25 03B70 68Q17 68Q60 PDFBibTeX XMLCite \textit{S. Demri} et al., Theory Comput. Syst. 61, No. 2, 371--461 (2017; Zbl 1435.68117) Full Text: DOI HAL
Fleischer, Lukas; Kufleitner, Manfred; Lauser, Alexander The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy. (English) Zbl 1436.03215 Theory Comput. Syst. 61, No. 2, 352-370 (2017). MSC: 03D05 20M35 PDFBibTeX XMLCite \textit{L. Fleischer} et al., Theory Comput. Syst. 61, No. 2, 352--370 (2017; Zbl 1436.03215) Full Text: DOI
Lohrey, Markus; Schmidt-Schauß, Manfred Processing succinct matrices and vectors. (English) Zbl 1378.68087 Theory Comput. Syst. 61, No. 2, 322-351 (2017). MSC: 68Q25 15B33 68P05 68W30 PDFBibTeX XMLCite \textit{M. Lohrey} and \textit{M. Schmidt-Schauß}, Theory Comput. Syst. 61, No. 2, 322--351 (2017; Zbl 1378.68087) Full Text: DOI arXiv
Kawachi, Akinori; Rossman, Benjamin; Watanabe, Osamu The query complexity of witness finding. (English) Zbl 1379.68170 Theory Comput. Syst. 61, No. 2, 305-321 (2017). MSC: 68Q25 68P30 68Q17 68Q87 PDFBibTeX XMLCite \textit{A. Kawachi} et al., Theory Comput. Syst. 61, No. 2, 305--321 (2017; Zbl 1379.68170) Full Text: DOI Link
Fürer, Martin; Yu, Huiwen Space saving by dynamic algebraization based on tree-depth. (English) Zbl 1379.68379 Theory Comput. Syst. 61, No. 2, 283-304 (2017). MSC: 68W40 68R10 90C39 PDFBibTeX XMLCite \textit{M. Fürer} and \textit{H. Yu}, Theory Comput. Syst. 61, No. 2, 283--304 (2017; Zbl 1379.68379) Full Text: DOI
Schwerdtfeger, Konrad W. The connectivity of Boolean satisfiability: dichotomies for formulas and circuits. (English) Zbl 1378.68093 Theory Comput. Syst. 61, No. 2, 263-282 (2017). MSC: 68Q25 03B05 05C40 68Q17 94C11 PDFBibTeX XMLCite \textit{K. W. Schwerdtfeger}, Theory Comput. Syst. 61, No. 2, 263--282 (2017; Zbl 1378.68093) Full Text: DOI arXiv
Bulatov, Andrei A. (ed.); Hirsch, Edward A. (ed.); Pin, Jean-Éric (ed.) Preface. (English) Zbl 1372.00093 Theory Comput. Syst. 61, No. 2, 261-262 (2017). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{A. A. Bulatov} (ed.) et al., Theory Comput. Syst. 61, No. 2, 261--262 (2017; Zbl 1372.00093) Full Text: DOI