Matching entries: 0
settings...
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:
@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:
@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/}
}