-
1تقرير
المؤلفون: Pauly, Arno
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, Mathematics - Combinatorics, 03D30, 05C55
URL الوصول: http://arxiv.org/abs/2407.03722
-
2تقرير
-
3تقرير
-
4تقرير
المؤلفون: Goh, Jun Le, Pauly, Arno, Valenti, Manlio
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, Mathematics - Combinatorics, 03D30 03D78 06A75
URL الوصول: http://arxiv.org/abs/2401.11807
-
5تقرير
-
6تقرير
-
7تقرير
-
8تقرير
-
9تقرير
-
10كتاب إلكتروني
المؤلفون: 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