المؤلفون: Kura, Satoshi, Unno, Hiroshi

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

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

المؤلفون: Kura, Satoshi

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

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

المؤلفون: Kura, Satoshi, Unno, Hiroshi, Hasuo, Ichiro

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

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

المؤلفون: Kura, Satoshi

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

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

المؤلفون: Kura, Satoshi

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

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

المؤلفون: Sugita, Hikaru, Ebata, Satoshi, Suzuki, Hiroyuki, Kura, Satoshi, Yoneda, Eiji, Yoda, Kyousuke, Mashima, Hiroshi, Fukuma, Satoshi, Kanai, Daiki, Yamamura, Tetsuya, Manabe, Yuuji, Tateshima, Kazuko, Itou, Yoshikazu

المصدر: In Displays April 2023 77

المؤلفون: Kura, Satoshi, Urabe, Natsuki, Hasuo, Ichiro

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

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

المؤلفون: Kura, Satoshi^{Aff10, Aff11}

المساهمون: 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, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Kiefer, Stefan, editor^Aff8, Tasson, Christine, editor^Aff9

المصدر: Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. 12650:406-426

المؤلفون: Kura, Satoshi^{Aff16, Aff17}, Urabe, Natsuki^{Aff16, Aff17}, Hasuo, Ichiro^{Aff17, Aff18}

المساهمون: Hutchison, David, Editorial Board Member^Aff1, Kanade, Takeo, Editorial Board Member^Aff2, Kittler, Josef, Editorial Board Member^Aff3, Kleinberg, Jon M., Editorial Board Member^Aff4, Mattern, Friedemann, Editorial Board Member^Aff5, Mitchell, John C., Editorial Board Member^Aff6, Naor, Moni, Editorial Board Member^Aff7, Pandu Rangan, C., Editorial Board Member^Aff8, Steffen, Bernhard, Editorial Board Member^Aff9, Terzopoulos, Demetri, Editorial Board Member^Aff10, Tygar, Doug, Editorial Board Member^Aff11, Goos, Gerhard, Founding Editor^Aff12, Hartmanis, Juris, Founding Editor^Aff13, Vojnar, Tomáš, editor^Aff14, Zhang, Lijun, editor^Aff15

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. 11428:135-153

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.