LEADER 03472nam  2200637 a 450 
001 9910484733603321
005 20200520144314.0
010   $a3-540-33340-1
024 7 $a10.1007/11734673
035   $a(CKB)1000000000232915
035   $a(SSID)ssj0000319793
035   $a(PQKBManifestationID)11235116
035   $a(PQKBTitleCode)TC0000319793
035   $a(PQKBWorkID)10343209
035   $a(PQKB)10115070
035   $a(DE-He213)978-3-540-33340-1
035   $a(MiAaPQ)EBC3067943
035   $a(PPN)123133343
035   $a(EXLCZ)991000000000232915
100   $a20060317d2006      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRelational methods in computer science $e8th 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 /$fWendy MacCaull, Michael Winter, Ivo Duntsch (eds.)
205   $a1st ed. 2006.
210   $aBerlin $cSpringer$dc2006
215   $a1 online resource (VIII, 262 p.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v3929
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-33339-8 
320   $aIncludes bibliographical references and index.
327   $aInvited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through Duality -- Duality Theory for Projective Algebras -- Contributed Papers -- Relational Approach to Boolean Logic Problems -- Static Analysis of Programs Using Omega Algebra with Tests -- Weak Contact Structures -- On Relational Cycles -- A Framework for Kleene Algebra with an Embedded Structure -- Non-termination in Unifying Theories of Programming -- Towards an Algebra of Hybrid Systems -- Relational Correspondences for Lattices with Operators -- Control-Flow Semantics for Assembly-Level Data-Flow Graphs -- Relational Implementation of Simple Parallel Evolutionary Algorithms -- Lattice-Based Paraconsistent Logic -- Verification of Pushdown Systems Using Omega Algebra with Domain -- wp Is wlp -- Relational Representability for Algebras of Substructural Logics -- Knuth-Bendix Completion as a Data Structure -- Quantifier Elimination in Elementary Set Theory -- Time-Dependent Contact Structures in Goguen Categories.
410  0$aLecture notes in computer science ;$v3929.
606   $aComputer science$vCongresses
606   $aRelationism$vCongresses
606   $aAlgebra$xComputer programs$vCongresses
606   $aRelation algebras$vCongresses
615  0$aComputer science
615  0$aRelationism
615  0$aAlgebra$xComputer programs
615  0$aRelation algebras
676   $a004.0151
701   $aMacCaull$b Wendy$01751814
701   $aWinter$b Michael$cPh. D.$0566406
701   $aDuntsch$b Ivo$01751815
712 02$aEuropean Cooperation in the Field of Scientific and Technical Research (Organization).$bCOST Action 274 TARSKI (Project).$bWorkshop$f(2005 :$eSt. Catharines, Ont.)
712 12$aInternational Workshop on Applications of Kleene Algebra$d(3rd :$f2005 :$eSt. Catharines, Ont.)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484733603321
996   $aRelational methods in computer science$94186923
997   $aUNINA