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!