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.

Verification of a brick Wang tiling algorithm

Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet-Jourdan. Verification of a brick Wang tiling algorithm. 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 107-116, EasyChair, 2016. [doi]

Authors

Toshiaki Matsushima

This author has not been identified. Look up 'Toshiaki Matsushima' in Google

Yoshihiro Mizoguchi

This author has not been identified. Look up 'Yoshihiro Mizoguchi' in Google

Alexandre Derouet-Jourdan

This author has not been identified. Look up 'Alexandre Derouet-Jourdan' in Google
runs on