Completeness Proof Strategies for Euler Diagram Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jim Burton, Gem Stapleton, John Howse. Completeness Proof Strategies for Euler Diagram Logics. In Peter Chapman, Luana Micallef, editors, Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, July 2, 2012. Volume 854 of CEUR Workshop Proceedings, pages 2-16, CEUR-WS.org, 2012. [doi]

This author has not been identified. Look up 'Jim Burton' in GoogleThis author has not been identified. It may be one of the following persons:

Gem Stapleton

Look up 'Gem Stapleton' in GoogleThis author has not been identified. Look up 'John Howse' in Google

runs on WebDSL