Formalization of proofs using relational calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi. Formalization of proofs using relational calculus. In 2016 International Symposium on Information Theory and Its Applications, ISITA 2016, Monterey, CA, USA, October 30 - November 2, 2016. pages 527-531, IEEE, 2016. [doi]

This author has not been identified. Look up 'Yoshihiro Mizoguchi' in GoogleThis author has not been identified. Look up 'Hisaharu Tanaka' in GoogleThis author has not been identified. Look up 'Shuichi Inokuchi' in Google

runs on WebDSL