Skapinakis, Eduardo Secretive interaction. Players and strategies. (English) Zbl 07922686 Inf. Comput. 300, Article ID 105196, 10 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Cheng, Yong There are no minimal effectively inseparable theories. (English) Zbl 07828368 Notre Dame J. Formal Logic 64, No. 4, 425-439 (2023). MSC: 03F40 03F25 03F30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Svozil, Karl Roots and (re)sources of value (in)definiteness versus contextuality. (English) Zbl 1498.81041 Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 521-544 (2020). MSC: 81P13 81P10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Včelař, František; Pátíková, Zuzana On fuzzification of Tarski’s fixed point theorem without transitivity. (English) Zbl 1383.06002 Fuzzy Sets Syst. 320, 93-113 (2017). Reviewer: Yuri Movsisyan (Yerevan) MSC: 06B23 06B05 06B75 × Cite Format Result Cite Review PDF Full Text: DOI
Bonfante, Guillaume; El-Aqqad, Mohamed; Greenbaum, Benjamin; Hoyrup, Mathieu Immune systems in computer virology. (English) Zbl 1459.68028 Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 127-136 (2015). MSC: 68M25 × Cite Format Result Cite Review PDF Full Text: DOI