-
1كتاب إلكتروني
المؤلفون: Kornev, RuslanAff28
المساهمون: Hartmanis, Juris, Founding EditorAff1, van Leeuwen, Jan, Series EditorAff2, Hutchison, David, Editorial Board MemberAff3, Kanade, Takeo, Editorial Board MemberAff4, Kittler, Josef, Editorial Board MemberAff5, Kleinberg, Jon M., Editorial Board MemberAff6, Kobsa, Alfred, Series EditorAff7, Mattern, Friedemann, Editorial Board MemberAff8, Mitchell, John C., Editorial Board MemberAff9, Naor, Moni, Editorial Board MemberAff10, Nierstrasz, Oscar, Series EditorAff11, Pandu Rangan, C., Editorial Board MemberAff12, Sudan, Madhu, Series EditorAff13, Terzopoulos, Demetri, Editorial Board MemberAff14, Tygar, Doug, Editorial Board MemberAff15, Weikum, Gerhard, Series EditorAff16, Vardi, Moshe Y, Series EditorAff17, Goos, Gerhard, Founding EditorAff18, Bertino, Elisa, Editorial Board MemberAff19, Gao, Wen, Editorial Board MemberAff20, Steffen, Bernhard, Editorial Board MemberAff21, Yung, Moti, Editorial Board MemberAff22, Woeginger, Gerhard, Editorial Board MemberAff23, Levy Patey, Ludovic, editorAff24, Pimentel, Elaine, editorAff25, Galeotti, Lorenzo, editorAff26, Manea, Florin, editorAff27
المصدر: Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings. 14773:405-419
-
2دورية أكاديمية
المؤلفون: Rojas, Diego A.Aff1, Aff2, IDs00153023008862_cor1
المصدر: Archive for Mathematical Logic. 63(1-2):225-238
-
3دورية أكاديمية
المؤلفون: Camrud, CalebAff1, IDs00153023008844_cor1, Goldbring, Isaac, McNicholl, Timothy H.
المصدر: Archive for Mathematical Logic. 62(7-8):1111-1129
-
4كتاب إلكتروني
المؤلفون: Crook, TonichaAff9, Morgan, JayAff10, Pauly, ArnoAff9, Roggenbach, MarkusAff9
المساهمون: 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, Madeira, Alexandre, editorAff7, Martins, Manuel A., editorAff8
المصدر: Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers. 13710:63-80
-
5كتاب إلكتروني
المؤلفون: Georgiev, IvanAff11
المساهمون: 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, Della Vedova, Gianluca, editorAff7, Dundua, Besik, editorAff8, Lempp, Steffen, editorAff9, Manea, Florin, editorAff10
المصدر: Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings. 13967:154-165
-
6كتاب إلكتروني
المؤلفون: Hiroshima, KeitaAff11, Kawamura, AkitoshiAff11
المساهمون: 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, Della Vedova, Gianluca, editorAff7, Dundua, Besik, editorAff8, Lempp, Steffen, editorAff9, Manea, Florin, editorAff10
المصدر: Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings. 13967:135-140
-
7دورية أكاديمية
المؤلفون: Nandakumar, SatyadevAff1, IDs00224022100949_cor1, Pulari, Subin
المصدر: Theory of Computing Systems. 67(3):491-520
-
8كتاب إلكتروني
المؤلفون: Neumann, EikeAff11
المساهمون: 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, Berger, Ulrich, editorAff7, Franklin, Johanna N. Y., editorAff8, Manea, Florin, editorAff9, Pauly, Arno, editorAff10
المصدر: Revolutions and Revelations in Computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings. :220-233
-
9مؤتمر
المؤلفون: Galicki, Alex
المصدر: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2016 31st Annual ACM/IEEE Symposium on. :1-10 Jul, 2016
Relation: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
-
10مؤتمر
المؤلفون: Pauly, A., De Brecht, M.
المصدر: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on. :438-449 Jul, 2015
Relation: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)