BORIS PLOTKIN, ELENA ALADOVA, EUGENE PLOTKIN, “ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS”, J. Algebra Appl., 12, № 02, 2013, 1250146
S. S. Kutateladze, “DIDO’S PROBLEM AND BEYOND”, J Math Sci, 271, № 6, 2023, 778
Jesse Michael Han, Floris van Doorn, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, 353
Noson S. Yanofsky, Theoretical Computer Science for the Working Category Theorist, 2022
Y Huang, A Verbraeck, M Seck, “Graph transformation based simulation model generation”, Journal of Simulation, 10, № 4, 2016, 283
Misha Gavrilovich, “Standard conjectures in model theory, and categoricity of comparison isomorphisms: A model theory perspective”, Communications in Algebra, 48, № 4, 2020, 1548
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti, 17, Ewa Orłowska on Relational Methods in Logic and Computer Science, 2018, 129
Zoran Babović, Branislav Bajat, Vladan Đokić, Filip Đorđević, Dražen Drašković, Nenad Filipović, Borko Furht, Nikola Gačić, Igor Ikodinović, Marija Ilić, Ayhan Irfanoglu, Branislav Jelenković, Aleksandar Kartelj, Gerhard Klimeck, Nenad Korolija, Miloš Kotlar, Miloš Kovačević, Vladan Kuzmanović, Marko Marinković, Slobodan Marković, Avi Mendelson, Veljko Milutinović, Aleksandar Nešković, Nataša Nešković, Nenad Mitić, Boško Nikolić, Konstantin Novoselov, Arun Prakash, Ivan Ratković, Zoran Stojadinović, Andrey Ustyuzhanin, Stan Zak, “Research in computing-intensive simulations for nature-oriented civil-engineering and related scientific fields, using machine learning and big data: an overview of open problems”, J Big Data, 10, № 1, 2023, 73
Newton C. A. da Costa, Federico Holik, “A formal framework for the study of the notion of undefined particle number in quantum mechanics”, Synthese, 192, № 2, 2015, 505
Décio Krause, “Does Newtonian Space Provide Identity to Quantum Systems?”, Found Sci, 24, № 2, 2019, 197