Relational Methods in Computer Science

6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers

332 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540003151
• Sprache: Englisch
• Erscheinungsdatum: 11.12.2002
• Größe: 235 x 155 mm
• Verlag: Springer Vieweg
• Herausgegeben von: Harrie C. M. De Swart