照井 一成  terui kazushige

27th EACSL Annual Conference on Computer Science Logic (CSL 2018)

巻: 27 ページ: 1-19

10.4230/LIPICS.CSL.2018.37

Annals of Pure and Applied Logics

巻: 168(3) 号: 3 ページ: 693-737

10.1016/j.apal.2016.10.012

Algebra Universalis

巻: 75(2) 号: 2 ページ: 169-195

10.1007/s00012-016-0372-5

Proceedings of FSCD'16

巻: --

10.4230/LIPIcs.FSCD.2016.5

Proceedings of the 1st FSCD

巻: 1

Proceedings of the 42nd ICALP

巻: LNCS9135 ページ: 350-361

10.1007/978-3-662-47666-6_28

Proceedings of ICALP 2015

巻: 42

Proceedings of 23rd International Conference on Rewriting Techniques and Applications (RTA'12)

ページ: 323-338

10.4230/LIPIcs.RTA.2012.323

Annals of Pure and Applied Logic

巻: 163(3) 号: 3 ページ: 266-290

10.1016/j.apal.2011.09.003

Proceedings of the 23^<rd> International Conference on Rewriting Techniques and Applications

巻: (掲載確定)

Theoretical Computer Science

巻: 412(20) 号: 20 ページ: 2048-2071

10.1016/j.tcs.2010.12.026

Algebra Universalis

巻: (掲載確定)

Theoretical Computer Science

巻: 412(31) 号: 31 ページ: 3992-4006

10.1016/j.tcs.2011.04.004

Algebra Universalis

巻: 66(4) 号: 4 ページ: 405-420

10.1007/s00012-011-0160-1

Proceedings of Logic in Computer Science (LICS'10)

ページ: 294-303

10.1109/lics.2010.47

Electronic Notes in Theoretical Computer Science

巻: 265 ページ: 161-176

Logical Methods in Computer Science

巻: 6(4) ページ: 1-35

Logical Methods in Computer Science

巻: 6(4:11) ページ: 1-35

10.2168/lmcs-6(4:11)2010

Proceedings of the 25^<th> Annual IEEE Symposium on Logic in Computer Science (LICS) 25(掲載確定)

Proceedings of Developments in Implicit Computational Complexity (DICE'10)

巻: 23 ページ: 31-46

10.4204/eptcs.23.3

Proceedings of Computer Science Logic (CSL'09)

ページ: 163-178

10.1007/978-3-642-04027-6_14

Proceedings of Typed Lambda Calculus and its Applications (TLCA'09)

ページ: 50-64

10.1007/978-3-642-02273-9_6

Proceedings of the 18^<th> EACSL Conference on Computer Science Logic (CSL) 18

ページ: 163-178

Proceedings of the 9^<th> International Conference on Typed Lambda Calculi and Applications (TLCA) 9

ページ: 50-64

Journal of Symbolic Logic (受理済み)(未定)

Logical Methods in Computer science (受理済み)(未定)

Studia Logica Vol.82

ページ: 95-119

Proceedings of Computer Science Logic 2006 (CSL'06) LNCS 4207

ページ: 150-166

Studia Logica Vol.82

ページ: 95-119

Mathematical Structures in Computer Science Vol.16

ページ: 1-20

Mathematical Structure in Computer Science (to appear)

Proceedings of Logic for Programming and Automated Reasoning 2006 (LPAR'06) LNAI 4246

ページ: 135-149

Mathematical Structure in Computer Science 近刊

Proceedings of TLCA 2005 (発表予定)

Proceedings of LICS 2004 19

ページ: 266-275

Proceedings of LICS 2004 19

ページ: 182-191

Proceedings of Logic in Computer Science 2004, IEEE 19

ページ: 182-191

Mathematical Structure in Computer Science (to appear in 2006)