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

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

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

المؤلفون: Beohar, Harsh, Gurke, Sebastian, König, Barbara, Messing, Karla, Forster, Jonas, Schröder, Lutz, Wild, Paul

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

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

المؤلفون: Forster, Jonas, Schröder, Lutz, Wild, Paul, Beohar, Harsh, Gurke, Sebastian, Messing, Karla

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B45 (Primary) 03B52 (Secondary), F.4.1

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

المؤلفون: Forster, Jonas, Schröder, Lutz, Wild, Paul, Beohar, Harsh, Gurke, Sebastian, König, Barbara, Messing, Karla

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B45, 03B52, 68Q85, F.4.1

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

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

المؤلفون: Beohar, Harsh, Gurke, Sebastian, König, Barbara, Messing, Karla

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

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

المؤلفون: Ford, Chase, Beohar, Harsh, König, Barbara, Milius, Stefan, Schröder, Lutz

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

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

المؤلفون: Beohar, Harsh, Konig, Barbara, Kupper, Sebastian, Silva, Alexandra

المصدر: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) Theoretical Aspects of Software Engineering (TASE), 2017 International Symposium on. :1-8 Sep, 2017

Relation: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)

المؤلفون: Beohar, Harsh, Küpper, Sebastian

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

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

المؤلفون: Beohar, Harsh^Aff9, König, Barbara^Aff10, Küpper, Sebastian^Aff11, Mika-Michalski, Christina^Aff12

المساهمون: 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, Hansen, Helle Hvid, editor^Aff7, Zanasi, Fabio, editor^Aff8

المصدر: Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. 13225:1-22