Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Seminar on Relational Methods in Computer Science (BerichterstatterIn)
Weitere Verfasser:	Berghammer, Rudolf (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 2004
Schriftenreihe:	Lecture Notes in Computer Science 3051
Schlagworte:	Algèbre des relations > Algèbres des relations - Congrès > Logique algébrique - Congrès > Logique algébrique > Algebraic logic > Relation algebras > Relationenalgebra > Kleene-Algebra > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!