المؤلفون: Schoen, Ezra, Kupke, Clemens, Rot, Jurriaan, Turkenburg, Ruben

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2405.00237

المؤلفون: Turkenburg, Ruben, Beohar, Harsh, Kupke, Clemens, Rot, Jurriaan

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2404.16588

المؤلفون: Schoen, Ezra, Master, Jade, Kupke, Clemens

مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2310.03445

المؤلفون: Schoen, Ezra, Master, Jade, Kupke, Clemens

مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2303.02065

المؤلفون: Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro

المصدر: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-14 Jun, 2021

Relation: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Kupke, Clemens, Marti, Johannes, Venema, Yde

المصدر: EPTCS 346, 2021, pp. 291-307

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1, F.1.1, I.2.4

URL الوصول: http://arxiv.org/abs/2109.08310

المؤلفون: Enqvist, Sebastian, Hansen, Helle Hvid, Kupke, Clemens, Marti, Johannes, Venema, Yde

المصدر: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2019 34th Annual ACM/IEEE Symposium on. :1-13 Jun, 2019

Relation: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Kupke, Clemens^Aff8, Forsberg, Fredrik Nordvall^Aff8, Watters, Sean^Aff8

المساهمون: 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, Hur, Chung-Kil, editor^Aff7

المصدر: Programming Languages and Systems : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings. 14405:135-154

المؤلفون: Bezhanishvili, Nick^Aff4, Bonsangue, Marcello M.^Aff5, Hansen, Helle Hvid^Aff6, Kozen, Dexter^Aff7, Kupke, Clemens^Aff8, Panangaden, Prakash^Aff9, Silva, Alexandra^Aff7

المساهمون: Hansson, Sven Ove, Editor-in-Chief^Aff1, Palmigiano, Alessandra, editor^Aff2, Sadrzadeh, Mehrnoosh, editor^Aff3

المصدر: Samson Abramsky on Logic and Structure in Computer Science and Beyond. 25:89-127

المؤلفون: Turkenburg, Ruben^Aff9, Kupke, Clemens^Aff10, Rot, Jurriaan^Aff9, Schoen, Ezra^Aff10

المساهمون: 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, Kupferman, Orna, editor^Aff7, Sobocinski, Pawel, editor^Aff8

المصدر: Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. 13992:328-348