LEADER 06401nam 22008535 450 001 9910143886703321 005 20251116234301.0 010 $a3-540-36280-0 024 7 $a10.1007/3-540-36280-0 035 $a(CKB)1000000000211898 035 $a(SSID)ssj0000326205 035 $a(PQKBManifestationID)11258993 035 $a(PQKBTitleCode)TC0000326205 035 $a(PQKBWorkID)10266952 035 $a(PQKB)11371231 035 $a(DE-He213)978-3-540-36280-7 035 $a(MiAaPQ)EBC3072400 035 $a(PPN)155185616 035 $a(BIP)8033617 035 $a(EXLCZ)991000000000211898 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRelational Methods in Computer Science $e6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16?21, 2001 Revised Papers /$fedited by Harrie C.M. de Swart 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (X, 318 p. 31 illus.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2561 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-00315-0 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 330 $aThis volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Relational Methods in Computer Science, and the First Workshop of COST Action 274TARSKI, Theory and Application of Relat- nal Structures as Knowledge Instruments. The conference was held in conference centre Boschoord, Oisterwijk near Tilburg, The Netherlands, from October 16 till October 21, 2001. The conference attracted interest from many parts of the world with contributions from many countries. This conference was a continuation of international conferences/workshops on Relational Methods in Computer Science held in: Schloss Dagstuhl, Germany, January1994;ParatinearRiodeJaneiro,September1995;Hammamet,Tunisia, January1997;theStefanBanachCenter,Warsaw,September1998;andQuebec, Canada, January 2000. The purpose of these conferences/workshops is to bring together researchers from various subdisciplines of Computer Science, Mathematics, and Philosophy, all of whom use relational methods as a conceptual and methodological tool in their work. Topics include, but are not limited to: relational, cylindric, fork, and Kleene algebras; relational proof theory and decidability issues; relational representation theorems; relational semantics; applications to programming, - tabases,andanalysisoflanguage;andcomputersystemsforrelationalknowledge representation. With respect to applications one can think of: relational spe- ?cations and modeling; relational software design and development techniques; programming with relations; and implementing relational algebra. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2561 606 $aComputers 606 $aArtificial intelligence 606 $aLogic, Symbolic and mathematical 606 $aSoftware engineering 606 $aComputer science?Mathematics 606 $aCategories (Mathematics) 606 $aAlgebra, Homological 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aCategory Theory, Homological Algebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11035 615 0$aComputers. 615 0$aArtificial intelligence. 615 0$aLogic, Symbolic and mathematical. 615 0$aSoftware engineering. 615 0$aComputer science?Mathematics. 615 0$aCategories (Mathematics) 615 0$aAlgebra, Homological. 615 14$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aSoftware Engineering. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aCategory Theory, Homological Algebra. 676 $a004 702 $ade Swart$b Harrie C.M$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aEuropean Cooperation in the Field of Scientific and Technical Research (Organization).$bCOST Action 274 TARSKI (Project).$bWorkshop$d(1st :$f2001 :$eOisterwijk, Netherlands) 712 12$aRelMiCS 2001 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143886703321 996 $aRelational Methods in Computer Science$9772440 997 $aUNINA