Automating Proofs in Category Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dexter Kozen, Christoph Kreitz, Eva Richter. Automating Proofs in Category Theory. In Ulrich Furbach, Natarajan Shankar, editors, Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4130 of Lecture Notes in Computer Science, pages 392-407, Springer, 2006. [doi]

This author has not been identified. Look up 'Dexter Kozen' in GoogleThis author has not been identified. Look up 'Christoph Kreitz' in GoogleThis author has not been identified. Look up 'Eva Richter' in Google

runs on WebDSL