المؤلفون: Kruger, Loes, Junges, Sebastian, Rot, Jurriaan

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

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

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

المؤلفون: Kori, Mayuko, Watanabe, Kazuki, Rot, Jurriaan, Katsumata, Shin-ya

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

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

المؤلفون: Kruger, Loes, Junges, Sebastian, Rot, Jurriaan

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

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

المؤلفون: Rot, Jurriaan, Wißmann, Thorsten

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

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

المؤلفون: Rot, Jurriaan^Aff27, Junges, Sebastian^Aff27, Beohar, Harsh^Aff28

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series 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, Capretta, Venanzio, editor^Aff24, Krebbers, Robbert, editor^Aff25, Wiedijk, Freek, editor^Aff26

المصدر: Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. 14560:203-213

المؤلفون: Watanabe, Kazuki^{Aff3, Aff4}, van der Vegt, Marck^Aff5, Hasuo, Ichiro^{Aff3, Aff4}, Rot, Jurriaan^Aff5, Junges, Sebastian^Aff5

المساهمون: Finkbeiner, Bernd, editor^Aff1, Kovács, Laura, editor^Aff2

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. 14571:279-298

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

المؤلفون: Pous, Damien, Rot, Jurriaan, Wagemaker, Jana

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

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