English
Relational Methods in Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Topological Representation of Precontact Algebras
-
Altmetric BadgeChapter 2 Relational Semantics Through Duality
-
Altmetric BadgeChapter 3 Duality Theory for Projective Algebras
-
Altmetric BadgeChapter 4 Relational Approach to Boolean Logic Problems
-
Altmetric BadgeChapter 5 Static Analysis of Programs Using Omega Algebra with Tests
-
Altmetric BadgeChapter 6 Weak Contact Structures
-
Altmetric BadgeChapter 7 On Relational Cycles
-
Altmetric BadgeChapter 8 A Framework for Kleene Algebra with an Embedded Structure
-
Altmetric BadgeChapter 9 Non-termination in Unifying Theories of Programming
-
Altmetric BadgeChapter 10 Towards an Algebra of Hybrid Systems
-
Altmetric BadgeChapter 11 Relational Correspondences for Lattices with Operators
-
Altmetric BadgeChapter 12 Control-Flow Semantics for Assembly-Level Data-Flow Graphs
-
Altmetric BadgeChapter 13 Relational Implementation of Simple Parallel Evolutionary Algorithms
-
Altmetric BadgeChapter 14 Lattice-Based Paraconsistent Logic
-
Altmetric BadgeChapter 15 Verification of Pushdown Systems Using Omega Algebra with Domain
-
Altmetric BadgeChapter 16 Relational Methods in Computer Science
-
Altmetric BadgeChapter 17 Relational Representability for Algebras of Substructural Logics
-
Altmetric BadgeChapter 18 Relational Methods in Computer Science
-
Altmetric BadgeChapter 19 Quantifier Elimination in Elementary Set Theory
-
Altmetric BadgeChapter 20 Time-Dependent Contact Structures in Goguen Categories
Altmetric Badge