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, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers

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, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: International Seminar on Relational Methods in Computer Science (BerichterstatterIn), International Workshop on Applications of Kleene Algebra (BerichterstatterIn), Workshop of COST Action 274 TARSKI (BerichterstatterIn)
Weitere Verfasser: MacCaull, Wendy (HerausgeberIn), Winter, Michael (BerichterstatterIn), Düntsch, Ivo (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2006
Schriftenreihe:Lecture notes in computer science 3929
Schlagworte:
Computer science > Relationism > Algebra > Computer programs > Relation algebras > Konferenzschrift > Relation > Logik > Theoretische Informatik
Online Zugang:Inhaltstext
Verlagsangaben
Inhaltsverzeichnis
Cover
Inhaltstext
http://www.springerlink.com/(klryfr45j5p54p454ko3jl45)/app/home/issue.asp?referrer=parent&backto=journal,121,3934;linkingpublicationresults,1:105633,1
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!