Using Linear Logic to Reason about Sequent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dale Miller, Elaine Pimentel. Using Linear Logic to Reason about Sequent Systems. In Uwe Egly, Christian G. Fermüller, editors, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings. Volume 2381 of Lecture Notes in Computer Science, pages 2-23, Springer, 2002. [doi]

This author has not been identified. Look up 'Dale Miller' in GoogleThis author has not been identified. Look up 'Elaine Pimentel' in Google

runs on WebDSL