A Repository for Tarski-Kleene Algebras - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Walter Guttmann, Georg Struth, Tjark Weber. A Repository for Tarski-Kleene Algebras. In Peter Höfner, Annabelle McIver, Georg Struth, editors, Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. Volume 760 of CEUR Workshop Proceedings, pages 30-39, CEUR-WS.org, 2011. [doi]

This author has not been identified. Look up 'Walter Guttmann' in GoogleThis author has not been identified. Look up 'Georg Struth' in GoogleThis author has not been identified. Look up 'Tjark Weber' in Google

runs on WebDSL