A Repository for Tarski-Kleene Algebras

Erstveröffentlichung
2011
Metadata only
Search for full text
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 Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
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-4
Link to publication
Conference
Workshop on Automated Theory Engineering, 2011-07-31, Wroclaw, Polen
Dewey Decimal Group
DDC 000 / Computer science, information & general works
Metadata
Show full item record