Formalization of proofs using relational calculus.

Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi

Browse the full ISITA paper archive.