Custom cover image
Custom cover image

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 / edited by Harrie C. M. Swart

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 2561Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Description: Online-RessourceISBN:
  • 9783540362807
  • 3540003150
Other title:
  • RelMICS 2001 ; Theory and Application of Relational Structures as Knowledge Instruments
Subject(s): Genre/Form: Additional physical formats: 9783540003151 | Buchausg. u.d.T.: Relational methods in computer science. Berlin : Springer, 2002. X, 313 S.DDC classification:
  • 004
  • 004.0151 23
MSC: MSC: *00B25 | 68-06 | 03-06 | 03B70 | 03G15DOI: DOI: 10.1007/3-540-36280-0Online resources: Summary: 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.PPN: PPN: 164918915XPackage identifier: Produktsigel: ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SEB
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT