龍田 真  Tatsuta Makoto

Proceedings of the 24th JSSST Workshop on Programming and Programming Languages (PPL2023)

巻: 1

Proceedings of the 24st JSSST Workshop on Programming and Programming Languages (PPL2021)

巻: 1

Biabduction for Separation Logic with Arrays and Lists

巻: 1

Proceedings of the 24th JSSST Workshop on Programming ad Programming Languages (PPL2022)

巻: -

ソフトウェア科学会第39回大会論文集

巻: 1

Logical Methods in Computer Science

巻: 17 (2)

Lecture Notes in Computer Science

巻: 13008 ページ: 23-37

10.1007/978-3-030-89051-3_2

Logical Methods in Computer Science

巻: 17 (2)

Proceedings of the 21st JSSST Workshop on Programming and Programming Languages (PPL2019)

巻: 1

130007801472

LNCS

巻: 11202 ページ: 13-33

10.1007/978-3-030-00389-0_3

Theoretical Computer Science

巻: 631 ページ: 73-96

10.1016/j.tcs.2016.04.004

Lecture Notes in Computer Science

巻: 10017 ページ: 423-443

10.1007/978-3-319-47958-3_22

Proceedings of the 18th JSSST Workshop on Programming and Programming Languages

巻: 1

Lecture Notes in Computer Science

巻: 9458

Lecture Notes in Computer Science

巻: 7941 ページ: 61-76

10.1007/978-3-642-38946-7_7

Logical Methods in Computer Science

巻: 9

10.2168/lmcs-9(1:14)2013

Proceedings of 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011) 81--92.

巻: 全1巻 ページ: 81-92

Electronic Proceedings in Theoretical Computer Science

巻: 54

Chicago Journal of Theoretical Computer Science

巻: (Article 7)

Lecture Notes in Computer Science

巻: 6009 ページ: 207-223

Chicago Journal of Theoretical Computer Science Article 7

\em Annals of Pure and Applied Logic (to appear)

Annals of Pure and Applied Logic (出版確定)

Annals of Pure and Applied Logic 161(11)

ページ: 1390-1399

Lecture Notes in Computer Science(In : Proceedings of Tenth International Symposium on Functional and Logic Programming (FLOPS 2010)) 6009

ページ: 207-223

ACM Transactions on Computational Logic 11(4) Article No 25

ACM Transactions on Computational Logic (出版確定)

Lecture Notes in Computer Science(In : Proceedings of 18th EACSL Annual Conference on Computer Science Logic (CSL2009)) 5771

ページ: 470-484

Lecture Notes in Computer Science 5771

ページ: 470-484

Lecture Notes in Computer Science 5771

ページ: 470-484

Proceedings of Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008)

ページ: 83-92

Annals of Pure and Applied Logic 153(1-3)

ページ: 21-37

Leeture Notes in Computer Science 5213

ページ: 461-477

In : Proceedings of Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS2008)

ページ: 83-92

Lecture Notes in Computer Science(In : Proceedings of 8th International Conference on Typed Lambda Calculi and Applications (TLCA 2007)) 4583

ページ: 366-380

Lecture Notes in Computer Science 4533

ページ: 359-373

Lecture Notes in Computer Science 4583

ページ: 366-380