كتاب إلكتروني
On Arithmetical Numberings in Reverse Mathematics
العنوان: | On Arithmetical Numberings in Reverse Mathematics |
---|---|
المؤلفون: | Bazhenov, NikolayAff28, Fiori-Carones, MartaAff28, Mustafa, ManatAff29 |
المساهمون: | 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:126-138 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783031643088 9783031643095 |
---|---|
DOI: | 10.1007/978-3-031-64309-5_11 |