Chalopin, Jérémie; Changat, Manoj; Chepoi, Victor; Jacob, Jeny First-order logic axiomatization of metric graph theory. (English) Zbl 07819255 Theor. Comput. Sci. 993, Article ID 114460, 28 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Chalopin} et al., Theor. Comput. Sci. 993, Article ID 114460, 28 p. (2024; Zbl 07819255) Full Text: DOI arXiv
Brauße, Franz; Korovin, Konstantin; Korovina, Margarita V.; Müller, Norbert Th. The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints. (English) Zbl 07741110 Theor. Comput. Sci. 975, Article ID 114125, 16 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Brauße} et al., Theor. Comput. Sci. 975, Article ID 114125, 16 p. (2023; Zbl 07741110) Full Text: DOI
de’Liguoro, Ugo; Treglia, Riccardo From semantics to types: the case of the imperative \(\lambda\)-calculus. (English) Zbl 07735130 Theor. Comput. Sci. 973, Article ID 114082, 25 p. (2023). MSC: 68N18 03B40 18C50 PDFBibTeX XMLCite \textit{U. de'Liguoro} and \textit{R. Treglia}, Theor. Comput. Sci. 973, Article ID 114082, 25 p. (2023; Zbl 07735130) Full Text: DOI arXiv
Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo On counting propositional logic and Wagner’s hierarchy. (English) Zbl 07699965 Theor. Comput. Sci. 966-967, Article ID 113928, 21 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Antonelli} et al., Theor. Comput. Sci. 966--967, Article ID 113928, 21 p. (2023; Zbl 07699965) Full Text: DOI
Horne, Ross; Mauw, Sjouke; Yurkov, Semen When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus. (English) Zbl 07685353 Theor. Comput. Sci. 959, Article ID 113842, 42 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{R. Horne} et al., Theor. Comput. Sci. 959, Article ID 113842, 42 p. (2023; Zbl 07685353) Full Text: DOI
Pasqua, Michele; Miculan, Marino AbU: a calculus for distributed event-driven programming with attribute-based interaction. (English) Zbl 07681293 Theor. Comput. Sci. 958, Article ID 113841, 32 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Pasqua} and \textit{M. Miculan}, Theor. Comput. Sci. 958, Article ID 113841, 32 p. (2023; Zbl 07681293) Full Text: DOI
Díaz-Caro, Alejandro; Dowek, Gilles A new connective in natural deduction, and its application to quantum computing. (English) Zbl 07679990 Theor. Comput. Sci. 957, Article ID 113840, 27 p. (2023). MSC: 81P68 32E05 68N18 03B38 68V15 81P15 81P10 68Q12 PDFBibTeX XMLCite \textit{A. Díaz-Caro} and \textit{G. Dowek}, Theor. Comput. Sci. 957, Article ID 113840, 27 p. (2023; Zbl 07679990) Full Text: DOI
Thompson, Declan Execution trace sets for real computation. (English) Zbl 07676459 Theor. Comput. Sci. 940, 2-17 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Thompson}, Theor. Comput. Sci. 940, 2--17 (2023; Zbl 07676459) Full Text: DOI
Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G. Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages. (English) Zbl 07673768 Theor. Comput. Sci. 954, Article ID 113786, 21 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Cantone} et al., Theor. Comput. Sci. 954, Article ID 113786, 21 p. (2023; Zbl 07673768) Full Text: DOI
Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo; Scherzinger, Stefanie Negation-closure for JSON schema. (English) Zbl 07673670 Theor. Comput. Sci. 955, Article ID 113823, 36 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M.-A. Baazizi} et al., Theor. Comput. Sci. 955, Article ID 113823, 36 p. (2023; Zbl 07673670) Full Text: DOI arXiv
Jin, Zhao; Zhang, Bowen; Cao, Tianyue; Cao, Yongzhi; Wang, Hanpin Reasoning about block-based cloud storage systems via separation logic. (English) Zbl 07604601 Theor. Comput. Sci. 936, 43-76 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{Z. Jin} et al., Theor. Comput. Sci. 936, 43--76 (2022; Zbl 07604601) Full Text: DOI
Rybakov, Mikhail; Shkatov, Dmitry Complexity of finite-variable fragments of propositional temporal and modal logics of computation. (English) Zbl 07547827 Theor. Comput. Sci. 925, 45-60 (2022). MSC: 03B70 03B44 03B45 68Q25 PDFBibTeX XMLCite \textit{M. Rybakov} and \textit{D. Shkatov}, Theor. Comput. Sci. 925, 45--60 (2022; Zbl 07547827) Full Text: DOI
Senda, Ryoma; Takata, Yoshiaki; Seki, Hiroyuki Complexity results on register context-free grammars and related formalisms. (English) Zbl 07540233 Theor. Comput. Sci. 923, 99-125 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{R. Senda} et al., Theor. Comput. Sci. 923, 99--125 (2022; Zbl 07540233) Full Text: DOI
Gima, Tatsuya; Hanaka, Tesshu; Kiyomi, Masashi; Kobayashi, Yasuaki; Otachi, Yota Exploring the gap between treedepth and vertex cover through vertex integrity. (English) Zbl 07524431 Theor. Comput. Sci. 918, 60-76 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{T. Gima} et al., Theor. Comput. Sci. 918, 60--76 (2022; Zbl 07524431) Full Text: DOI arXiv
Campagner, Andrea; Ciucci, Davide; Dorigatti, Valentina Uncertainty representation in dynamical systems using rough set theory. (English) Zbl 07477140 Theor. Comput. Sci. 908, 28-42 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Campagner} et al., Theor. Comput. Sci. 908, 28--42 (2022; Zbl 07477140) Full Text: DOI
Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo Categorical specification and implementation of replicated data types. (English) Zbl 07467470 Theor. Comput. Sci. 903, 84-112 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Gadducci} et al., Theor. Comput. Sci. 903, 84--112 (2022; Zbl 07467470) Full Text: DOI
Montanari, Angelo; Sala, Pietro Reactive synthesis from interval temporal logic specifications. (English) Zbl 1515.68185 Theor. Comput. Sci. 899, 48-79 (2022). MSC: 68Q60 03B44 03D15 PDFBibTeX XMLCite \textit{A. Montanari} and \textit{P. Sala}, Theor. Comput. Sci. 899, 48--79 (2022; Zbl 1515.68185) Full Text: DOI
Seki, Hiroyuki; Yoshimura, Reo; Takata, Yoshiaki Optimal run problem for weighted register automata. (English) Zbl 1464.68185 Theor. Comput. Sci. 850, 185-201 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Seki} et al., Theor. Comput. Sci. 850, 185--201 (2021; Zbl 1464.68185) Full Text: DOI
Cerna, David M. Anti-unification and the theory of semirings. (English) Zbl 1464.68138 Theor. Comput. Sci. 848, 133-139 (2020). MSC: 68Q42 16Y60 PDFBibTeX XMLCite \textit{D. M. Cerna}, Theor. Comput. Sci. 848, 133--139 (2020; Zbl 1464.68138) Full Text: DOI
Koponen, Vera Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination. (English) Zbl 1483.03023 Theor. Comput. Sci. 848, 1-27 (2020). Reviewer: Jürgen Landes (München) MSC: 03C13 03B42 03B48 03C10 68Q11 68Q87 68T05 PDFBibTeX XMLCite \textit{V. Koponen}, Theor. Comput. Sci. 848, 1--27 (2020; Zbl 1483.03023) Full Text: DOI arXiv
Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana Hierarchical cost-parity games. (English) Zbl 1464.68232 Theor. Comput. Sci. 847, 147-174 (2020). MSC: 68Q85 68Q25 91A43 91A80 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 847, 147--174 (2020; Zbl 1464.68232) Full Text: DOI Link
Fahrenberg, Uli; Legay, Axel; Quaas, Karin Computing branching distances with quantitative games. (English) Zbl 1464.68239 Theor. Comput. Sci. 847, 134-146 (2020). MSC: 68Q85 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{U. Fahrenberg} et al., Theor. Comput. Sci. 847, 134--146 (2020; Zbl 1464.68239) Full Text: DOI
de’Liguoro, Ugo; Treglia, Riccardo The untyped computational \(\lambda \)-calculus and its intersection type discipline. (English) Zbl 1464.68056 Theor. Comput. Sci. 846, 141-159 (2020). MSC: 68N18 03B40 18C15 PDFBibTeX XMLCite \textit{U. de'Liguoro} and \textit{R. Treglia}, Theor. Comput. Sci. 846, 141--159 (2020; Zbl 1464.68056) Full Text: DOI Link
Jansen, Bart M. P.; Pieterse, Astrid Polynomial kernels for hitting forbidden minors under structural parameterizations. (English) Zbl 1455.68143 Theor. Comput. Sci. 841, 124-166 (2020). MSC: 68R10 05C40 05C83 68Q27 PDFBibTeX XMLCite \textit{B. M. P. Jansen} and \textit{A. Pieterse}, Theor. Comput. Sci. 841, 124--166 (2020; Zbl 1455.68143) Full Text: DOI arXiv Link
Dimovski, Aleksandar S.; Legay, Axel; Wasowski, Andrzej Generalized abstraction-refinement for game-based CTL lifted model checking. (English) Zbl 1460.68058 Theor. Comput. Sci. 837, 181-206 (2020). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{A. S. Dimovski} et al., Theor. Comput. Sci. 837, 181--206 (2020; Zbl 1460.68058) Full Text: DOI
Im, Hyeonseung; Genevès, Pierre; Gesbert, Nils; Layaïda, Nabil Backward type inference for XML queries. (English) Zbl 1440.68056 Theor. Comput. Sci. 823, 69-99 (2020). MSC: 68P15 68N18 68P05 PDFBibTeX XMLCite \textit{H. Im} et al., Theor. Comput. Sci. 823, 69--99 (2020; Zbl 1440.68056) Full Text: DOI HAL
Blumensath, Achim; Wolf, Felix Bisimulation invariant monadic-second order logic in the finite. (English) Zbl 1484.03047 Theor. Comput. Sci. 823, 26-43 (2020). MSC: 03B70 03B16 03B45 PDFBibTeX XMLCite \textit{A. Blumensath} and \textit{F. Wolf}, Theor. Comput. Sci. 823, 26--43 (2020; Zbl 1484.03047) Full Text: DOI arXiv Link
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 PDFBibTeX XMLCite \textit{F. Aschieri} et al., Theor. Comput. Sci. 813, 375--409 (2020; Zbl 1433.68229) Full Text: DOI
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 PDFBibTeX XMLCite \textit{K.-e. Fujita}, Theor. Comput. Sci. 813, 327--340 (2020; Zbl 1433.68190) Full Text: DOI
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 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 813, 305--326 (2020; Zbl 1433.68406) Full Text: DOI
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 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 813, 199--217 (2020; Zbl 1433.03050) Full Text: DOI
Laurent, Olivier Polynomial time in untyped elementary linear logic. (English) Zbl 1481.03067 Theor. Comput. Sci. 813, 117-142 (2020). MSC: 03F52 68Q15 PDFBibTeX XMLCite \textit{O. Laurent}, Theor. Comput. Sci. 813, 117--142 (2020; Zbl 1481.03067) Full Text: DOI HAL
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 PDFBibTeX XMLCite \textit{B. M. Kapron} and \textit{F. Steinberg}, Theor. Comput. Sci. 813, 1--19 (2020; Zbl 1471.03070) Full Text: DOI arXiv
Kozen, Dexter; Silva, Alexandra Left-handed completeness. (English) Zbl 1436.68202 Theor. Comput. Sci. 807, 220-233 (2020). MSC: 68Q70 PDFBibTeX XMLCite \textit{D. Kozen} and \textit{A. Silva}, Theor. Comput. Sci. 807, 220--233 (2020; Zbl 1436.68202) Full Text: DOI
Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna Dynamic resource allocation games. (English) Zbl 1443.91030 Theor. Comput. Sci. 807, 42-55 (2020). MSC: 91A14 91A25 91A80 91B32 PDFBibTeX XMLCite \textit{G. Avni} et al., Theor. Comput. Sci. 807, 42--55 (2020; Zbl 1443.91030) Full Text: DOI
Alur, Rajeev; Fisman, Dana; Mamouras, Konstantinos; Raghothaman, Mukund; Stanford, Caleb Streamable regular transductions. (English) Zbl 1436.68157 Theor. Comput. Sci. 807, 15-41 (2020). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{R. Alur} et al., Theor. Comput. Sci. 807, 15--41 (2020; Zbl 1436.68157) Full Text: DOI arXiv
Murano, Aniello; Parente, Mimmo; Rubin, Sasha; Sorrentino, Loredana Model-checking graded computation-tree logic with finite path semantics. (English) Zbl 1436.68197 Theor. Comput. Sci. 806, 577-586 (2020). MSC: 68Q60 03B44 68Q17 PDFBibTeX XMLCite \textit{A. Murano} et al., Theor. Comput. Sci. 806, 577--586 (2020; Zbl 1436.68197) Full Text: DOI
Castiglioni, Valentina; Tini, Simone Probabilistic divide & congruence: branching bisimilarity. (English) Zbl 1436.68209 Theor. Comput. Sci. 802, 147-196 (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{V. Castiglioni} and \textit{S. Tini}, Theor. Comput. Sci. 802, 147--196 (2020; Zbl 1436.68209) Full Text: DOI
Filmus, Yuval Another look at degree lower bounds for polynomial calculus. (English) Zbl 1454.03077 Theor. Comput. Sci. 796, 286-293 (2019). MSC: 03F20 13P10 13P25 PDFBibTeX XMLCite \textit{Y. Filmus}, Theor. Comput. Sci. 796, 286--293 (2019; Zbl 1454.03077) Full Text: DOI
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine Alternating-time temporal logic ATL with finitely bounded semantics. (English) Zbl 1434.03067 Theor. Comput. Sci. 797, 129-155 (2019). MSC: 03B44 03B25 68Q17 68T27 PDFBibTeX XMLCite \textit{V. Goranko} et al., Theor. Comput. Sci. 797, 129--155 (2019; Zbl 1434.03067) Full Text: DOI
Wałęga, Przemysław Andrzej Hybrid fragments of Halpern-Shoham logic and their expressive power. (English) Zbl 1434.03068 Theor. Comput. Sci. 797, 102-128 (2019). MSC: 03B44 03B70 PDFBibTeX XMLCite \textit{P. A. Wałęga}, Theor. Comput. Sci. 797, 102--128 (2019; Zbl 1434.03068) Full Text: DOI Link
Gelle, Kitti; Iván, Szabolcs The ordinal generated by an ordinal grammar is computable. (English) Zbl 1430.68135 Theor. Comput. Sci. 793, 1-13 (2019). MSC: 68Q42 03B25 03E10 PDFBibTeX XMLCite \textit{K. Gelle} and \textit{S. Iván}, Theor. Comput. Sci. 793, 1--13 (2019; Zbl 1430.68135) Full Text: DOI arXiv
Breik, Keenan; Thachuk, Chris; Heule, Marijn; Soloveichik, David Computing properties of stable configurations of thermodynamic binding networks. (English) Zbl 1423.68164 Theor. Comput. Sci. 785, 17-29 (2019). MSC: 68Q05 68Q17 92C45 PDFBibTeX XMLCite \textit{K. Breik} et al., Theor. Comput. Sci. 785, 17--29 (2019; Zbl 1423.68164) Full Text: DOI arXiv
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle Formalized meta-theory of sequent calculi for linear logics. (English) Zbl 1425.03007 Theor. Comput. Sci. 781, 24-38 (2019). MSC: 03B35 03B47 03F05 03F52 68T15 PDFBibTeX XMLCite \textit{K. Chaudhuri} et al., Theor. Comput. Sci. 781, 24--38 (2019; Zbl 1425.03007) Full Text: DOI
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea Symbolic computation of differential equivalences. (English) Zbl 1425.68463 Theor. Comput. Sci. 777, 132-154 (2019). MSC: 68W30 34C99 68N30 68Q55 68Q60 68Q85 92C40 PDFBibTeX XMLCite \textit{L. Cardelli} et al., Theor. Comput. Sci. 777, 132--154 (2019; Zbl 1425.68463) Full Text: DOI Link
Aceto, Luca; Della Monica, Dario; Fábregas, Ignacio; Ingólfsdóttir, Anna When are prime formulae characteristic? (English) Zbl 1425.68246 Theor. Comput. Sci. 777, 3-31 (2019). MSC: 68Q60 03B45 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 777, 3--31 (2019; Zbl 1425.68246) Full Text: DOI
Bernot, G.; Comet, J.-P.; Khalis, Z.; Richard, A.; Roux, O. A genetically modified Hoare logic. (English) Zbl 1423.68163 Theor. Comput. Sci. 765, 145-157 (2019). MSC: 68Q05 03B70 92C42 PDFBibTeX XMLCite \textit{G. Bernot} et al., Theor. Comput. Sci. 765, 145--157 (2019; Zbl 1423.68163) Full Text: DOI arXiv
Araújo, Júlio; Sales, Cláudia Linhares; Sau, Ignasi; Silva, Ana Weighted proper orientations of trees and graphs of bounded treewidth. (English) Zbl 1421.68104 Theor. Comput. Sci. 771, 39-48 (2019). MSC: 68R10 05C85 68Q17 68Q25 PDFBibTeX XMLCite \textit{J. Araújo} et al., Theor. Comput. Sci. 771, 39--48 (2019; Zbl 1421.68104) Full Text: DOI arXiv
Straßburger, Lutz On the decision problem for MELL. (English) Zbl 1454.03084 Theor. Comput. Sci. 768, 91-98 (2019). MSC: 03F52 03B25 PDFBibTeX XMLCite \textit{L. Straßburger}, Theor. Comput. Sci. 768, 91--98 (2019; Zbl 1454.03084) Full Text: DOI HAL
Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism. (English) Zbl 1410.68051 Theor. Comput. Sci. 756, 64-93 (2019). MSC: 68M12 68M10 68M14 PDFBibTeX XMLCite \textit{B. Marinković} et al., Theor. Comput. Sci. 756, 64--93 (2019; Zbl 1410.68051) Full Text: DOI
Neves, Renato; Barbosa, Luís S. Languages and models for hybrid automata: a coalgebraic perspective. (English) Zbl 1400.68112 Theor. Comput. Sci. 744, 113-142 (2018). MSC: 68Q45 18B20 68Q70 68Q85 PDFBibTeX XMLCite \textit{R. Neves} and \textit{L. S. Barbosa}, Theor. Comput. Sci. 744, 113--142 (2018; Zbl 1400.68112) Full Text: DOI Link
Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly Weighted register automata and weighted logic on data words. (English) Zbl 1400.68097 Theor. Comput. Sci. 744, 3-21 (2018). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{P. Babari} et al., Theor. Comput. Sci. 744, 3--21 (2018; Zbl 1400.68097) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen Institutions for navigational logics for graphical structures. (English) Zbl 1436.03325 Theor. Comput. Sci. 741, 19-24 (2018). MSC: 03G30 03B60 03B70 PDFBibTeX XMLCite \textit{F. Orejas} et al., Theor. Comput. Sci. 741, 19--24 (2018; Zbl 1436.03325) Full Text: DOI Link
Ayala-Rincón, Maurício; Fernández, Maribel; Rocha-Oliveira, Ana Cristina; Ventura, Daniel Lima Nominal essential intersection types. (English) Zbl 1395.68081 Theor. Comput. Sci. 737, 62-80 (2018). MSC: 68N15 68N30 68Q42 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Theor. Comput. Sci. 737, 62--80 (2018; Zbl 1395.68081) Full Text: DOI Link
Hofman, Piotr; Totzke, Patrick Trace inclusion for one-counter nets revisited. (English) Zbl 1393.68118 Theor. Comput. Sci. 735, 50-63 (2018). MSC: 68Q85 68Q17 68Q45 PDFBibTeX XMLCite \textit{P. Hofman} and \textit{P. Totzke}, Theor. Comput. Sci. 735, 50--63 (2018; Zbl 1393.68118) Full Text: DOI arXiv
Quaglia, Elizabeth A.; Smyth, Ben Secret, verifiable auctions from elections. (English) Zbl 1402.91176 Theor. Comput. Sci. 730, 44-92 (2018). MSC: 91B26 91B12 94A60 94A62 PDFBibTeX XMLCite \textit{E. A. Quaglia} and \textit{B. Smyth}, Theor. Comput. Sci. 730, 44--92 (2018; Zbl 1402.91176) Full Text: DOI Link
Kleine Büning, Hans; Wojciechowski, Piotr; Subramani, K. Finding read-once resolution refutations in systems of 2CNF clauses. (English) Zbl 1435.03086 Theor. Comput. Sci. 729, 42-56 (2018). MSC: 03F20 68Q17 68Q25 PDFBibTeX XMLCite \textit{H. Kleine Büning} et al., Theor. Comput. Sci. 729, 42--56 (2018; Zbl 1435.03086) Full Text: DOI
Engelfriet, Joost; Maletti, Andreas; Maneth, Sebastian Multiple context-free tree grammars: lexicalization and characterization. (English) Zbl 1395.68163 Theor. Comput. Sci. 728, 29-99 (2018). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theor. Comput. Sci. 728, 29--99 (2018; Zbl 1395.68163) Full Text: DOI arXiv
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics. (English) Zbl 1391.68077 Theor. Comput. Sci. 727, 37-100 (2018). MSC: 68Q60 03B45 03B70 03D05 68Q45 PDFBibTeX XMLCite \textit{S. Enqvist} et al., Theor. Comput. Sci. 727, 37--100 (2018; Zbl 1391.68077) Full Text: DOI
Kalorkoti, K. Solving Łukasiewicz \(\mu\)-terms. (English) Zbl 1387.68165 Theor. Comput. Sci. 712, 38-49 (2018). MSC: 68Q60 03B50 PDFBibTeX XMLCite \textit{K. Kalorkoti}, Theor. Comput. Sci. 712, 38--49 (2018; Zbl 1387.68165) Full Text: DOI Link
Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes-Sobrinho, Daniele Intruder deduction problem for locally stable theories with normal forms and inverses. (English) Zbl 1386.68078 Theor. Comput. Sci. 672, 64-100 (2017). MSC: 68Q42 03B70 68P25 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Theor. Comput. Sci. 672, 64--100 (2017; Zbl 1386.68078) Full Text: DOI Link
Nigam, Vivek; Olarte, Carlos; Pimentel, Elaine On subexponentials, focusing and modalities in concurrent systems. (English) Zbl 1373.68298 Theor. Comput. Sci. 693, 35-58 (2017). MSC: 68Q85 03F52 PDFBibTeX XMLCite \textit{V. Nigam} et al., Theor. Comput. Sci. 693, 35--58 (2017; Zbl 1373.68298) Full Text: DOI
Vasile, Cristian-Ioan; Aksaray, Derya; Belta, Calin Time window temporal logic. (English) Zbl 1372.68178 Theor. Comput. Sci. 691, 27-54 (2017). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{C.-I. Vasile} et al., Theor. Comput. Sci. 691, 27--54 (2017; Zbl 1372.68178) Full Text: DOI arXiv
Olarte, Carlos; Pimentel, Elaine On concurrent behaviors and focusing in linear logic. (English) Zbl 1371.68197 Theor. Comput. Sci. 685, 46-64 (2017). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{C. Olarte} and \textit{E. Pimentel}, Theor. Comput. Sci. 685, 46--64 (2017; Zbl 1371.68197) Full Text: DOI
Masopust, Tomáš; Thomazo, Michaël On Boolean combinations forming piecewise testable languages. (English) Zbl 1371.68158 Theor. Comput. Sci. 682, 165-179 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Masopust} and \textit{M. Thomazo}, Theor. Comput. Sci. 682, 165--179 (2017; Zbl 1371.68158) Full Text: DOI HAL
Ham, Lucy Gap theorems for robust satisfiability: Boolean CSPs and beyond. (English) Zbl 1370.68128 Theor. Comput. Sci. 676, 69-91 (2017). MSC: 68Q25 08A40 68Q17 PDFBibTeX XMLCite \textit{L. Ham}, Theor. Comput. Sci. 676, 69--91 (2017; Zbl 1370.68128) Full Text: DOI arXiv
Charalambidis, Angelos; Rondogiannis, Panos; Symeonidou, Ioanna Equivalence of two fixed-point semantics for definitional higher-order logic programs. (English) Zbl 1359.68041 Theor. Comput. Sci. 668, 27-42 (2017). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{A. Charalambidis} et al., Theor. Comput. Sci. 668, 27--42 (2017; Zbl 1359.68041) Full Text: DOI arXiv
Zheng, Shenggen; Li, Lvzhou; Qiu, Daowen; Gruska, Jozef Promise problems solved by quantum and classical finite automata. (English) Zbl 1359.68181 Theor. Comput. Sci. 666, 48-64 (2017). MSC: 68Q45 68Q05 68Q12 PDFBibTeX XMLCite \textit{S. Zheng} et al., Theor. Comput. Sci. 666, 48--64 (2017; Zbl 1359.68181) Full Text: DOI arXiv
Choffrut, Christian [Restivo, Antonio] Sequences of words defined by two-way transducers. (English) Zbl 1429.68201 Theor. Comput. Sci. 658, Part A, 85-96 (2017). MSC: 68R15 68Q45 PDFBibTeX XMLCite \textit{C. Choffrut}, Theor. Comput. Sci. 658, Part A, 85--96 (2017; Zbl 1429.68201) Full Text: DOI
Schuppan, Viktor Enhancing unsatisfiable cores for LTL with information on temporal relevance. (English) Zbl 1356.68146 Theor. Comput. Sci. 655, Part B, 155-192 (2016). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{V. Schuppan}, Theor. Comput. Sci. 655, Part B, 155--192 (2016; Zbl 1356.68146) Full Text: DOI arXiv
Ferrarotti, Flavio; Schewe, Klaus-Dieter; Tec, Loredana; Wang, Qing A new thesis concerning synchronised parallel computing – simplified parallel ASM thesis. (English) Zbl 1355.68087 Theor. Comput. Sci. 649, 25-53 (2016). MSC: 68Q05 68Q10 68W10 PDFBibTeX XMLCite \textit{F. Ferrarotti} et al., Theor. Comput. Sci. 649, 25--53 (2016; Zbl 1355.68087) Full Text: DOI arXiv
Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo; Ferrucci, Luca A temporal logic for micro- and macro-step-based real-time systems: foundations and applications. (English) Zbl 1348.68149 Theor. Comput. Sci. 643, 38-64 (2016). MSC: 68Q60 03B44 03H10 68Q85 PDFBibTeX XMLCite \textit{M. Rossi} et al., Theor. Comput. Sci. 643, 38--64 (2016; Zbl 1348.68149) Full Text: DOI
Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\). (English) Zbl 1408.03011 Theor. Comput. Sci. 629, 116-134 (2016). MSC: 03B44 PDFBibTeX XMLCite \textit{A. Montanari} et al., Theor. Comput. Sci. 629, 116--134 (2016; Zbl 1408.03011) Full Text: DOI
Losemann, Katja; Martens, Wim; Niewerth, Matthias Closure properties and descriptional complexity of deterministic regular expressions. (English) Zbl 1338.68154 Theor. Comput. Sci. 627, 54-70 (2016). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Losemann} et al., Theor. Comput. Sci. 627, 54--70 (2016; Zbl 1338.68154) Full Text: DOI
Aschieri, Federico; Zorzi, Margherita On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand’s theorem. (English) Zbl 1377.03050 Theor. Comput. Sci. 625, 125-146 (2016). Reviewer: Reinhard Kahle (Lisboa) MSC: 03F03 03F05 03B10 03B40 68Q32 PDFBibTeX XMLCite \textit{F. Aschieri} and \textit{M. Zorzi}, Theor. Comput. Sci. 625, 125--146 (2016; Zbl 1377.03050) Full Text: DOI
Jain, Sanjay; Khoussainov, Bakhadyr; Schlicht, Philipp; Stephan, Frank Tree-automatic scattered linear orders. (English) Zbl 1339.03030 Theor. Comput. Sci. 626, 83-96 (2016). MSC: 03D05 03C57 06A05 PDFBibTeX XMLCite \textit{S. Jain} et al., Theor. Comput. Sci. 626, 83--96 (2016; Zbl 1339.03030) Full Text: DOI
Courcelle, Bruno; Durand, Irène Computations by fly-automata beyond monadic second-order logic. (English) Zbl 1335.68116 Theor. Comput. Sci. 619, 32-67 (2016). MSC: 68Q45 03D05 05C85 68Q60 PDFBibTeX XMLCite \textit{B. Courcelle} and \textit{I. Durand}, Theor. Comput. Sci. 619, 32--67 (2016; Zbl 1335.68116) Full Text: DOI arXiv
Bova, Simone; Ganian, Robert; Szeider, Stefan Quantified conjunctive queries on partially ordered sets. (English) Zbl 1335.68133 Theor. Comput. Sci. 618, 72-84 (2016). MSC: 68Q60 06A06 68Q25 PDFBibTeX XMLCite \textit{S. Bova} et al., Theor. Comput. Sci. 618, 72--84 (2016; Zbl 1335.68133) Full Text: DOI
Luttik, Bas Unique parallel decomposition in branching and weak bisimulation semantics. (English) Zbl 1332.68159 Theor. Comput. Sci. 612, 29-44 (2016). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{B. Luttik}, Theor. Comput. Sci. 612, 29--44 (2016; Zbl 1332.68159) Full Text: DOI arXiv
Olarte, Carlos; Pimentel, Elaine; Nigam, Vivek Subexponential concurrent constraint programming. (English) Zbl 1332.68027 Theor. Comput. Sci. 606, 98-120 (2015). MSC: 68N19 03F52 PDFBibTeX XMLCite \textit{C. Olarte} et al., Theor. Comput. Sci. 606, 98--120 (2015; Zbl 1332.68027) Full Text: DOI
Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning Coalgebraic constructions of canonical nondeterministic automata. (English) Zbl 1380.68290 Theor. Comput. Sci. 604, 81-101 (2015). Reviewer: Nelson Martins-Ferreira (Leiria) MSC: 68Q70 PDFBibTeX XMLCite \textit{R. S. R. Myers} et al., Theor. Comput. Sci. 604, 81--101 (2015; Zbl 1380.68290) Full Text: DOI
Link, Sebastian Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions. (English) Zbl 1330.68279 Theor. Comput. Sci. 603, 111-131 (2015). MSC: 68T27 68P15 68T37 PDFBibTeX XMLCite \textit{S. Link}, Theor. Comput. Sci. 603, 111--131 (2015; Zbl 1330.68279) Full Text: DOI
Asperti, Andrea; Ricciotti, Wilmer A formalization of multi-tape Turing machines. (English) Zbl 1330.68065 Theor. Comput. Sci. 603, 23-42 (2015). MSC: 68Q05 68T15 PDFBibTeX XMLCite \textit{A. Asperti} and \textit{W. Ricciotti}, Theor. Comput. Sci. 603, 23--42 (2015; Zbl 1330.68065) Full Text: DOI
Abriola, Sergio; Figueira, Santiago; Senno, Gabriel Linearizing well quasi-orders and bounding the length of bad sequences. (English) Zbl 1347.03086 Theor. Comput. Sci. 603, 3-22 (2015). MSC: 03E05 03D20 PDFBibTeX XMLCite \textit{S. Abriola} et al., Theor. Comput. Sci. 603, 3--22 (2015; Zbl 1347.03086) Full Text: DOI
Matos, Armando B. The efficiency of primitive recursive functions: a programmer’s view. (English) Zbl 1328.68046 Theor. Comput. Sci. 594, 65-81 (2015). MSC: 68N30 03D20 68Q25 68Q55 PDFBibTeX XMLCite \textit{A. B. Matos}, Theor. Comput. Sci. 594, 65--81 (2015; Zbl 1328.68046) Full Text: DOI
Brunel, Aloïs; Gaboardi, Marco Realizability models for a linear dependent PCF. (English) Zbl 1327.68109 Theor. Comput. Sci. 585, 55-70 (2015). MSC: 68Q15 68N18 PDFBibTeX XMLCite \textit{A. Brunel} and \textit{M. Gaboardi}, Theor. Comput. Sci. 585, 55--70 (2015; Zbl 1327.68109) Full Text: DOI
Férée, Hugo; Hainry, Emmanuel; Hoyrup, Mathieu; Péchoux, Romain Characterizing polynomial time complexity of stream programs using interpretations. (English) Zbl 1327.68075 Theor. Comput. Sci. 585, 41-54 (2015). MSC: 68N18 68Q25 68Q42 PDFBibTeX XMLCite \textit{H. Férée} et al., Theor. Comput. Sci. 585, 41--54 (2015; Zbl 1327.68075) Full Text: DOI
Bonfante, Guillaume; Deloup, Florian; Henrot, Antoine Real or natural number interpretation and their effect on complexity. (English) Zbl 1345.68188 Theor. Comput. Sci. 585, 25-40 (2015). MSC: 68Q42 14P99 68Q15 PDFBibTeX XMLCite \textit{G. Bonfante} et al., Theor. Comput. Sci. 585, 25--40 (2015; Zbl 1345.68188) Full Text: DOI
Avanzini, Martin; Eguchi, Naohi; Moser, Georg A new order-theoretic characterisation of the polytime computable functions. (English) Zbl 1327.68142 Theor. Comput. Sci. 585, 3-24 (2015). MSC: 68Q42 68Q15 68Q25 PDFBibTeX XMLCite \textit{M. Avanzini} et al., Theor. Comput. Sci. 585, 3--24 (2015; Zbl 1327.68142) Full Text: DOI
Buss, Sam Quasipolynomial size proofs of the propositional pigeonhole principle. (English) Zbl 1347.03100 Theor. Comput. Sci. 576, 77-84 (2015). MSC: 03F20 03B05 PDFBibTeX XMLCite \textit{S. Buss}, Theor. Comput. Sci. 576, 77--84 (2015; Zbl 1347.03100) Full Text: DOI
Popescu, Andrei; Roşu, Grigore Term-generic logic. (English) Zbl 1310.03044 Theor. Comput. Sci. 577, 1-24 (2015). MSC: 03B70 03B40 PDFBibTeX XMLCite \textit{A. Popescu} and \textit{G. Roşu}, Theor. Comput. Sci. 577, 1--24 (2015; Zbl 1310.03044) Full Text: DOI
Ésik, Zoltán; Rondogiannis, Panos A fixed point theorem for non-monotonic functions. (English) Zbl 1318.68066 Theor. Comput. Sci. 574, 18-38 (2015). MSC: 68N17 06B23 68Q55 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{P. Rondogiannis}, Theor. Comput. Sci. 574, 18--38 (2015; Zbl 1318.68066) Full Text: DOI arXiv
Di Giampaolo, Barbara; La Torre, Salvatore; Napoli, Margherita Parametric metric interval temporal logic. (English) Zbl 1317.68112 Theor. Comput. Sci. 564, 131-148 (2015). MSC: 68Q60 03B25 03B44 03D05 68Q17 68Q25 PDFBibTeX XMLCite \textit{B. Di Giampaolo} et al., Theor. Comput. Sci. 564, 131--148 (2015; Zbl 1317.68112) Full Text: DOI
Angiulli, Fabrizio; Ben-Eliyahu-Zohary, Rachel; Palopoli, Luigi Restricted default theories: expressive power and outlier detection tasks. (English) Zbl 1318.68168 Theor. Comput. Sci. 564, 107-130 (2015). MSC: 68T27 68Q25 PDFBibTeX XMLCite \textit{F. Angiulli} et al., Theor. Comput. Sci. 564, 107--130 (2015; Zbl 1318.68168) Full Text: DOI
Gutierrez, Julian; Klaedtke, Felix; Lange, Martin The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity. (English) Zbl 1327.03016 Theor. Comput. Sci. 560, Part 3, 292-306 (2014). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B45 03D05 05C90 05C20 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Theor. Comput. Sci. 560, Part 3, 292--306 (2014; Zbl 1327.03016) Full Text: DOI
Neider, Daniel; Rabinovich, Roman; Zimmermann, Martin Down the Borel hierarchy: solving Muller games via safety games. (English) Zbl 1314.91053 Theor. Comput. Sci. 560, Part 3, 219-234 (2014). MSC: 91A43 91A05 68Q60 68Q45 PDFBibTeX XMLCite \textit{D. Neider} et al., Theor. Comput. Sci. 560, Part 3, 219--234 (2014; Zbl 1314.91053) Full Text: DOI arXiv
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Vojnar, Tomáš Mediating for reduction (on minimizing alternating Büchi automata). (English) Zbl 1360.68536 Theor. Comput. Sci. 552, 26-43 (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Theor. Comput. Sci. 552, 26--43 (2014; Zbl 1360.68536) Full Text: DOI
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd Minimal counterexamples for linear-time probabilistic verification. (English) Zbl 1360.68604 Theor. Comput. Sci. 549, 61-100 (2014). MSC: 68Q60 60J20 68Q87 90C11 90C40 PDFBibTeX XMLCite \textit{R. Wimmer} et al., Theor. Comput. Sci. 549, 61--100 (2014; Zbl 1360.68604) Full Text: DOI
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna Axiomatizing weak simulation semantics over BCCSP. (English) Zbl 1359.68183 Theor. Comput. Sci. 537, 42-71 (2014). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 537, 42--71 (2014; Zbl 1359.68183) Full Text: DOI
Fahrenberg, Uli; Legay, Axel The quantitative linear-time-branching-time spectrum. (English) Zbl 1359.68191 Theor. Comput. Sci. 538, 54-69 (2014). MSC: 68Q60 PDFBibTeX XMLCite \textit{U. Fahrenberg} and \textit{A. Legay}, Theor. Comput. Sci. 538, 54--69 (2014; Zbl 1359.68191) Full Text: DOI