A Repository for Tarski-Kleene Algebras

Guttmann, Walter; Struth, G.; Weber, T.

Erstveröffentlichung

2011

Authors

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-4

Link to publication

https://dblp.org/rec/conf/ate/GuttmannSW11

Faculties

Fakultät für Ingenieurwissenschaften, Informatik und Psychologie

Institutions

Institut für Programmiermethodik und Compilerbau

Conference

Workshop on Automated Theory Engineering, 2011-07-31, Wroclaw, Polen

Subject headings

[DDC subject group]: DDC 000 / Computer science, information & general works

Metadata

Show full item record