南出 靖彦  Minamide Yasuhiko

Leibniz International Proceedings in Informatics

巻: ITP2023

Journal of Information Processing

巻: 31 号: 0 ページ: 421-431

10.2197/ipsjjip.31.421

コンピュータ ソフトウェア

巻: 40 号: 1 ページ: 1_117-1_136

10.11309/jssst.40.1_117

Lecture Notes in Computer Science

巻: 13215 ページ: 57-74

10.1007/978-3-030-99461-7_4

コンピュータソフトウェア

巻: -

コンピュータ ソフトウェア

巻: 38 号: 2 ページ: 2_53-2_70

10.11309/jssst.38.2_53

130008055711

International Conference on Language and Automata Theory and Applications

巻: LNCS 12638 ページ: 213-225

10.1007/978-3-030-68195-1_16

Journal of Information Processing

巻: 未定 ページ: 9-9

130007663795

Journal of Information Processing

巻: 27 号: 0 ページ: 422-430

10.2197/ipsjjip.27.422

130007663795

Journal of Information Processing

巻: 27 号: 0 ページ: 810-821

10.2197/ipsjjip.27.810

130007762322

コンピュータ ソフトウェア

巻: 35 号: 1 ページ: 1_140-1_168

10.11309/jssst.35.1_140

130006356068

Logical Methods in Computer Science

巻: 12 ページ: 1-27

10.2168/lmcs-12(2:9)2016

120006582518

International Conference on Developments in Language Theory

巻: LNCS 9840 ページ: 393-405

10.1007/978-3-662-53132-7_32

International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

巻: LNCS 9452 ページ: 249-265

IPSJ Transactions on Programming

巻: 7 ページ: 1-11

情報処理学会論文誌 プログラミング

巻: 7 ページ: 8-20

110009818006

International Symposium on Automated Technology for Verification and Analysis

巻: LNCS 8712 ページ: 412-426

10.1007/978-3-319-02444-8_29

情報処理学会論文誌:プログラミング

巻: 6 ページ: 17-26

110009517217

Proc. the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

巻: LNCS 7795 ページ: 230-244

10.1007/978-3-642-36742-7_17

120006582518

Proc. the 18th International Symposium on Formal Methods

巻: LNCS 7436 ページ: 293-307

10.1007/978-3-642-32759-9_26

Journal of Applied Logic

巻: 10 号: 1 ページ: 32-51

10.1016/j.jal.2011.11.003

Journal of Applied Logic

巻: 10 ページ: 32-51

Proc.International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)

ページ: 107-115

Proc.International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)

ページ: 107-115

110007970972

情報処理学会論文誌 プログラミング 3

ページ: 9-25

110007970972

情報処理学会論文誌 プログラミング 3

ページ: 9-25

110007970972

Rubyプログラムの制御フロー解析とその健全性の証明 3巻

ページ: 9-25

情報処理学会論文誌:プログラミング

巻: 3 ページ: 9-25

110007970972

http://id.nii.ac.jp/1001/00068444/

InProc. POPL : The Symposium on Principles of Programming Languages

ページ: 200-212

Proc. POPL : The Symposium on Principle s of Programming Languages

ページ: 200-212

Proc. of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

ページ: 200-212

Proc. POPL: The Symposium on Principles of Programming Languages

ページ: 200-212

情報処理学会論文誌:プログラミング 49

ページ: 39-54

110006684629

Proc. of 13th International Conference on Implementation and Application of Automata

ページ: 122-131

In Proc. of the 13th International Conference on Implementation and Application of Automata LNCS 5148

ページ: 122-131

Proc. of the 13th International Conference on-Implementation and Application of Automata LNCS 5184

ページ: 122-131

情報処理学会論文誌 : プログラミング Vol.49, No.SIG 3, PRO 36

ページ: 39-54

110006684629

Proc. of the 13th International Confer ence on Implementation and Application of Automata LNCS5148

ページ: 122-131

Proc. of the 13th International Conference on Implementation and Application of Automata LNCS 5148

ページ: 122-131

IPSJ Transactions on Programming 49

ページ: 39-54

110006684629

Proc. of Symbolic Computation in Software Science Austrian-Japanese Workshop, RISC Technical Report 08-08

ページ: 137-147

情報処理学会論文誌:プログラミング 49

ページ: 39-54

110006684629

情報処理学会論文誌:プログラミング 49

ページ: 39-54

110006684629

Proceedigs of the 20th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science, Springer 4732

ページ: 173-188

コンピュータコンピュータソフトウェア 24

ページ: 15-19

130004549074

コンピュータソフトウェア Vol.24, No.3

ページ: 15-19

Proceedigs of the 20th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science, Springer 4732

ページ: 173-188

Proceedigs of the 20th International Confere nee on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science Springer 4732

ページ: 173-188

Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423

ページ: 346-360

Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS4423

ページ: 346-360

Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423

ページ: 346-360

コンピュータソフトウェア 24

ページ: 15-19

In Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423

ページ: 346-3601

Computer Software 24

ページ: 15-19

Proc. Of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS4423

ページ: 346-360

In Proc. of the 20th International Conference on Theorem Proving in Higher Order Logics LNCS 4732

ページ: 173-188

International Conference on Theorem Proving in Higher Order Logics LNCS 4732

ページ: 173-188

Proc. of The Fourth ASIAN Symposium on Programming Languages and Systems LNCS4279

ページ: 357-373

Proc. of The Fourth ASIAN Symposium on Programming Languages and Systems LNCS 4279

ページ: 357-373

Proc. of The Fourth ASIAN Symposium on Programming Languages and Systems LNCS 4279

ページ: 357-373

Fourth ASIAN Symposium on Programming Languages and Systems LNCS 4279

ページ: 357-373

In Proceedings of the Fourth Asian Symposium on Programming Languages and Systems (APLAS) LNCS 4279

ページ: 357-373

情報処理学会論文誌:プログラミング No.SIG6(PRO25)

ページ: 18-34

10015447055

情報処理学会論文誌:プログラミング No.SIG6(PRO 25)

ページ: 18-34

10015447055

IPSJ Transactions on Programming No.SIG6(PR025)

ページ: 18-34

10015447055

The 14th International World Wide Web Conference

ページ: 432-441

The 14th International World Wide Web Conference

ページ: 432-441