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 (English)
- New search for: RelMiCS
- Further information on RelMiCS:
- http://d-nb.info/gnd/10050684-7
- New search for: Workshop of COST Action 274 TARSKI
- Further information on Workshop of COST Action 274 TARSKI:
- http://d-nb.info/gnd/5546625-4
- New search for: De Swart, Harrie
- Further information on De Swart, Harrie:
- http://d-nb.info/gnd/120024691
- New search for: RelMiCS
- Further information on RelMiCS:
- http://d-nb.info/gnd/10050684-7
- New search for: Workshop of COST Action 274 TARSKI
- Further information on Workshop of COST Action 274 TARSKI:
- http://d-nb.info/gnd/5546625-4
2002
-
ISBN:
- Conference Proceedings / Print
-
Title: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
-
Contributors:
-
Conference:RelMICS 2001 ; 6 ; 2001 ; Oisterwijk
International Conference on Relational Methods in Computer Science ; 6 ; 2001 ; Oisterwijk
Workshop of COST Action 274 TARSKI ; 1 ; 2001 ; Oisterwijk
Workshop of COST Action 274, Theory and Application of Relational Structures as Knowledge Instruments ; 1 ; 2001 ; Oisterwijk -
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , Heidelberg [u.a.]
-
Publication date:2002
-
Size:X, 313 S.
-
Remarks:graph. Darst.
Includes bibliographical references and index
Digital preservation by Badische Landesbibliothek -
ISBN:
-
Type of media:Conference Proceedings
-
Type of material:Print
-
Language:English
-
Contract number:2002042848
- New search for: 54.72 / 54.10
- Further information on Basic classification
- New search for: 004
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A Relation-Algebraic Approach to Graph Structure TransformationKahl, W. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 15
-
Emptiness Relations in Property SystemsBalbiani, P. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 35
-
Pregroups: Models and GrammarsBuszkowski, W. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 50
-
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic ViewDoberkat, E.-E. / Omodeo, E. G. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 66
-
Interpretability of First-Order Dynamic Logic in a Relational CalculusFrias, M. F. / Baum, G. A. / Maibaum, T. S. E. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 81
-
Relations in GUHA Style Data MiningHajek, P. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 88
-
Groups in AllegoriesKawahara, Y. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 104
-
Distributed Conceptual StructuresKent, R. E. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 124
-
A Computer Algebra Approach to Relational Systems Using Grobner BasesLaita, L. M. / Roanes-Lozano, E. / de Ledesma, L. / Calvo, T. / Gozalez-Sotos, L. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 134
-
Fuzzy Relational Images in Computer ScienceNachtegael, M. / De Cock, M. / Van der Weken, D. / Kerre, E. E. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 152
-
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind CategoriesOkuma, H. / Kawahara, Y. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 171
-
Double Residuated Lattices and Their ApplicationsOrlowska, E. / Radzikowska, A. M. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 190
-
Interval Bilattices and Some Other Simple BilatticesPilitowska, A. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 197
-
Interactive Systems: From Folklore to MathematicsStefanescu, G. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 212
-
Relational Constructions in Goguen CategoriesWinter, M. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 228
-
A Subintuitionistic Logic and Some of Its MethodsZimmermann, E. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 241
-
Implementation of Relational Algebra Using Binary Decision DiagramsBerghammer, R. / Leoniuk, B. / Milanese, U. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 258
-
Calculating a Relational Program for Transitive Reductions of Strongly Connected GraphsBerghammer, R. / Hoffmann, T. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 276
-
Calculating Church-Rosser Proofs in Kleene AlgebraStruth, G. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 291
-
On the Definition and Representation of a RankingCao-Van, K. / De Baets, B. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002
- 300
-
Tangent Circle AlgebrasDuntsch, I. / Roubens, M. / European Cooperation in the Field of Scientific and Technical Research et al. | 2002