Bolotov, Alexander; Hermo, Montserrat; Lucio, Paqui Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\). (English) Zbl 1433.03049 Theor. Comput. Sci. 813, 428-451 (2020). MSC: 03B44 68Q60 PDF BibTeX XML Cite \textit{A. Bolotov} et al., Theor. Comput. Sci. 813, 428--451 (2020; Zbl 1433.03049) Full Text: DOI OpenURL
Wang, Longchun; Li, Qingguo A logic for Lawson compact algebraic L-domains. (English) Zbl 1481.03012 Theor. Comput. Sci. 813, 410-427 (2020). MSC: 03B70 06B35 PDF BibTeX XML Cite \textit{L. Wang} and \textit{Q. Li}, Theor. Comput. Sci. 813, 410--427 (2020; Zbl 1481.03012) Full Text: DOI OpenURL
Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A. On the concurrent computational content of intermediate logics. (English) Zbl 1433.68229 Theor. Comput. Sci. 813, 375-409 (2020). MSC: 68Q85 03B40 03B55 PDF BibTeX XML Cite \textit{F. Aschieri} et al., Theor. Comput. Sci. 813, 375--409 (2020; Zbl 1433.68229) Full Text: DOI OpenURL
Kernberger, Daniel; Lange, Martin On the expressive power of hybrid branching-time logics. (English) Zbl 1433.03051 Theor. Comput. Sci. 813, 362-374 (2020). MSC: 03B44 68Q60 PDF BibTeX XML Cite \textit{D. Kernberger} and \textit{M. Lange}, Theor. Comput. Sci. 813, 362--374 (2020; Zbl 1433.03051) Full Text: DOI Link OpenURL
Couceiro, Miguel; Lehtonen, Erkko; Mercuriali, Pierre; Péchoux, Romain On the efficiency of normal form systems for representing Boolean functions. (English) Zbl 1481.06031 Theor. Comput. Sci. 813, 341-361 (2020). MSC: 06E30 68Q25 PDF BibTeX XML Cite \textit{M. Couceiro} et al., Theor. Comput. Sci. 813, 341--361 (2020; Zbl 1481.06031) Full Text: DOI Link OpenURL
Fujita, Ken-etsu A formal system of reduction paths for parallel reduction. (English) Zbl 1433.68190 Theor. Comput. Sci. 813, 327-340 (2020). MSC: 68Q42 03B40 68R10 PDF BibTeX XML Cite \textit{K.-e. Fujita}, Theor. Comput. Sci. 813, 327--340 (2020; Zbl 1433.68190) Full Text: DOI OpenURL
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard Timeline-based planning over dense temporal domains. (English) Zbl 1433.68406 Theor. Comput. Sci. 813, 305-326 (2020). MSC: 68T20 03B44 68Q25 68Q45 PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 813, 305--326 (2020; Zbl 1433.68406) Full Text: DOI OpenURL
Barozzini, David; de Frutos-Escrig, David; Della Monica, Dario; Montanari, Angelo; Sala, Pietro Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts. (English) Zbl 1433.68192 Theor. Comput. Sci. 813, 270-304 (2020). MSC: 68Q45 03D05 PDF BibTeX XML Cite \textit{D. Barozzini} et al., Theor. Comput. Sci. 813, 270--304 (2020; Zbl 1433.68192) Full Text: DOI OpenURL
Spalazzi, Luca; Spegni, Francesco Parameterized model checking of networks of timed automata with Boolean guards. (English) Zbl 1433.68219 Theor. Comput. Sci. 813, 248-269 (2020). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{L. Spalazzi} and \textit{F. Spegni}, Theor. Comput. Sci. 813, 248--269 (2020; Zbl 1433.68219) Full Text: DOI OpenURL
Dal Lago, Ugo; Gavazzo, Francesco; Tanaka, Ryo Effectful applicative similarity for call-by-name lambda calculi. (English) Zbl 1476.68052 Theor. Comput. Sci. 813, 234-247 (2020). Reviewer: Danko Ilik (Paris) MSC: 68N18 PDF BibTeX XML Cite \textit{U. Dal Lago} et al., Theor. Comput. Sci. 813, 234--247 (2020; Zbl 1476.68052) Full Text: DOI Link OpenURL
Paolini, Luca; Piccolo, Mauro; Roversi, Luca A class of recursive permutations which is primitive recursive complete. (English) Zbl 1481.03031 Theor. Comput. Sci. 813, 218-233 (2020). MSC: 03D20 68Q09 PDF BibTeX XML Cite \textit{L. Paolini} et al., Theor. Comput. Sci. 813, 218--233 (2020; Zbl 1481.03031) Full Text: DOI Link OpenURL
Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana Alternating-time temporal logics with linear past. (English) Zbl 1433.03050 Theor. Comput. Sci. 813, 199-217 (2020). MSC: 03B44 68Q60 PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 813, 199--217 (2020; Zbl 1433.03050) Full Text: DOI OpenURL
Bersani, Marcello M.; Rossi, Matteo; San Pietro, Pierluigi On the initialization of clocks in timed formalisms. (English) Zbl 1433.03048 Theor. Comput. Sci. 813, 175-198 (2020). MSC: 03B44 03D05 68Q45 PDF BibTeX XML Cite \textit{M. M. Bersani} et al., Theor. Comput. Sci. 813, 175--198 (2020; Zbl 1433.03048) Full Text: DOI Link OpenURL
Giordano, Laura; Policriti, Alberto Adding the power-set to description logics. (English) Zbl 1433.68420 Theor. Comput. Sci. 813, 155-174 (2020). MSC: 68T27 03E70 03E75 68T30 PDF BibTeX XML Cite \textit{L. Giordano} and \textit{A. Policriti}, Theor. Comput. Sci. 813, 155--174 (2020; Zbl 1433.68420) Full Text: DOI arXiv OpenURL
Matos, Armando B.; Paolini, Luca; Roversi, Luca The fixed point problem of a simple reversible language. (English) Zbl 1433.68079 Theor. Comput. Sci. 813, 143-154 (2020). MSC: 68N15 03B70 68N30 68Q09 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Theor. Comput. Sci. 813, 143--154 (2020; Zbl 1433.68079) Full Text: DOI Link OpenURL
Laurent, Olivier Polynomial time in untyped elementary linear logic. (English) Zbl 1481.03067 Theor. Comput. Sci. 813, 117-142 (2020). MSC: 03F52 68Q15 PDF BibTeX XML Cite \textit{O. Laurent}, Theor. Comput. Sci. 813, 117--142 (2020; Zbl 1481.03067) Full Text: DOI HAL OpenURL
Dal Lago, Ugo; Vanoni, Gabriele On randomised strategies in the \(\lambda \)-calculus. (English) Zbl 1481.03004 Theor. Comput. Sci. 813, 100-116 (2020). MSC: 03B40 68Q42 PDF BibTeX XML Cite \textit{U. Dal Lago} and \textit{G. Vanoni}, Theor. Comput. Sci. 813, 100--116 (2020; Zbl 1481.03004) Full Text: DOI arXiv HAL OpenURL
Baillot, Patrick; Ghyselen, Alexis Combining linear logic and size types for implicit complexity. (English) Zbl 1433.68086 Theor. Comput. Sci. 813, 70-99 (2020). MSC: 68N18 03B70 03F52 68Q15 PDF BibTeX XML Cite \textit{P. Baillot} and \textit{A. Ghyselen}, Theor. Comput. Sci. 813, 70--99 (2020; Zbl 1433.68086) Full Text: DOI Link OpenURL
Castiglioni, Valentina; Loreti, Michele; Tini, Simone The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. (English) Zbl 1433.68242 Theor. Comput. Sci. 813, 20-69 (2020). MSC: 68Q85 68Q87 PDF BibTeX XML Cite \textit{V. Castiglioni} et al., Theor. Comput. Sci. 813, 20--69 (2020; Zbl 1433.68242) Full Text: DOI OpenURL
Kapron, Bruce M.; Steinberg, Florian Type-two polynomial-time and restricted lookahead. (English) Zbl 1471.03070 Theor. Comput. Sci. 813, 1-19 (2020). Reviewer: Iosif Petrakis (München) MSC: 03D65 03B40 PDF BibTeX XML Cite \textit{B. M. Kapron} and \textit{F. Steinberg}, Theor. Comput. Sci. 813, 1--19 (2020; Zbl 1471.03070) Full Text: DOI arXiv OpenURL