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 /
| Corporate Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2002]
|
| Series: | Lecture notes in computer science ;
2561. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book http://link.springer-ny.com/link/service/series/0558/tocs/t2561.htm |
Table of Contents:
- A Relation-Algebraic Approach to Graph Structure Transformation / Wolfram Kahl
- Emptiness Relations in Property Systems / Philippe Balbiani
- Pregroups: Models and Grammars / Wojciech Buszkowski
- Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View / Ernst-Erich Doberkat and Eugenio G. Omodeo
- Interpretability of First-Order Dynamic Logic in a Relational Calculus / Marcelo F. Frias, Gabriel A. Baum and Thomas S. E. Maibaum
- Relations in GUHA Style Data Mining / Petr Hajek
- Groups in Allegories / Yasuo Kawahara
- Distributed Conceptual Structures / Robert E. Kent
- A Computer Algebra Approach to Relational Systems Using Grobner Bases / L. M. Laita, E. Roanes-Lozano, L. de Ledesma, T. Calvo and L. Gozalez-Sotos
- Fuzzy Relational Images in Computer Science / Mike Nachtegael, Martine De Cock, Dietrich Van der Weken and Etienne E. Kerre
- A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories / Hitomi Okuma and Yasuo Kawahara
- Double Residuated Lattices and Their Applications / Ewa Orlowska and Anna Maria Radzikowska
- Interval Bilattices and Some Other Simple Bilattices / Agata Pilitowska
- Interactive Systems: From Folklore to Mathematics / Gheorghe Stefanescu
- Relational Constructions in Goguen Categories / Michael Winter
- A Subintuitionistic Logic and Some of Its Methods / Ernst Zimmermann
- Implementation of Relational Algebra Using Binary Decision Diagrams / Rudolf Berghammer, Barbara Leoniuk and Ulf Milunese
- Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs / Rudolf Berghammer and Thorsten Hoffmann
- Calculating Church-Rosset Proofs in Kleene Algebra / Georg Struth
- On the Definition and Representation of a Ranking / Kim Cao-Van and Bernard De Baets
- Tangent Circle Algebras / Ivo Duntsch and Marc Roubens.