Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.)
Title 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 / Wendy MacCaull, Michael Winter, Ivo Duntsch (eds.).
Imprint Berlin ; New York : Springer, 2006.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.)
Series Lecture notes in computer science, 0302-9743 ; 3929
Lecture notes in computer science ; 3929. 0302-9743
Subject Computer science -- Congresses.
Relationism -- Congresses.
Algebra -- Computer programs -- Congresses.
Relation algebras -- Congresses.
Alt Name MacCaull, Wendy.
Winter, Michael (Professor)
Düntsch, Ivo.
European 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.)
Description 1 online resource (viii, 262 pages) : illustrations.
Note digitized 2010 HathiTrust Digital Library committed to preserve pda
Bibliography Note Includes bibliographical references.
Contents 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.
Access Use copy Restrictions unspecified star
Reproduction Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010.
System Details Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212
Note Print version record.
ISBN 9783540333401
3540333401
3540333398
9783540333395
ISBN/ISSN 9786611392192
OCLC # 262692308
Additional Format Print version: International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.). Relational methods in computer science. Berlin ; New York : Springer, 2006 3540333398 9783540333395 (DLC) 2006924115 (OCoLC)68629572



If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team