首页>外文会议>其他>International Conference on Relational and Algebraic Methods in Computer Science

International Conference on Relational and Algebraic Methods in Computer Science

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Developments in Concurrent Kleene Algebra

机译：并发Kleene代数的发展
- 作者：Tony Hoare;Stephan van Staden;Bernhard Moller;Georg Struth;Jules Villard;Huibiao Zhu;Peter OHearn
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
2.A Mechanised Abstract Formalisation of Concept Lattices

机译：概念格子的机械化抽象形式化
- 作者：Wolfram Kahl
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
3.Fuzzifying Modal Algebra

机译：模糊模态代数
- 作者：Jules Desharnais;Bernhard Moller
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
- Fuzzy relations;
- Semirings;
- Domain operator;
- Modal operator;
4.Automated Verification of Relational While-Programs

机译：自动验证关键课程
- 作者：Rudolf Berghammer;Peter Hofner;Insa Stucke
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
5.Tableau Development for a Bi-intuitionistic Tense Logic

机译：Bib Intuitionation时态逻辑的Tableau开发
- 作者：John G. Stell;Renate A. Schmidt;David Rydeheard
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
6.Kleene Algebra with Converse

机译：Kleene代数与交谈
- 作者：Paul Brunet;Damien Pous
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
7.Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis

机译：通过应用到定位分析，完全解决受约束的热带优化问题
- 作者：Nikolai Krivulin
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
8.On Faults and Faulty Programs

机译：关于故障和错误的程序
- 作者：Ali Mili;Marcelo F. Frias;Ali Jaoua
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
- Faults;
- Faulty programs;
- Correctness;
- Relative correctness;
- Refinement;
- Contingent fault;
- Definite fault;
- Fault removal;
- Monotonic fault removal;
9.Algebras for Program Correctness in Isabelle/HOL

机译：Isabelle / Hol中的程序正确性的代数
- 作者：Alasdair Armstrong;Victor B. F. Gomes;Georg Struth
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
10.Preparing Relational Algebra for 'Just Good Enough' Hardware

机译：准备关系代数“足够好”的硬件
- 作者：Jose N. Oliveira
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
11.Endowing Concurrent Kleene Algebra with Communication Actions

机译：赋予了与沟通行为的并发Kleene代数
- 作者：Jason Jaskolka;Ridha Khedri;Qinglei Zhang
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
- Concurrency;
- Communication;
- Concurrent Kleene algebra;
- Semi-modules;
- Specification;
- Algebraic approaches to concurrency;
12.Parameterised Bisimulations: Some Applications

机译：参数化BISIMULATION：一些应用程序
- 作者：S. Arun-Kumar;Divyanshu Bagga
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
13.Extended Conscriptions Algebraically

机译：扩展招贴代数
- 作者：Walter Guttmann
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
14.Relation Algebra and RELVIEW Applied to Approval Voting

机译：关系代数和relview适用于批准投票
- 作者：Rudolf Berghammer;Nikita Danilenko;Henning Schnoor
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
15.A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories

机译：Eilenberg-Moore类别之间的可提升的转换条件
- 作者：Koki Nishizawa;Hitoshi Furusawa
- 会议名称：《International Conference on Relational and Algebraic Methods in Computer Science》 | 2014年
- Distributive law;
- Absolute coequalizer;
- Ideal;
- Quantale;
- Idempotent semiring;