A Repository for Tarski-Kleene Algebras
Beitrag zu einer Konferenz
Authors
Guttmann, Walter
Struth, G.
Weber, T.
Editor
Höfner, P.McIver, A.
Struth, G.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished in
Proceedings of the First Workshop on Automated Theory Engineering Co-Located with the 23rd International Conference on Automated Deduction Wrocław, Poland, July 31, 2011. / Höfner, Peter ; McIver, Annabelle ; Struth, Georg (Hrsg.)2011. - (CEUR Workshop Proceedings ; 760). - S. 30-39. - ISSN 1613-0073
Link to publication
http://nbn-resolving.de/urn:nbn:de:0074-760-4Link to publication
Conference
Workshop on Automated Theory Engineering, 2011-07-31, Wroclaw, Polen