立木 秀樹  TSUIKI Hideki

M. Benini, O. Beyersdorff, M. Rathjen, P. Schuster (eds), Mathematics for Computation

巻: - ページ: 223-250

10.1142/9789811245220_0009

Programming Languages and Systems (Proc. ESOP 2022, LNCS 13240)

巻: - ページ: 85-113

10.1007/978-3-030-99336-8_4

Annals of Pure and Applied Logic

巻: 172 号: 3 ページ: 1-56

10.1016/j.apal.2020.102903

proceedings of CIE 2020, Lecture Notes in Computer Science

巻: -

Proceedings of 30th International Symposium on Algorithms and Computation, {ISAAC}

巻: －

Proceedings, bridges 2017

巻: - ページ: 147-152

D. Probst and P. Schuster (eds), Concepts of Proof in Mathematics, Philosophy, and Computer Science

巻: -

Mathematical Structures in Computer Science

巻: 未定

Logical Methods in Computer Science

巻: 未定

Journal of Machine Learning

巻: 90 ページ: 91-126

Journal of Machine Learning

巻: 90 号: 1 ページ: 91-126

10.1007/s10994-012-5301-z

Electr. Notes Theor. Comput. Sci.

巻: 298 ページ: 383-402

10.1016/j.entcs.2013.09.023

Topology and Its Applications

巻: 159 号: 4 ページ: 1266-1275

10.1016/j.topol.2011.11.002

Lecture Note in Artificial Intelligence

巻: 6331 ページ: 315-329

京都大学数理解析研究所講究録 (to appear)

Schloss Dagstuhl-Leibniz Center for Informatics(Andrej Bauer, Peter Hertling, Ker-I Ko) (to appear)

Topology and its applications 157

ページ: 77-82

京都大学数理解析研究所講究録 (印刷中)

6th International Conference on Computability and Complexity in Analysis Proceedings 2275

Topology and its Applications Vol.157

ページ: 77-82

Journal of Universal Computer Science (掲載予定確定)

Proceedings of IIC2007, LNCS series (掲載予定確定)

Lecture Notes in Computer Science 5489

ページ: 109-125

Journal of Universal Computer Science 15(6)

ページ: 1365-1380

Lecture Notes in Computer Science 5489

ページ: 109-125

Topology and its applications (掲載予定確定)

Electric Notes in Theoretical Computer Science 221

ページ: 299-308

Theoretical Computer Science 405

ページ: 198-205

Theoretical Computer Science vol. 405

ページ: 198-205

Theoretical Comp. Sci. Vol.405

ページ: 198-205

Theoretical Computer Science (To appear)

Theoretical Computer Science 405

ページ: 198-205

Theoretical Computer Science 405(1-2)

ページ: 198-205

人工知能学会人工知能基本問題研究会(第62回)資料 SIG-FPAI-A504

ページ: 47-54

J.Log.Algebr.Program. 64・1

ページ: 61-84

Prodeegings of ESOP 2005, LNCS 3444

ページ: 201-216

Journal of Logic and Algebraic Programming 64

ページ: 61-84

Proceedings ESOP 2005 : The European Symposium on Programming LNCS 3444

ページ: 201-216

J.Log.Algebr.Program. 64(1)

ページ: 61-84

Lecture Notes in Computer Science 3444

ページ: 201-216

Proceedings ESOP 2005 : The European Symposium on Programming, LNCS 3444

ページ: 201-216

Lecture Notes in Computer Science 3444

ページ: 201-216

Electronic Notes in Theoretical Computer Science 73

ページ: 213-215

Math. Structures of Computer Sci. 14

ページ: 853-878

Mathematical Structures in Computer Science 14・6

ページ: 853-878

Mathematical Structures in Computer Science 14(6)

ページ: 853-878

Topology Proceedings 28(2)

ページ: 673-687

数学解析の理論的展開の計算機による支援・遂行可能性、京都大学数理解析研究所講究録 1381

ページ: 90-98

Mathematical Structures in Computer Science 14(6)

ページ: 853-878

Topology Proceedings 28(2)

ページ: 673-687

Mathematical Structures in Computer Science 14(6)

ページ: 853-878

Mathematical Structures in Computer Science 14(6)

ページ: 853-878

Topology Proc. 28

ページ: 673-687

Topology Proc. 28

ページ: 673-687

Math.Structures of Computer Sci. 14

ページ: 853-878

Mathmatical Structures in Computer Science 14(6)

ページ: 853-878

Topology Proceedings 28(2)

ページ: 673-687

Mathematical Structures of Computer Sciences 14

ページ: 853-878

Theoretical Computer Science 294

ページ: 307-331

Theoretical Computer Science 294

ページ: 307-331

Journal of Universal Computer Science (to appear)

Proceedings of ESOP 2005, LNCS (To appear)

to appear in proceedings of ILC2007

Topology and its Applications (印刷中)

Topology and its applications (to Appear in)

Theoretical Computer Sciences (印刷中)