المؤلفون: Kornev, Ruslan^Aff28

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, van Leeuwen, Jan, Series Editor^Aff2, Hutchison, David, Editorial Board Member^Aff3, Kanade, Takeo, Editorial Board Member^Aff4, Kittler, Josef, Editorial Board Member^Aff5, Kleinberg, Jon M., Editorial Board Member^Aff6, Kobsa, Alfred, Series Editor^Aff7, Mattern, Friedemann, Editorial Board Member^Aff8, Mitchell, John C., Editorial Board Member^Aff9, Naor, Moni, Editorial Board Member^Aff10, Nierstrasz, Oscar, Series Editor^Aff11, Pandu Rangan, C., Editorial Board Member^Aff12, Sudan, Madhu, Series Editor^Aff13, Terzopoulos, Demetri, Editorial Board Member^Aff14, Tygar, Doug, Editorial Board Member^Aff15, Weikum, Gerhard, Series Editor^Aff16, Vardi, Moshe Y, Series Editor^Aff17, Goos, Gerhard, Founding Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Levy Patey, Ludovic, editor^Aff24, Pimentel, Elaine, editor^Aff25, Galeotti, Lorenzo, editor^Aff26, Manea, Florin, editor^Aff27

المصدر: 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

المؤلفون: Rojas, Diego A.^{Aff1, Aff2, IDs00153023008862_cor1}

المصدر: Archive for Mathematical Logic. 63(1-2):225-238

المؤلفون: Camrud, Caleb^{Aff1, IDs00153023008844_cor1}, Goldbring, Isaac, McNicholl, Timothy H.

المصدر: Archive for Mathematical Logic. 62(7-8):1111-1129

المؤلفون: Crook, Tonicha^Aff9, Morgan, Jay^Aff10, Pauly, Arno^Aff9, Roggenbach, Markus^Aff9

المساهمون: 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, Madeira, Alexandre, editor^Aff7, Martins, Manuel A., editor^Aff8

المصدر: 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

المؤلفون: Georgiev, Ivan^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, Della Vedova, Gianluca, editor^Aff7, Dundua, Besik, editor^Aff8, Lempp, Steffen, editor^Aff9, Manea, Florin, editor^Aff10

المصدر: Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings. 13967:154-165

المؤلفون: Hiroshima, Keita^Aff11, Kawamura, Akitoshi^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, Della Vedova, Gianluca, editor^Aff7, Dundua, Besik, editor^Aff8, Lempp, Steffen, editor^Aff9, Manea, Florin, editor^Aff10

المصدر: Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings. 13967:135-140

المؤلفون: Nandakumar, Satyadev^{Aff1, IDs00224022100949_cor1}, Pulari, Subin

المصدر: Theory of Computing Systems. 67(3):491-520

المؤلفون: Neumann, Eike^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, Berger, Ulrich, editor^Aff7, Franklin, Johanna N. Y., editor^Aff8, Manea, Florin, editor^Aff9, Pauly, Arno, editor^Aff10

المصدر: Revolutions and Revelations in Computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings. :220-233

المؤلفون: 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)

المؤلفون: 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)