Bhaskar, Siddharth; Kop, Cynthia; Simonsen, Jakob Grue Subclasses of Ptime interpreted by programming languages. (English) Zbl 07719393 Theory Comput. Syst. 67, No. 3, 437-472 (2023). MSC: 68Qxx 03Dxx 68Nxx PDFBibTeX XMLCite \textit{S. Bhaskar} et al., Theory Comput. Syst. 67, No. 3, 437--472 (2023; Zbl 07719393) Full Text: DOI
Schuster, Martin; Schwentick, Thomas Games for active XML revisited. (English) Zbl 1370.68073 Theory Comput. Syst. 61, No. 1, 84-155 (2017). MSC: 68P15 68Q25 68Q42 91A80 PDFBibTeX XMLCite \textit{M. Schuster} and \textit{T. Schwentick}, Theory Comput. Syst. 61, No. 1, 84--155 (2017; Zbl 1370.68073) Full Text: DOI arXiv Link
Rey, Anja; Rothe, Jörg; Marple, Adrian Path-disruption games: bribery and a probabilistic model. (English) Zbl 1411.91149 Theory Comput. Syst. 60, No. 2, 222-252 (2017). MSC: 91A43 05C57 91A60 PDFBibTeX XMLCite \textit{A. Rey} et al., Theory Comput. Syst. 60, No. 2, 222--252 (2017; Zbl 1411.91149) Full Text: DOI
Lu, Ping; Bremer, Joachim; Chen, Haiming Deciding determinism of regular languages. (English) Zbl 1339.68151 Theory Comput. Syst. 57, No. 1, 97-139 (2015). Reviewer: Michal Kunc (Brno) MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{P. Lu} et al., Theory Comput. Syst. 57, No. 1, 97--139 (2015; Zbl 1339.68151) Full Text: DOI
Jansen, Maurice; Sarma, Jayalal Balancing bounded treewidth circuits. (English) Zbl 1380.68315 Theory Comput. Syst. 54, No. 2, 318-336 (2014). MSC: 68R10 68Q15 PDFBibTeX XMLCite \textit{M. Jansen} and \textit{J. Sarma}, Theory Comput. Syst. 54, No. 2, 318--336 (2014; Zbl 1380.68315) Full Text: DOI
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid Regular languages of nested words: fixed points, automata, and synchronization. (English) Zbl 1236.68160 Theory Comput. Syst. 49, No. 3, 639-670 (2011). Reviewer: Alex Nabebin (Moskva) MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Arenas} et al., Theory Comput. Syst. 49, No. 3, 639--670 (2011; Zbl 1236.68160) Full Text: DOI Link
Jeż, Artur; Okhotin, Alexander Complexity of equations over sets of natural numbers. (English) Zbl 1209.68263 Theory Comput. Syst. 48, No. 2, 319-342 (2011). MSC: 68Q15 68Q17 68Q42 PDFBibTeX XMLCite \textit{A. Jeż} and \textit{A. Okhotin}, Theory Comput. Syst. 48, No. 2, 319--342 (2011; Zbl 1209.68263) Full Text: DOI
Simonsen, Jakob Grue Beta-shifts, their languages, and computability. (English) Zbl 1217.03029 Theory Comput. Syst. 48, No. 2, 297-318 (2011). MSC: 03D78 68Q17 68Q45 68R15 PDFBibTeX XMLCite \textit{J. G. Simonsen}, Theory Comput. Syst. 48, No. 2, 297--318 (2011; Zbl 1217.03029) Full Text: DOI
Danner, Norman; Royer, James S. Two algorithms in search of a type-system. (English) Zbl 1187.68308 Theory Comput. Syst. 45, No. 4, 787-821 (2009). MSC: 68Q55 68N99 68W05 PDFBibTeX XMLCite \textit{N. Danner} and \textit{J. S. Royer}, Theory Comput. Syst. 45, No. 4, 787--821 (2009; Zbl 1187.68308) Full Text: DOI arXiv
Kristiansen, Lars Complexity-theoretic hierarchies induced by fragments of Gödel’s \(T\). (English) Zbl 1166.03018 Theory Comput. Syst. 43, No. 3-4, 516-541 (2008). MSC: 03D20 68Q15 PDFBibTeX XMLCite \textit{L. Kristiansen}, Theory Comput. Syst. 43, No. 3--4, 516--541 (2008; Zbl 1166.03018) Full Text: DOI
Gál, Anna; Koucký, Michal; McKenzie, Pierre Incremental branching programs. (English) Zbl 1141.68031 Theory Comput. Syst. 43, No. 2, 159-184 (2008). MSC: 68Q05 68Q17 PDFBibTeX XMLCite \textit{A. Gál} et al., Theory Comput. Syst. 43, No. 2, 159--184 (2008; Zbl 1141.68031) Full Text: DOI Link
Macarie, I. I. Multihead two-way probabilistic finite automata. (English) Zbl 0870.68100 Theory Comput. Syst. 30, No. 1, 91-109 (1997). MSC: 68Q45 PDFBibTeX XMLCite \textit{I. I. Macarie}, Theory Comput. Syst. 30, No. 1, 91--109 (1997; Zbl 0870.68100) Full Text: DOI
Yen, Hsu-Chun; Wang, Bow-Yaw; Yang, Ming-Sheng Deciding a class of path formulas for conflict-free Petri nets. (English) Zbl 0876.68078 Theory Comput. Syst. 30, No. 5, 475-494 (1997). MSC: 68Q85 PDFBibTeX XMLCite \textit{H.-C. Yen} et al., Theory Comput. Syst. 30, No. 5, 475--494 (1997; Zbl 0876.68078) Full Text: DOI