Books, Original Papers & Review Papers- KIKUCHI Kentaro -
number of results to view: what to display: sort:
[B]:Books [O]:Original Papers [R]:Review Papers
total:37
[2020]
1.[O] Polymorphic computation systems: Theory and practice of confluence with call-by-value..[Sci. Comput. Program.,187,(2020),102322]Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi
10.1016/j.scico.2019.102322
[2019]
2.[O] Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation.[Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019, Porto, Portugal, October 7-9, 2019.,(2019),13:1-13:14-]Kentaro Kikuchi, Takahito Aoto, Isao Sasano
3.[O] Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value.[Science of Computer Programming, in press.,(2019)]Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi
[2018]
4.[O] The System SOL version 2018.[Proceedings of the 7th International Workshop on Confluence (IWC 2018),(2018),70]Makoto Hamana, Kentaro Kikuchi
[2017]
5.[O] Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.[Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017),LNAI 10483,(2017),115-131]Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
6.[O] ACPH: System Description for CoCo 2017.[Proceedings of the 6th International Workshop on Confluence (IWC 2017),(2017),70]Kouta Onozawa, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
7.[O] Confluence by Strong Commutation with Disjoint Parallel Reduction.[Participant's Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017),(2017)]Kentaro Kikuchi
[2016]
8.[O] ACPH: System Description for CoCo 2016.[Proceedings of the 5th International Workshop on Confluence (IWC 2016),(2016),76]Kouta Onozawa, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
9.[O] Nrbox: System Description for CoCo 2016.[Proceedings of the 5th International Workshop on Confluence (IWC 2016),(2016),87]Takahito Aoto, Kentaro Kikuchi
10.[O] Nominal Confluence Tool.[Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016),LNAI 9706,(2016),173-182]Takahito Aoto, Kentaro Kikuchi
11.[O] A Rule-Based Procedure for Equivariant Nominal Unification.[Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016),(2016)]Takahito Aoto, Kentaro Kikuchi
12.[O] Critical Pair Analysis in Nominal Rewriting.[Proceedings of the 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016),EPiC 39,(2016),156-168]Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
[2015]
13.[O] Correctness of Context-Moving Transformations for Term Rewriting Systems.[Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015),LNCS 9527,(2015),331-345]Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
14.[O] ACPH: System Description.[Proceedings of the 4th International Workshop on Confluence (IWC 2015),(2015),39]Kouta Onozawa, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
15.[O] NoCo: System Description for CoCo 2015.[Proceedings of the 4th International Workshop on Confluence (IWC 2015),(2015),48]Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto
16.[O] Context-Moving Transformation for Term Rewriting Systems (Extended Abstract).[Participant's Proceedings of the 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015),(2015),3-7]Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
17.[O] Confluence of Orthogonal Nominal Rewriting Systems Revisited.[Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015),LIPIcs 36,(2015),301-317]Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
18.[O] 項書き換えシステムの変換を利用した帰納的定理自動証明.[コンピュータソフトウェア,32(1),(2015),179-193]佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
19.[O] Uniform Proofs of Normalisation and Approximation for Intersection Types.[Proceedings of the 7th Workshop on Intersection Types and Related Systems (ITRS 2014),EPTCS 177,(2015),10-23]Kentaro Kikuchi
[2014]
20.[O] A Translation of Intersection and Union Types for the λμ-Calculus.[Proceedings of the 12th Asian Symposium on Programming Languages and Systems (APLAS 2014),LNCS 8858,(2014),120-139]Kentaro Kikuchi, Takafumi Sakurai
Page: [1] [2] [next]
BackTop
copyright(c)2005 Tohoku University