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. de Swart.

Corporate author
Format
Book
Language
English
Εdition
1st ed. 2002.
Published/​Created
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Description
1 online resource (X, 318 p. 31 illus.)

Details

Subject(s)
Related name
Editor
Series
Notes
Bibliographic Level Mode of Issuance: Monograph
Bibliographic references
Includes bibliographical references and index.
Language note
English
Contents
  • 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.
ISBN
3-540-36280-0
Doi
  • 10.1007/3-540-36280-0
Statement on responsible collection description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view