Kikuchi K, Aoto T and Toyama Y (2015), "On the Correctness of Context-Moving Transformations", Conference Proceedings of Japan Society for Software Science and Technology. Vol. 32 (PPL4-4), 4pp. September, 2015. Japan Society for Software Science and Technology. |
BibTeX:
@article{Kikuchi2015a, author = {Kentaro Kikuchi and Takahito Aoto and Yoshihito Toyama}, title = {On the Correctness of Context-Moving Transformations}, journal = {Conference Proceedings of Japan Society for Software Science and Technology}, publisher = {Japan Society for Software Science and Technology}, year = {2015}, volume = {32}, number = {PPL4-4}, pages = {4pp}, url = {http://ci.nii.ac.jp/naid/40020657250/en/} } |
Onozawa K, Kikuchi K, Aoto T and Toyama Y (2015), "ACPH: System Description", In 4th International Workshop on Confluence, IWC 2015, Berlin, Germany, August 2, 2015, Proceedings. pp. 39-39.
[BibTeX] |
BibTeX:
@inproceedings{Onozawa2015, author = {Onozawa, Kouta and Kikuchi, Kentaro and Aoto, Takahito and Toyama, Yoshihito}, title = {ACPH: System Description}, booktitle = {4th International Workshop on Confluence, IWC 2015, Berlin, Germany, August 2, 2015, Proceedings}, year = {2015}, pages = {39-39} } |
Suzuki T, Kikuchi K and Aoto T (2015), "NoCo: System Description for CoCo 2015", In 4th International Workshop on Confluence, IWC 2015, Berlin, Germany, August 2, 2015, Proceedings. pp. 48-48.
[BibTeX] |
BibTeX:
@inproceedings{Suzuki2015a, author = {Suzuki, Takaki and Kikuchi, Kentaro and Aoto, Takahito}, title = {NoCo: System Description for CoCo 2015}, booktitle = {4th International Workshop on Confluence, IWC 2015, Berlin, Germany, August 2, 2015, Proceedings}, year = {2015}, pages = {48-48} } |
Sato K, Kikuchi K, Aoto T and Toyama Y (2013), "Program Transformation for Automated Verification", Conference Proceedings of Japan Society for Software Science and Technology. Vol. 30 (PPL5-5), pp. 702-710. September, 2013. Japan Society for Software Science and Technology. |
BibTeX:
@article{Sato2013, author = {Koichi Sato and Kentaro Kikuchi and Takahito Aoto and Yoshihito Toyama}, title = {Program Transformation for Automated Verification}, journal = {Conference Proceedings of Japan Society for Software Science and Technology}, publisher = {Japan Society for Software Science and Technology}, year = {2013}, volume = {30}, number = {PPL5-5}, pages = {702-710}, url = {http://ci.nii.ac.jp/naid/40020580475/en/} } |
Kikuchi K (2009), "On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)", RIMS Kokyuroku. Vol. 1635, pp. 33-50. April, 2009. Kyoto University. |
BibTeX:
@article{Kikuchi2009, author = {Kikuchi, Kentaro}, title = {On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)}, journal = {RIMS Kokyuroku}, publisher = {Kyoto University}, year = {2009}, volume = {1635}, pages = {33-50}, url = {http://ci.nii.ac.jp/naid/110007050195/en/} } |
Kikuchi K (2002), "Gentzen Style Sequent Calculi for Some Subsystems of Intuitionistic Logic". Thesis at: Japan Advanced Institute of Science and Technology. |
BibTeX:
@phdthesis{Kikuchi2002a, author = {Kikuchi, Kentaro}, title = {Gentzen Style Sequent Calculi for Some Subsystems of Intuitionistic Logic}, school = {Japan Advanced Institute of Science and Technology}, year = {2002}, url = {http://ci.nii.ac.jp/naid/500000230966?l=en} } |
Kikuchi K (1999), "Cut-Free Sequent Calculi for Visser's Propositional Logics", Research Report. IS-RR-99-0030, 12pp. November, 1999. Japan Advanced Institute of Science and Technology. |
BibTeX:
@article{Kikuchi1999, author = {Kikuchi, Kentaro}, title = {Cut-Free Sequent Calculi for Visser's Propositional Logics}, journal = {Research Report}, publisher = {Japan Advanced Institute of Science and Technology}, year = {1999}, volume = {IS-RR-99-0030}, pages = {12pp}, url = {http://ci.nii.ac.jp/naid/110000570859/en/} } |