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
by
MacCaull, Wendy. editor.
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
Author
:
MacCaull, Wendy. editor.
ISBN
:
9783540333401
Physical Description
:
VIII, 262 p. online resource.
Series
:
Lecture Notes in Computer Science, 3929
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.
Subject Term
:
Computer science.
Software engineering.
Logic design.
Computational complexity.
Algebra -- Data processing.
Artificial intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Discrete Mathematics in Computer Science.
Added Author
:
MacCaull, Wendy.
Winter, Michael.
Düntsch, Ivo.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | Status |
---|
IYTE Library | E-Book | 510912-1001 | QA8.9 -QA10.3 | Online Springer |