Tohoku University · Research Institute of Electrical Communication

Research keywordsproof theory・Gentzen calculi・strong normalization・basic propositional calculus・term rewriting systems・local sufficient completeness・automated theorem proving・logical system implementation

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• A Rule-Based Procedure for Equivariant Nominal UnificationTakahito Aoto, Kentaro Kikuchi
• A Proof Method for Local Sufficient Completeness of Term Rewriting SystemsTomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto
• Nrbox: System Description for CoCo 2016Takahito Aoto, Kentaro Kikuchi
• Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent CalculusKentaro Kikuchi

• Official profile
• ORCID