المؤلفون: Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Fernández-Duque, David, Gabelaia, David

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B45 (Primary) 03B70 (Secondary), F.4

URL الوصول: http://arxiv.org/abs/2406.16056

المؤلفون: Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David, Jibladze, Mamuka, Latella, Diego, Massink, Mieke, de Vink, Erik P.

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2404.06131

المؤلفون: Adam-Day, Sam, Bezhanishvili, Nick, Gabelaia, David, Marra, Vincenzo

مصطلحات موضوعية: Mathematics - Logic, Mathematics - Combinatorics, Mathematics - Geometric Topology, 03B55 (Primary), 52B05, 06A07, 03B45, 06D20 (Secondary)

URL الوصول: http://arxiv.org/abs/2307.16600

المؤلفون: Bezhanishvili, Nick^Aff9, Ciancia, Vincenzo^Aff10, Gabelaia, David^Aff11, Jibladze, Mamuka^Aff11, Latella, Diego^Aff10, Massink, Mieke^Aff10, de Vink, Erik P.^Aff12

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, Goos, Gerhard, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Castiglioni, Valentina, editor^Aff7, Francalanza, Adrian, editor^Aff8

المصدر: Formal Techniques for Distributed Objects, Components, and Systems : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. 14678:20-38

المؤلفون: Adam-Day, Sam, Bezhanishvili, Nick, Gabelaia, David, Marra, Vincenzo

مصطلحات موضوعية: Mathematics - Logic, Mathematics - Combinatorics, Mathematics - Geometric Topology, 03B55 (primary) 52B05, 06A07, 03B45, 06D20 (secondary)

URL الوصول: http://arxiv.org/abs/2112.07518

المؤلفون: Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David, Grilletti, Gianluca, Latella, Diego, Massink, Mieke

المصدر: Logical Methods in Computer Science, Volume 18, Issue 4 (November 22, 2022) lmcs:9060

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Graphics, 68Q60, F.4.1, D.2.4, I.2.4, I.3.6, I.4.6, I.5.4

URL الوصول: http://arxiv.org/abs/2105.06194

المؤلفون: Bezhanishvili, Guram, Gabelaia, David, Jibladze, Mamuka

مصطلحات موضوعية: Mathematics - Logic, 03B55, 06D20, 06D22, 03B45, 06E15

URL الوصول: http://arxiv.org/abs/2104.05961

المؤلفون: Ciancia, Vincenzo^Aff9, Gabelaia, David^Aff10, Latella, Diego^Aff9, Massink, Mieke^Aff9, de Vink, Erik P.^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Huisman, Marieke, editor^Aff7, Ravara, António, editor^Aff8

المصدر: Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings. 13910:132-151

المؤلفون: Gabelaia, David, Kuznetsov, Evgeny, Mihailescu, Radu-Casian, Razmadze, Konstantine, Uridia, Levan

المصدر: Journal of Applied Non-Classical Logics. 34(1):1-30

مصطلحات موضوعية: Temporal logic, modal definability, Kripke completeness

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-64269

المؤلفون: Bezhanishvili, Guram, Bezhanishvili, Nick, Carai, Luca, Gabelaia, David, Ghilardi, Silvio, Jibladze, Mamuka

مصطلحات موضوعية: Mathematics - Logic, 06A12, 06A07, 06D20, 03B45, 06D22, 03B55, 03G10

URL الوصول: http://arxiv.org/abs/2001.11060