Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Implication Structures
Titel Konferenzpublikation:
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
Untertitel Konferenzpublikation:
St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
3929
Konferenztitel:
Relational and Kleene-Algebraic Methods in Computer Science (8., 2005, St. Catharines)
Konferenztitel:
8th International Seminar RelMiCS
Tagungsort:
St. Catharines
Jahr der Konferenz:
2005
Datum Beginn der Konferenz:
22.02.2005
Datum Ende der Konferenz:
26.02.2005
Jahr:
2005
Seiten von - bis:
227-237
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmidt, Gunther
BibTeX