External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Critical Pair Analysis in Nominal Rewriting

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama. Critical Pair Analysis in Nominal Rewriting. In James H. Davenport, Fadoua Ghourabi, editors, 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. Volume 39 of EPiC Series in Computing, pages 156-168, EasyChair, 2016. [doi]

Authors

Takaki Suzuki

This author has not been identified. Look up 'Takaki Suzuki' in Google

Kentaro Kikuchi

This author has not been identified. Look up 'Kentaro Kikuchi' in Google

Takahito Aoto 0001

This author has not been identified. Look up 'Takahito Aoto 0001' in Google

Yoshihito Toyama

This author has not been identified. Look up 'Yoshihito Toyama' in Google
runs on