المؤلفون: Sun, Xin, Su, Xingchi, Bian, Xiaoning, Cui, Anran

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70 Logic in computer science, F.3

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

المؤلفون: Sun, Xin, Su, Xingchi, Bian, Xiaoning, Wu, Huiwen

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70 Logic in computer science, F.3

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

المؤلفون: Sun, Xin^Aff9, Cui, Anran^Aff10, Chen, Hui^Aff9, Su, Xingchi^Aff9

المساهمون: 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, Aff8}, Ge, Chunpeng, editor^Aff7

المصدر: Information Security and Cryptology : 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9–10, 2023, Revised Selected Papers, Part II. 14527:305-316

المؤلفون: Fan, Jie, Grossi, Davide, Kooi, Barteld, Su, Xingchi, Verbrugge, Rineke

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

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

المؤلفون: Grossi, Davide^{Aff10, Aff11}, Kooi, Barteld^Aff10, Su, Xingchi^Aff10, Verbrugge, Rineke^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, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Ghosh, Sujata, editor^Aff8, Icard, Thomas, editor^Aff9

المصدر: Logic, Rationality, and Interaction : 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings. 13039:201-215

المؤلفون: Su, Xingchi^Aff16

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Baltag, Alexandru, editor^Aff13, Seligman, Jeremy, editor^Aff14, Yamada, Tomoyuki, editor^Aff15

المصدر: Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings. 10455:653-657