A Repository for Tarski-Kleene Algebras

Erstveröffentlichung
2011Authors
Guttmann, Walter
Struth, G.
Weber, T.
Editor
Höfner, P.McIver, A.
Struth, G.
Beitrag zu einer Konferenz
Published 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
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauConference
Workshop on Automated Theory Engineering, 2011-07-31, Wroclaw, Polen