Qiu, Daowen Learning quantum Finite automata with queries. (English) Zbl 07813379 Math. Struct. Comput. Sci. 34, No. 2, 128-146 (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Borlido, Célia; Gehrke, Mai Substitution principle and semidirect products. (English) Zbl 07813358 Math. Struct. Comput. Sci. 33, No. 6, 486-535 (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zhou, Can; Shaikh, Razin A.; Li, Yiran; Farjudian, Amin A domain-theoretic framework for robustness analysis of neural networks. (English) Zbl 07813326 Math. Struct. Comput. Sci. 33, No. 2, 68-105 (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hofmann, Martin; Ledent, Jérémy A quantitative model for simply typed \(\lambda\)-calculus. (English) Zbl 07650542 Math. Struct. Comput. Sci. 32, No. 6, 777-793 (2022). MSC: 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
Dal Lago, U. Implicit computation complexity in higher-order programming languages. A survey in memory of Martin Hofmann. (English) Zbl 1517.68075 Math. Struct. Comput. Sci. 32, No. 6, 760-776 (2022). MSC: 68N30 03B40 03F52 68N18 68Q15 68-02 × Cite Format Result Cite Review PDF Full Text: DOI
Caskurlu, Bugra; Ekici, Özgün; Kizilkaya, Fatih Erdem On existence of equilibrium under social coalition structures. (English) Zbl 1518.91007 Math. Struct. Comput. Sci. 32, No. 2, 216-239 (2022). MSC: 91A11 91A12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fernau, Henning; Bruchertseifer, Jens Synchronizing words and monoid factorization, yielding a new parameterized complexity class? (English) Zbl 07618926 Math. Struct. Comput. Sci. 32, No. 2, 189-215 (2022). MSC: 68Q27 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Spreen, Dieter Computing with continuous objects: a uniform co-inductive approach. (English) Zbl 07408499 Math. Struct. Comput. Sci. 31, No. 2, 144-192 (2021). MSC: 03D78 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gehrke, Mai; Petrişan, Daniela; Reggio, Luca Quantifiers on languages and codensity monads. (English) Zbl 1495.68145 Math. Struct. Comput. Sci. 30, No. 10, 1054-1088 (2020). MSC: 68Q70 03B70 16Y60 18C15 × Cite Format Result Cite Review PDF Full Text: DOI
Collins, Pieter Computable analysis with applications to dynamic systems. (English) Zbl 1478.03072 Math. Struct. Comput. Sci. 30, No. 2, 173-233 (2020). MSC: 03D78 03F60 54B30 54A05 93B03 93B24 × Cite Format Result Cite Review PDF Full Text: DOI
Karádais, Basil A. Nonflatness and totality. (English) Zbl 1410.68214 Math. Struct. Comput. Sci. 29, No. 2, 309-338 (2019). MSC: 68Q55 68N18 × Cite Format Result Cite Review PDF Full Text: DOI
Kesner, Delia; Ventura, Daniel A resource aware semantics for a focused intuitionistic calculus. (English) Zbl 1407.68273 Math. Struct. Comput. Sci. 29, No. 1, 93-126 (2019). MSC: 68Q55 03B20 03B40 03B70 68N18 × Cite Format Result Cite Review PDF Full Text: DOI
Gregoriades, Vassilios; Kispéter, Tamás; Pauly, Arno A comparison of concepts from computable analysis and effective descriptive set theory. (English) Zbl 1456.03076 Math. Struct. Comput. Sci. 27, No. 8, 1414-1436 (2017). MSC: 03E15 03D78 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Crochemore, Maxime; Iliopoulos, Costas S.; Langiu, Alessio; Mignosi, Filippo The longest common substring problem. (English) Zbl 1364.68379 Math. Struct. Comput. Sci. 27, No. 2, 277-295 (2017). MSC: 68W32 × Cite Format Result Cite Review PDF Full Text: DOI
Bilò, Vittorio; Fanelli, Angelo; Moscardelli, Luca On lookahead equilibria in congestion games. (English) Zbl 1364.91012 Math. Struct. Comput. Sci. 27, No. 2, 197-214 (2017). MSC: 91A10 × Cite Format Result Cite Review PDF Full Text: DOI
Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin Observable interface behaviour and inheritance. (English) Zbl 1361.68054 Math. Struct. Comput. Sci. 26, No. 3, 561-605 (2016). MSC: 68N19 × Cite Format Result Cite Review PDF Full Text: DOI
Miyamoto, Kenji; Schwichtenberg, Helmut Program extraction in exact real arithmetic. (English) Zbl 1362.03026 Math. Struct. Comput. Sci. 25, No. 8, 1692-1704 (2015). MSC: 03B70 03B35 03B40 68N18 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Longo, Giuseppe Incomputability in physics and biology. (English) Zbl 1285.03058 Math. Struct. Comput. Sci. 22, No. 5, 880-900 (2012). MSC: 03D35 03D32 03D80 × Cite Format Result Cite Review PDF Full Text: DOI