-
1تقرير
-
2تقرير
المؤلفون: 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
-
3تقرير
-
4كتاب إلكتروني
المؤلفون: Bezhanishvili, NickAff9, Ciancia, VincenzoAff10, Gabelaia, DavidAff11, Jibladze, MamukaAff11, Latella, DiegoAff10, Massink, MiekeAff10, de Vink, Erik P.Aff12
المساهمون: Hartmanis, Juris, Founding EditorAff1, Goos, Gerhard, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Castiglioni, Valentina, editorAff7, Francalanza, Adrian, editorAff8
المصدر: 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
-
5تقرير
-
6تقرير
المؤلفون: 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
-
7تقرير
-
8كتاب إلكتروني
المؤلفون: Ciancia, VincenzoAff9, Gabelaia, DavidAff10, Latella, DiegoAff9, Massink, MiekeAff9, de Vink, Erik P.Aff11
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Huisman, Marieke, editorAff7, Ravara, António, editorAff8
المصدر: 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
-
9
المؤلفون: 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
-
10تقرير
المؤلفون: 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