• English
    • Deutsch
View Item 
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • View Item
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • View Item
  • English 
    • English
    • Deutsch
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

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
https://dblp.org/rec/conf/ate/GuttmannSW11
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

About OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFundingThis CollectionFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Statistics

View Usage Statistics

About OPARU | Contact Us
Impressum | Privacy statement