كتاب إلكتروني
Barendregt’s Problem #26 and Combinatory Strong Reduction
| العنوان: | Barendregt’s Problem #26 and Combinatory Strong Reduction |
|---|---|
| المؤلفون: | Stirton, WilliamAff11 |
| المساهمون: | 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. :313-326 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783031087394 9783031087400 |
|---|---|
| DOI: | 10.1007/978-3-031-08740-0_26 |