Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Implication Structures
Title of conference publication:
Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI
Subtitle of conference publication:
St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Series title:
Lecture Notes in Computer Science
Series volume:
3929
Conference title:
Relational and Kleene-Algebraic Methods in Computer Science (8., 2005, St. Catharines)
Conference title:
8th International Seminar RelMiCS
Venue:
St. Catharines
Year of conference:
2005
Date of conference beginning:
22.02.2005
Date of conference ending:
26.02.2005
Year:
2005
Pages from - to:
227-237
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmidt, Gunther
BibTeX