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
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
2561 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Actes d'un séminaire tenu à Oisterwijk du 16 au 21 octobre 2001, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, Harrie C.M. de Swart (ed.), Berlin, Springer, 2002, 1 vol. (X-313 p.), Lecture notes in computer science, 3-540-00315-0 • Relational Methods in Computer Science, Texte imprimé, 9783662205464 |
Spis treści:
- 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.