【24h】

Preface

机译:前言

获取原文

摘要

This volume contains the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2018), which was held in Groningen, The Netherlands, from October 29 to November 1, 2018. The plan to initiate this series of conferences was put in place during the 38th Banach Semester on Algebraic Methods in Logic and Their Computer Science Application in Warsaw, Poland, in September and October 1991. The first numbered occurrence was a Dagstuhl seminar on Relational Methods in Computer Science (RelMiCS 1), held in Germany in 1994. From then on and until 2009, at intervals of about one year and a half, there was a RelMiCS conference. Starting in 2003, RelMiCS conferences were held jointly with Applications of Kleene Algebras (AKA) conferences. At RelMiCS 11/AKA 6 in Doha, Qatar, it was decided to use the current name for the series, that is, Relational and Algebraic Methods in Computer Science (RAMiCS).
机译:本卷包含于2018年10月29日至11月1日在荷兰格罗宁根举行的第17届计算机科学中的关系和代数方法国际会议(RAMiCS 2018)的会议记录。于1991年9月和10月在波兰华沙举行的第38届Banach学期“逻辑上的代数方法及其计算机科学应用”期间举行。第一个编号的事件是Dagstuhl关于计算机科学中的关系方法的研讨会(RelMiCS 1)。 1994年在德国。从那时起直到2009年,大约每隔一年半,就有一次RelMiCS会议。从2003年开始,RelMiCS会议与Kleene代数应用(AKA)会议一起举行。在卡塔尔多哈的RelMiCS 11 / AKA 6中,决定使用该系列的当前名称,即计算机科学中的关系和代数方法(RAMiCS)。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号