Díaz-Domínguez, Diego; Navarro, Gonzalo Efficient construction of the BWT for repetitive text using string compression. (English) Zbl 07742417 Inf. Comput. 294, Article ID 105088, 31 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Peng, Junqiang; Xiao, Mingyu Further improvements for SAT in terms of formula length. (English) Zbl 07742416 Inf. Comput. 294, Article ID 105085, 25 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Bruse, Florian; Lange, Martin The tail-recursive fragment of timed recursive CTL. (English) Zbl 07742415 Inf. Comput. 294, Article ID 105084, 18 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro Pspace-completeness of the temporal logic of sub-intervals and suffixes. (English) Zbl 07742414 Inf. Comput. 294, Article ID 105083, 20 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI OA License
Jansson, Jesper; Mampentzidis, Konstantinos; Sandhya, T. P. Building a small and informative phylogenetic supertree. (English) Zbl 07742413 Inf. Comput. 294, Article ID 105082, 19 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Benerecetti, Massimo; Mogavero, Fabio; Peron, Adriano Taming strategy logic: non-recurrent fragments. (English) Zbl 07742412 Inf. Comput. 294, Article ID 105081, 25 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI OA License
Ibarra, Oscar H.; McQuillan, Ian On the complexity of decision problems for some classes of machines and applications. (English) Zbl 07742411 Inf. Comput. 294, Article ID 105080, 21 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
van Glabbeek, Rob Modelling mutual exclusion in a process algebra with time-outs. (English) Zbl 07742410 Inf. Comput. 294, Article ID 105079, 36 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Lutz, Jack H.; Lutz, Neil; Mayordomo, Elvira Extending the reach of the point-to-set principle. (English) Zbl 07742409 Inf. Comput. 294, Article ID 105078, 19 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Feng, Yuan; Li, Sanjiang Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. (English) Zbl 1533.68039 Inf. Comput. 294, Article ID 105077, 22 p. (2023). MSC: 68N30 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Maletti, Andreas; Schiffer, Lena Katharina Combinatory categorial grammars as generators of weighted forests. (English) Zbl 07742407 Inf. Comput. 294, Article ID 105075, 24 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Giancarlo, Raffaele; Manzini, Giovanni; Restivo, Antonio; Rosone, Giovanna; Sciortino, Marinella A new class of string transformations for compressed text indexing. (English) Zbl 07742406 Inf. Comput. 294, Article ID 105068, 16 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Daniel, Renu Mary; Thomas, Anitha; Rajsingh, Elijah Blessing; Silas, Salaja A strengthened eCK secure identity based authenticated key agreement protocol based on the standard CDH assumption. (English) Zbl 07742405 Inf. Comput. 294, Article ID 105067, 20 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Feng, Weiming; Guo, Heng; Wang, Jiaheng Swendsen-Wang dynamics for the ferromagnetic Ising model with external fields. (English) Zbl 07742404 Inf. Comput. 294, Article ID 105066, 34 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Dyreson, Curtis E.; Ahsan, M. A. Manazir Achieving sequenced SQL with log-segmented timestamps. (English) Zbl 07742403 Inf. Comput. 294, Article ID 105065, 24 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI