Relational methods in computer science
Authors
Parameters
More about the book
InhaltsverzeichnisInvited Lecture.A Relation-Algebraic Approach to Graph Structure Transformation.Contributed Papers.Emptiness Relations in Property Systems.Pregroups: Models and Grammars.Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View.Interpretability of First—Order Dynamic Logic in a Relational Calculus.Relations in GUHA Style Data Mining.Groups in Allegories.Distributed Conceptual Structures.A Computer Algebra Approach to Relational Systems Using Gröbner Bases.Fuzzy Relational Images in Computer Science.A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories.Double Residuated Lattices and Their Applications.Interval Bilattices and Some Other Simple Bilattices.Interactive Systems: From Folklore to Mathematics.Relational Constructions in Goguen Categories.A Subintuitionistic Logic and Some of Its Methods.Implementation of Relational Algebra Using Binary Decision Diagrams.Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs.Calculating Church-Rosser Proofs in Kleene Algebra.On the Definition and Representation of a Ranking.Tangent Circle Algebras.
Book purchase
Relational methods in computer science, Harrie De Swart
- Language
- Released
- 2002
Payment methods
- Title
- Relational methods in computer science
- Language
- English
- Authors
- Harrie De Swart
- Publisher
- Springer
- Released
- 2002
- Format
- Paperback
- ISBN10
- 3540003150
- ISBN13
- 9783540003151
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- InhaltsverzeichnisInvited Lecture.A Relation-Algebraic Approach to Graph Structure Transformation.Contributed Papers.Emptiness Relations in Property Systems.Pregroups: Models and Grammars.Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View.Interpretability of First—Order Dynamic Logic in a Relational Calculus.Relations in GUHA Style Data Mining.Groups in Allegories.Distributed Conceptual Structures.A Computer Algebra Approach to Relational Systems Using Gröbner Bases.Fuzzy Relational Images in Computer Science.A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories.Double Residuated Lattices and Their Applications.Interval Bilattices and Some Other Simple Bilattices.Interactive Systems: From Folklore to Mathematics.Relational Constructions in Goguen Categories.A Subintuitionistic Logic and Some of Its Methods.Implementation of Relational Algebra Using Binary Decision Diagrams.Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs.Calculating Church-Rosser Proofs in Kleene Algebra.On the Definition and Representation of a Ranking.Tangent Circle Algebras.