哈里·斯瓦特（Harrie C.M.de Swart）。（编辑） 计算机科学中的关系方法。2001年10月16日至21日，第六届国际会议，RelMiCS 2001和COST Action 274 TARSKI第一次研讨会，荷兰Oisterwijk。修订论文。 （英语） Zbl 1014.00018号 计算机科学课堂讲稿. 2561. 柏林：斯普林格。x、 313页（2002年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 0989.00046号).索引文章：沃尔夫拉姆·卡尔，图结构转换的关系代数方法，1-14[Zbl 1027.68612号]菲利普·巴尔比亚尼，财产制度中的空置关系，15-34[Zbl 1027.03026号]沃伊切赫·巴斯科夫斯基，预科组：模型和语法，35-49[兹比尔1027.68069]杜伯卡特（Ernst-Erich Doberkat）；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。关系演算背景下ER模型的代数语义。二： 动态视图，50-65[Zbl 1027.03028号]马塞洛·F·弗里亚斯。；加布里埃尔·A·鲍姆。；托马斯·迈鲍姆。，关系微积分中一阶动态逻辑的可解释性，66-80[Zbl 1027.03029号]彼得·哈耶克，GUHA风格数据挖掘中的关系，81-87[Zbl 1027.68528号]川原康夫，寓言中的群体，88-103[Zbl 1029.18006号]罗伯特·E·肯特。，分布式概念结构，104-123[Zbl 1027.68116号]Laita，L.M。；Roanes-Lozano，E。；de Ledesma，L。；卡尔沃，T。；Gozález-Sotos，L。，使用Gröbner基的关系系统的计算机代数方法，124-133[Zbl 1027.68983号]Mike Nachtegael；Martine De Cock；范德韦肯（Van der Weken），迪特里希（Dietrich）；科尔，艾蒂安·E。，计算机科学中的模糊关系图像，134-151[Zbl 1027.68701号]大沼、Hitomi；川原康夫，Dedekind范畴中关系属性模型上扩展顺序依赖的完备性定理，152-170[Zbl 1027.68048号]或者鄂尔多斯卡；安娜·玛丽亚·拉齐科夫斯卡，双剩余格及其应用，171-189[Zbl 1027.68117号]阿加塔·皮利托夫斯卡，间隔双参数和其他一些简单双参数，190-196[Zbl 1027.03047号]tefénescu，Gheorghe《互动系统：从民俗学到数学》，197-211[Zbl 1027.68087号]冬天，迈克尔，Goguen类别中的关系结构，212-227[兹比尔1029.18004]恩斯特·齐默尔曼，亚直觉逻辑及其一些方法，228-240[Zbl 1027.03005号]鲁道夫·伯哈默（Rudolf Berghammer）；Barbara Leoniuk；米兰，乌尔夫，使用二进制决策图实现关系代数，241-257[Zbl 1027.68036号]鲁道夫·伯哈默（Rudolf Berghammer）；托尔斯滕·霍夫曼，计算强连通图传递约简的关系程序，258-275[Zbl 1027.68644号]乔治·斯特鲁斯，计算Kleene代数中的Church-Rosser证明，276-290[Zbl 1027.68071号]Cao-Van，Kim；伯纳德·贝茨，关于排名的定义和表示，291-299[Zbl 1027.68660号]杜恩施，伊沃；马克·鲁本斯，切圆代数，300-313[Zbl 1027.03049号] 引用于2评论引用于1文件 MSC公司： 00时25分 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 03-06 与数理逻辑和基础有关的论文集、会议、合集等 03B70号 计算机科学中的逻辑 03G15年 柱代数和多代数；关系代数 关键词：关系方法;计算机科学;2001年RelMiCS;成本行动274塔斯基;Oisterwijk（荷兰） 引文：Zbl 0989.00046号 PDF格式BibTeX公司 XML格式引用 \textit{H.C.M.de Swart}（编辑），计算机科学中的关系方法。第六次国际会议，RelMiCS 2001和成本行动274 TARSKI第一次研讨会，2001年10月16日至21日，荷兰Oisterwijk。修订论文。柏林：施普林格出版社（2002；Zbl 1014.00018） 全文： 内政部 链接