03472nam 2200637 a 450 991048473360332120200520144314.03-540-33340-110.1007/11734673(CKB)1000000000232915(SSID)ssj0000319793(PQKBManifestationID)11235116(PQKBTitleCode)TC0000319793(PQKBWorkID)10343209(PQKB)10115070(DE-He213)978-3-540-33340-1(MiAaPQ)EBC3067943(PPN)123133343(EXLCZ)99100000000023291520060317d2006 uy 0engurnn#008mamaatxtccrRelational 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 /Wendy MacCaull, Michael Winter, Ivo Duntsch (eds.)1st ed. 2006.Berlin Springerc20061 online resource (VIII, 262 p.)Lecture notes in computer science,0302-9743 ;3929Bibliographic Level Mode of Issuance: Monograph3-540-33339-8 Includes bibliographical references and index.Invited 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.Lecture notes in computer science ;3929.Computer scienceCongressesRelationismCongressesAlgebraComputer programsCongressesRelation algebrasCongressesComputer scienceRelationismAlgebraComputer programsRelation algebras004.0151MacCaull Wendy1751814Winter MichaelPh. D.566406Duntsch Ivo1751815European Cooperation in the Field of Scientific and Technical Research (Organization).COST Action 274 TARSKI (Project).Workshop(2005 :St. Catharines, Ont.)International Workshop on Applications of Kleene Algebra(3rd :2005 :St. Catharines, Ont.)MiAaPQMiAaPQMiAaPQBOOK9910484733603321Relational methods in computer science4186923UNINA