Tarantino, Umberto A category of arrow algebras for modified realizability. (English) Zbl 07977823 Theory Appl. Categ. 44, 132-180 (2025). MSC: 03G30 18B25 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Paul Laiu, M.; Endeve, Eirik; Austin Harris, J.; Elledge, Zachary; Mezzacappa, Anthony DG-IMEX method for a two-moment model for radiation transport in the \(\mathcal{O}(v/c)\) limit. (English) Zbl 07953970 J. Comput. Phys. 520, Article ID 113477, 44 p. (2025). MSC: 65Mxx 65Lxx 65Nxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Alonso, Ander; Hermo, Montserrat; Oca, Josu Towards an efficient implementation of a tableau method for reactive safety specifications. (English) Zbl 07949494 J. Log. Algebr. Methods Program. 142, Article ID 101003, 17 p. (2025). Reviewer: Giacomo Lenzi (Fisciano) MSC: 68Q60 03B44 91A80 × Cite Format Result Cite Review PDF Full Text: DOI
Broy, Manfred A calculus for the specification, design, and verification of distributed concurrent systems. (English) Zbl 07983669 Formal Asp. Comput. 36, No. 3, Article No. 16, 54 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Rubtsov, A. A.; Vyalyi, M. N. On universality of regular realizability problems. (English) Zbl 07964466 Probl. Inf. Transm. 60, No. 3, 209-232 (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Arteche, Noel; Hermo, Montserrat Towards the exact complexity of realizability for safety LTL. (English) Zbl 07923285 J. Log. Algebr. Methods Program. 141, Article ID 101002, 15 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Goertsches, Oliver; Konstantis, Panagiotis; Zoller, Leopold On the Stiefel-Whitney classes of GKM manifolds. (English. French summary) Zbl 07909467 C. R. Math. Acad. Sci., Soc. R. Can. 46, No. 2, 16-40 (2024). MSC: 57R91 55N91 57R20 57S12 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Cohen, Liron; Rahli, Vincent \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity. (English) Zbl 07906361 Log. Methods Comput. Sci. 20, No. 2, Paper No. 18, 27 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Avis, David; Hoang, Duc A. A note on acyclic token sliding reconfiguration graphs of independent sets. (English) Zbl 07893360 Ars Comb. 159, 133-154 (2024). MSC: 05C05 05C99 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ferreira, Gilda; Firmino, Paulo Herbrandized modified realizability. (English) Zbl 07874621 Arch. Math. Logic 63, No. 5-6, 703-721 (2024). MSC: 03F10 03B20 03B40 03F30 03F25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Arseneva, Elena; Kleist, Linda; Klemz, Boris; Löffler, Maarten; Schulz, André; Vogtenhuber, Birgit; Wolff, Alexander Adjacency graphs of polyhedral surfaces. (English) Zbl 1539.05103 Discrete Comput. Geom. 71, No. 4, 1429-1455 (2024). MSC: 05C62 05C10 05C42 68R10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sato, Kentaro A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (English) Zbl 07848920 Ann. Pure Appl. Logic 175, No. 7, Article ID 103422, 62 p. (2024). MSC: 03B30 03E30 03F25 03F35 03E40 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Marijuán, Carlos; Moro, Julio A characterization of sets realizable by compensation in the SNIEP. (English) Zbl 1543.15012 Linear Algebra Appl. 693, 425-447 (2024). Reviewer: John D. Dixon (Ottawa) MSC: 15A29 15A18 15A42 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Geng-Rui Realizability of some combinatorial sequences. (English) Zbl 1542.11029 J. Integer Seq. 27, No. 3, Article 24.3.3, 26 p. (2024). MSC: 11B50 37P35 05A10 11B83 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Alizadeh, Yaser; Bašić, Nino; Damnjanović, Ivan; Došlić, Tomislav; Pisanski, Tomaž; Stevanović, Dragan; Xu, Kexiang Solving the Mostar index inverse problem. (English) Zbl 1536.05137 J. Math. Chem. 62, No. 5, 1079-1093 (2024). MSC: 05C09 05C05 05C12 05C92 92E10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pfeifle, Julian Positive Plücker tree certificates for non-realizability. (English) Zbl 1537.52013 Exp. Math. 33, No. 1, 69-85 (2024). MSC: 52B05 05E45 52B12 90C10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Powell, Thomas Proofs as stateful programs: a first-order logic with abstract Hoare triples, and an interpretation into an imperative language. (English) Zbl 07814915 Log. Methods Comput. Sci. 20, No. 1, Paper No. 7, 32 p. (2024). MSC: 03B70 68N30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Len, Yoav; Ulirsch, Martin; Zakharov, Dmitry Abelian tropical covers. (English) Zbl 1532.14104 Math. Proc. Camb. Philos. Soc. 176, No. 2, 395-416 (2024). Reviewer: Felix Röhrle (Frankfurt am Main) MSC: 14T20 14H30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Granberg Olsson, Mattias; Leigh, Graham E. Revisiting the conservativity of fixpoints over intuitionistic arithmetic. (English) Zbl 1540.03106 Arch. Math. Logic 63, No. 1-2, 61-87 (2024). Reviewer: Bruno Dinis (Évora) MSC: 03F50 03F25 03F30 03F55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bhaskar, Ashwin; Praveen, M. Realizability problem for constraint LTL. (English) Zbl 07790920 Inf. Comput. 296, Article ID 105126, 25 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cohen, Liron; Da Rocha, Paiva Bruno; Rahli, Vincent; Tosun, Ayberk Inductive continuity via Brouwer trees. (English) Zbl 07953286 Leroux, Jérôme (ed.) et al., 48th international symposium on mathematical foundations of computer science, MFCS 2023, Bordeaux, France, August 28 – September 1, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 272, Article 37, 16 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Beffara, Emmanuel; Castro, Félix; Guillermo, Mauricio; Miquey, Étienne Concurrent realizability on conjunctive structures. (English) Zbl 07929343 Gaboardi, Marco (ed.) et al., 8th international conference on formal structures for computation and deduction, FSCD 2023, Rome, Italy, July 3–6, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 260, Article 28, 21 p. (2023). MSC: 68Q85 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cohen, Liron; Rahli, Vincent Realizing continuity using stateful computations. (English) Zbl 07918694 Klin, Bartek (ed.) et al., 31st EACSL annual conference on computer science logic, CSL 2023, February 13–16, 2023, Warsaw, Poland. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 252, Article 15, 18 p. (2023). MSC: 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Konovalov, A. Yu. Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability. (English. Russian original) Zbl 07820497 Math. Notes 114, No. 6, 1260-1276 (2023); translation from Mat. Zametki 114, No. 6, 827-847 (2023). MSC: 03Fxx 03Bxx 03Cxx × Cite Format Result Cite Review PDF Full Text: DOI
Nakata, Satoshi Parallelism in realizability models. (English) Zbl 07810571 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 292-304 (2023). MSC: 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Mailly, Jean-Guy A logical encoding for \(k\)-\(m\)-realization of extensions in abstract argumentation. (English) Zbl 1534.68228 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 84-100 (2023). Reviewer: Éric Martin (Sydney) MSC: 68T27 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Weber, Simon; Widmer, Joel Realizability makes a difference: a complexity gap for sink-finding in USOs. (English) Zbl 07789738 Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 704-718 (2023). MSC: 68P05 68Wxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Norddine, T.; Ferrand, M.; Benhamadouche, S. Realizability-preserving time-stepping for the differential Reynolds stress turbulence models. (English) Zbl 07766225 J. Comput. Phys. 494, Article ID 112511, 24 p. (2023). MSC: 76Fxx 76Mxx 76-XX × Cite Format Result Cite Review PDF Full Text: DOI
Plisko, Valerii E. The nonarithmeticity of the predicate logic of primitive recursive realizability. (English. Russian original) Zbl 07739850 Izv. Math. 87, No. 2, 389-419 (2023); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 2, 196-228 (2023). MSC: 03D20 03F55 03B20 × Cite Format Result Cite Review PDF Full Text: DOI MNR
Broy, Manfred Specification and verification of concurrent systems by causality and realizability. (English) Zbl 07739130 Theor. Comput. Sci. 974, Article ID 114106, 61 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Frittaion, Emanuele Extensional realizability and choice for dependent types in intuitionistic set theory. (English) Zbl 07735948 J. Symb. Log. 88, No. 3, 1138-1169 (2023). MSC: 03F50 03F25 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Marijuán, C.; Pisonero, M. A note for the SNIEP in size 5. (English) Zbl 1522.15018 Linear Algebra Appl. 675, 338-343 (2023). Reviewer: Tin Yau Tam (Reno) MSC: 15A29 15A18 15A42 × Cite Format Result Cite Review PDF Full Text: DOI
Frittaion, Emanuele; Nemoto, Takako; Rathjen, Michael Choice and independence of premise rules in intuitionistic set theory. (English) Zbl 07719416 Ann. Pure Appl. Logic 174, No. 9, Article ID 103314, 24 p. (2023). MSC: 03F03 03F25 03F50 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Fu, Zhiguo; Cai, Jin-Yi Holographic algorithms on domains of general size. (English) Zbl 07719392 Theory Comput. Syst. 67, No. 3, 417-436 (2023). MSC: 68Qxx 68Wxx 68Rxx × Cite Format Result Cite Review PDF Full Text: DOI
Avis, David; Hoang, Duc A. On reconfiguration graphs of independent sets under token sliding. (English) Zbl 1518.05146 Graphs Comb. 39, No. 3, Paper No. 59, 29 p. (2023); correction ibid. 39, No. 4, Paper No. 88, 2 p. (2023). MSC: 05C69 05C10 05C85 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Perović, Vasilije; Mackey, D. Steven Quadratic realizability of palindromic matrix polynomials: the real case. (English) Zbl 1519.15017 Linear Multilinear Algebra 71, No. 5, 797-841 (2023). Reviewer: Ninoslav Truhar (Osijek) MSC: 15A29 15A21 15A22 × Cite Format Result Cite Review PDF Full Text: DOI Link
Liu, Jian; Ruan, Xiaoe; Zheng, Yuanshi; Yi, Yingmin; Wang, Congsi Learning-ability of discrete-time iterative learning control systems with feedforward. (English) Zbl 1512.93043 SIAM J. Control Optim. 61, No. 2, 543-559 (2023). MSC: 93B47 93C55 93B52 × Cite Format Result Cite Review PDF Full Text: DOI
Konovalov, Aleksandr A generalized realizability and intuitionistic logic. (English) Zbl 07672670 ACM Trans. Comput. Log. 24, No. 2, Article No. 11, 15 p. (2023). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio Good-for-game QPTL: an alternating hodges semantics. (English) Zbl 07650600 ACM Trans. Comput. Log. 24, No. 1, Article No. 4, 57 p. (2023). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Köpp, Nils; Schwichtenberg, Helmut Lookahead analysis in exact real arithmetic with logical methods. (English) Zbl 07638593 Theor. Comput. Sci. 943, 171-186 (2023). MSC: 03B70 03D78 68N30 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Sato, Kentaro A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection. (English) Zbl 07637214 Ann. Pure Appl. Logic 174, No. 3, Article ID 103207, 48 p. (2023). MSC: 03B30 03E70 03F25 03F35 03F50 03F60 × Cite Format Result Cite Review PDF Full Text: DOI
Arrieta, Luis E.; Soto, Ricardo L. On new universal realizability criteria. (English) Zbl 1504.15062 Spec. Matrices 11, Article ID 2022-0177, 15 p. (2023). Reviewer: Tin Yau Tam (Reno) MSC: 15A29 15A20 × Cite Format Result Cite Review PDF Full Text: DOI
Zoethout, Jetze Third-order functionals on partial combinatory algebras. (English) Zbl 1502.18008 Ann. Pure Appl. Logic 174, No. 2, Article ID 103205, 36 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 68Q09 03B40 03G30 03D65 18B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Choi, Byeongyeob; Baek, Jehyun; You, Donghyun A realizable second-order advection method with variable flux limiters for moment transport equations. (English) Zbl 07625429 J. Comput. Phys. 473, Article ID 111767, 26 p. (2023). MSC: 76Mxx 76Txx 65Mxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gouveia, João; Macchia, Antonio; Wiebe, Amy General non-realizability certificates for spheres with linear programming. (English) Zbl 1493.05061 J. Symb. Comput. 114, 172-192 (2023). MSC: 05B35 52B05 90C05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Elgin, Samuel Z. Physicalism and the identity of identity theories. (English) Zbl 07956385 Erkenntnis 87, No. 1, 161-180 (2022). MSC: 03A10 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Cohen, Liron; Rahli, Vincent Constructing unprejudiced extensional type theories with choices via modalities. (English) Zbl 1541.03033 Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 10, 23 p. (2022). MSC: 03B38 03F50 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Tomita, Haruka Planar realizability via left and right applications. (English) Zbl 07830391 Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 35, 17 p. (2022). MSC: 68-XX 18-XX × Cite Format Result Cite Review PDF Full Text: DOI
Plisko, Valery An application of the Yankov characteristic formulas. (English) Zbl 1543.03044 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 209-219 (2022). MSC: 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Citkin, Alex V. Yankov’s contributions to propositional logic. (English) Zbl 1543.03007 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 7-52 (2022). MSC: 03-03 03B55 06D20 03G25 01A60 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Maietti, Maria Emilia; Maschio, Samuele; Rathjen, Michael Inductive and coinductive topological generation with Church’s thesis and the axiom of choice. (English) Zbl 07639913 Log. Methods Comput. Sci. 18, No. 4, Paper No. 5, 28 p. (2022). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Guha Bakshi, Kushal Semi-Markov decision processes with vector pay-offs. (English) Zbl 1502.90188 Giri, Debasis (ed.) et al., Proceedings of the seventh international conference on mathematics and computing, ICMC 2021, Shibpur, India, March 2–5, 2021. Singapore: Springer. Adv. Intell. Syst. Comput. 1412, 1011-1027 (2022). MSC: 90C40 90C29 × Cite Format Result Cite Review PDF Full Text: DOI
Wiesnet, Franziskus; Köpp, Niels Limits of real numbers in the binary signed digit representation. (English) Zbl 07596572 Log. Methods Comput. Sci. 18, No. 3, Paper No. 24, 28 p. (2022). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Plisko, Valery The nonarithmeticity of the predicate logic of strictly primitive recursive realizability. (English) Zbl 1532.03092 Rev. Symb. Log. 15, No. 3, 693-721 (2022). MSC: 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Anderson, Nicholas; Rincón, Felipe Paving tropical ideals. (English) Zbl 1494.14062 J. Algebr. Comb. 56, No. 1, 101-116 (2022). MSC: 14T10 14T15 05E14 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Kumar, Sandeep; Belur, Madhu N. Interlacing properties of system-poles, system-zeros, and spectral-zeros in MIMO systems. (English) Zbl 1537.93279 IEEE Trans. Autom. Control 67, No. 7, 3746-3753 (2022). MSC: 93B55 93C35 93B11 93B25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Boege, Tobias Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. (English) Zbl 1493.62020 Ann. Math. Artif. Intell. 90, No. 6, 645-673 (2022); correction ibid. 90, No. 6, 675-676 (2022). MSC: 62B10 62R01 14P10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Nemoto, Takako; Kentaro, Sato A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. (English) Zbl 1510.03023 J. Symb. Log. 87, No. 2, 437-497 (2022). Reviewer: Lukasz Stepien (Kraków) MSC: 03F25 03F35 03F50 03F55 03F60 × Cite Format Result Cite Review PDF Full Text: DOI
Banasiak, Jacek; Błoch, Adam Telegraph systems on networks and port-Hamiltonians. II: Network realizability. (English) Zbl 1487.35385 Netw. Heterog. Media 17, No. 1, 73-99 (2022). MSC: 35R02 35F46 35L50 05C50 05C90 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Schneider, Florian; Leibner, Tobias First-order continuous- and discontinuous-Galerkin moment models for a linear kinetic equation: realizability-preserving splitting scheme and numerical analysis. (English) Zbl 07518114 J. Comput. Phys. 456, Article ID 111040, 30 p. (2022). MSC: 65Mxx 82Cxx 65Nxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
VandeBogert, Keller DG structure on length 3 trimming complexes and applications to Tor algebras. (English) Zbl 1485.13040 J. Pure Appl. Algebra 226, No. 9, Article ID 107053, 26 p. (2022). Reviewer: Hossein Faridian (Clemson) MSC: 13D02 13D07 13C13 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Konovalov, A. Yu. Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability. (English. Russian original) Zbl 07488500 Math. Notes 111, No. 2, 243-257 (2022); translation from Mat. Zametki 111, No. 2, 241-257 (2022). MSC: 03F30 03F55 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Soto, Ricardo L. Spectra inhabiting the left half-plane that are universally realizable. (English) Zbl 1485.15018 Spec. Matrices 10, 180-192 (2022). Reviewer: John D. Dixon (Ottawa) MSC: 15A29 15A18 15A20 × Cite Format Result Cite Review PDF Full Text: DOI
Alldredge, Graham; Frank, Martin; Kusch, Jonas; McClarren, Ryan A realizable filtered intrusive polynomial moment method. (English) Zbl 1524.65504 J. Comput. Appl. Math. 407, Article ID 114055, 20 p. (2022). MSC: 65M60 35L65 65C30 35R60 82C40 35Q84 35B45 35Q31 35B65 35B05 65M06 65N30 65K10 62M20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Khaniki, Erfan Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\). (English) Zbl 07472316 Adv. Math. 397, Article ID 108126, 22 p. (2022). MSC: 03C62 03F30 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Jaksland, Rasmus The multiple realizability of general relativity in quantum gravity. (English) Zbl 1529.83039 Synthese 199, Suppl. 2, S441-S467 (2021). MSC: 83C45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Demirci, Musa; Akbayrak, Osman; Ozbek, Aydin; Ana, Ugur New relations for the normal subgroups of Hecke groups. (English) Zbl 1538.20031 Proc. Jangjeon Math. Soc. 24, No. 2, 191-195 (2021). MSC: 20H10 05C07 05C10 05C30 05C69 11B39 05E18 × Cite Format Result Cite Review PDF Full Text: DOI
Broy, Manfred Refining the safety-liveness classification of temporal properties according to realizability. (English) Zbl 1520.68070 Bartocci, Ezio (ed.) et al., Formal methods in outer space. Essays dedicated to Klaus Havelund on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13065, 10-31 (2021). MSC: 68Q60 68Q45 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Swan, Andrew W.; Uemura, Taichi On Church’s thesis in cubical assemblies. (English) Zbl 07630473 Math. Struct. Comput. Sci. 31, No. 10, 1185-1204 (2021). MSC: 03B38 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Konovalov, Aleksandr Yu. Generalized realizability and basic logic. (English) Zbl 1505.03128 ACM Trans. Comput. Log. 22, No. 4, Article No. 25, 23 p. (2021). MSC: 03F30 03F55 03B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo On measure quantifiers in first-order arithmetic. (English) Zbl 07495152 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 12-24 (2021). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Leibner, Tobias; Ohlberger, Mario A new entropy-variable-based discretization method for minimum entropy moment approximations of linear kinetic equations. (English) Zbl 07477255 ESAIM, Math. Model. Numer. Anal. 55, No. 6, 2567-2608 (2021). MSC: 65M08 65M70 65M06 65N08 65N35 65K10 35L40 35F61 82C40 82C70 35Q20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Miska, Piotr; Ward, Tom Stirling numbers and periodic points. (English) Zbl 1497.11058 Acta Arith. 201, No. 4, 421-435 (2021). Reviewer: Uğur Duran (Iskenderun) MSC: 11B73 37P35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Julio, Ana; Linares, Yankis R.; Soto, Ricardo L. Centrosymmetric universal realizability. (English) Zbl 1485.15017 Electron. J. Linear Algebra 37, 680-691 (2021). Reviewer: John D. Dixon (Ottawa) MSC: 15A29 15A18 15A20 × Cite Format Result Cite Review PDF Full Text: Link
Barge, H.; Sánchez-Gabites, J. J. Knots and solenoids that cannot be attractors of self-homeomorphisms of \(\mathbb{R}^3\). (English) Zbl 1487.37030 Int. Math. Res. Not. 2021, No. 13, 10373-10407 (2021). MSC: 37C70 37C15 57K10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Soto, Ricardo L.; Julio, Ana I.; Alfaro, Jaime H. Permutative universal realizability. (English) Zbl 1482.15012 Spec. Matrices 9, 66-77 (2021). Reviewer: John D. Dixon (Ottawa) MSC: 15A29 15A18 15A20 × Cite Format Result Cite Review PDF Full Text: DOI
Demirci, Musa; Ozbek, Aydin; Akbayrak, Osman; Cangul, Ismail Naci Lucas graphs. (English) Zbl 1475.05028 J. Appl. Math. Comput. 65, No. 1-2, 93-106 (2021). MSC: 05C07 05C10 05C30 05C69 × Cite Format Result Cite Review PDF Full Text: DOI
Konovalov, A. Yu. General recursive realizability and intuitionistic logic. (English. Russian original) Zbl 1515.03054 Algebra Logic 60, No. 2, 89-94 (2021); translation from Algebra Logika 60, No. 2, 137-144 (2021). MSC: 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Lagarias, Jeffrey C.; Rodgers, Brad Band-limited mimicry of point processes by point processes supported on a lattice. (English) Zbl 1489.60086 Ann. Appl. Probab. 31, No. 1, 351-376 (2021). MSC: 60G55 44A60 94A20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Zoethout, Jetze On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes. (English) Zbl 1478.18004 Math. Struct. Comput. Sci. 31, No. 2, 214-233 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
Maietti, Maria Emilia; Maschio, Samuele; Rathjen, Michael A realizability semantics for inductive formal topologies, Church’s thesis and axiom of choice. (English) Zbl 1535.03295 Log. Methods Comput. Sci. 17, No. 2, Paper No. 21, 21 p. (2021). MSC: 03F65 03F50 54A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Schwichtenberg, Helmut; Wiesnet, Franziskus Logic for exact real arithmetic. (English) Zbl 1535.03230 Log. Methods Comput. Sci. 17, No. 2, Paper No. 7, 27 p. (2021). MSC: 03D78 03F60 03B70 03B35 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Julio, Ana I.; Marijuán, Carlos; Pisonero, Miriam; Soto, Ricardo L. Universal realizability in low dimension. (English) Zbl 1473.15016 Linear Algebra Appl. 619, 107-136 (2021). Reviewer: Juan Ramón Torregrosa Sánchez (Valencia) MSC: 15A18 15A21 15A29 × Cite Format Result Cite Review PDF Full Text: DOI
Frittaion, Emanuele; Rathjen, Michael Extensional realizability for intuitionistic set theory. (English) Zbl 1535.03290 J. Log. Comput. 31, No. 2, 630-653 (2021). MSC: 03F55 03E70 03F50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Marijuán, Carlos; Moro, Julio A characterization of trace-zero sets realizable by compensation in the SNIEP. (English) Zbl 1458.15030 Linear Algebra Appl. 615, 42-76 (2021). MSC: 15A29 15A18 15A42 65F15 65F18 × Cite Format Result Cite Review PDF Full Text: DOI
Arrieta, Luis E.; Millano, Alfredo D.; Soto, Ricardo L. On spectra realizable and diagonalizably realizable. (English) Zbl 1461.15019 Linear Algebra Appl. 612, 273-288 (2021). Reviewer: Juan Ramón Torregrosa Sánchez (Valencia) MSC: 15A29 15A18 15A20 × Cite Format Result Cite Review PDF Full Text: DOI
Johnson, C. R.; Marijuán, C.; Pisonero, M. Ruling out certain 5-spectra with one repeated eigenvalue for the symmetric NIEP. (English) Zbl 1458.15018 Linear Algebra Appl. 612, 75-98 (2021). MSC: 15A18 15A29 15A42 × Cite Format Result Cite Review PDF Full Text: DOI
Méndez, David The ring of stable homotopy classes of self-maps of \(A_n^2\)-polyhedra. (English) Zbl 1458.55005 Topology Appl. 290, Article ID 107607, 11 p. (2021). Reviewer: Kohhei Yamaguchi (Tokyo) MSC: 55P10 55P40 55Q52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Berger, Ulrich; Tsuiki, Hideki Intuitionistic fixed point logic. (English) Zbl 1498.03065 Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021). MSC: 03B70 03B20 03B40 03D70 03D78 03F60 06B35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Passalacqua, Alberto; Laurent, Frédérique; Fox, Rodney O. A second-order realizable scheme for moment advection on unstructured grids. (English) Zbl 07678478 Comput. Phys. Commun. 248, Article ID 106993, 34 p. (2020). MSC: 76-XX 65-XX × Cite Format Result Cite Review PDF Full Text: DOI
Miquey, Étienne Revisiting the duality of computation: an algebraic analysis of classical realizability models. (English) Zbl 07650843 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 30, 18 p. (2020). MSC: 68-XX 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Petronio, Carlo The Hurwitz existence problem for surface branched covers. (English) Zbl 1502.57015 Winter Braids Lect. Notes 7, Exp. No. 2, 43 p. (2020). MSC: 57M12 57-02 × Cite Format Result Cite Review PDF Full Text: DOI
Nishikawa, Hiroaki Robust numerical fluxes for unrealizable states. (English) Zbl 07505603 J. Comput. Phys. 408, Article ID 109244, 6 p. (2020). MSC: 65-XX 76-XX × Cite Format Result Cite Review PDF Full Text: DOI
Jacobowitz, Howard A conjecture of Trautman. (English) Zbl 1476.32012 Barletta, Elisabetta (ed.), Lecture notes of Seminario Interdisciplinare di Matematica. Vol. XV. Lecture Notes of Seminario Interdisciplinare di Matematica 15. Potenza: Seminario Interdisciplinare di Matematica (S.I.M.). 33-43 (2020). Reviewer: Yunus E. Zeytuncu (Ann Arbor) MSC: 32V05 × Cite Format Result Cite Review PDF Full Text: arXiv
Fontanella, Laura; Geoffroy, Guillaume Preserving cardinals and weak forms of Zorn’s lemma in realizability models. (English) Zbl 1486.03080 Math. Struct. Comput. Sci. 30, No. 9, 976-996 (2020). MSC: 03E25 03E35 × Cite Format Result Cite Review PDF Full Text: DOI
Hao, Zengrong; Gorlé, Catherine Quantifying turbulence model uncertainty in Reynolds-averaged Navier-Stokes simulations of a pin-fin array. II: Scalar transport. (English) Zbl 1521.76215 Comput. Fluids 209, Article ID 104642, 8 p. (2020). MSC: 76F65 76F60 76D05 × Cite Format Result Cite Review PDF Full Text: DOI
Hao, Zengrong; Gorlé, Catherine Quantifying turbulence model uncertainty in Reynolds-averaged Navier-Stokes simulations of a pin-fin array. I: Flow field. (English) Zbl 1521.76214 Comput. Fluids 209, Article ID 104641, 9 p. (2020). MSC: 76F65 76D05 76F55 × Cite Format Result Cite Review PDF Full Text: DOI
Rathjen, Michael; Swan, Andrew W. Lifschitz realizability as a topological construction. (English) Zbl 1485.03222 J. Symb. Log. 85, No. 4, 1342-1375 (2020). MSC: 03E70 03F50 03F65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Mulas, Raffaella; Tran, Ngoc M. Minimal embedding dimensions of connected neural codes. (English) Zbl 1461.62229 Algebr. Stat. 11, No. 1, 99-106 (2020). MSC: 62R01 62P10 62M45 92B20 05C65 05C10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pichard, Teddy A moment closure based on a projection on the boundary of the realizability domain: 1D case. (English) Zbl 1458.35350 Kinet. Relat. Models 13, No. 6, 1243-1280 (2020). MSC: 35Q35 35Q79 76P05 76T10 80A21 35L40 35B09 47B35 65F05 65F15 65F20 35R06 × Cite Format Result Cite Review PDF Full Text: DOI