ISBN-10:
3540333398
ISBN-13:
9783540333395
Pub. Date:
05/22/2006
Publisher:
Springer Berlin Heidelberg
Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, Februar / Edition 1

Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, Februar / Edition 1

Paperback

Current price is , Original price is $99.0. You
Select a Purchase Option (2006)
  • purchase options
    $79.20 $99.00 Save 20% Current price is $79.2, Original price is $99. You Save 20%.
  • purchase options

Product Details

ISBN-13: 9783540333395
Publisher: Springer Berlin Heidelberg
Publication date: 05/22/2006
Series: Lecture Notes in Computer Science , #3929
Edition description: 2006
Pages: 262
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of 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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews