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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: MacCaull, Wendy (Επιμελητής έκδοσης), Winter, Michael (Επιμελητής έκδοσης), Düntsch, Ivo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3929
• Θέματα: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Theory of Computation.; Mathematical Logic and Formal Languages.; Software Engineering.; Logics and Meanings of Programs.; Symbolic and Algebraic Manipulation.; Artificial Intelligence (incl. Robotics).

Πίνακας περιεχομένων:

• 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.