Umfang:
Online-Ressource
ISBN:
9783540362807
,
3540003150
Serie:
Lecture Notes in Computer Science 2561
Inhalt:
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.
Anmerkung:
Lizenzpflichtig
Weitere Ausg.:
ISBN 9783540003151
Weitere Ausg.:
Buchausg. u.d.T. Relational methods in computer science Berlin : Springer, 2002 ISBN 3540003150
Sprache:
Englisch
Schlagwort(e):
Relationentheorie
;
Relationentheorie
;
Konferenzschrift
DOI:
10.1007/3-540-36280-0
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Mehr zum Autor:
De Swart, Harrie 1944-
Bookmarklink
