掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Relational and Algebraic Methods in Computer Science
International Conference on Relational and Algebraic Methods in Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Synthesising Terminating Tableau Calculi for Relational Logics
机译:
合成终止Tableau Calculi的关系逻辑
作者:
Renate A. Schmidt
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
2.
An Algebraic Approach to Preference Relations
机译:
偏好关系的代数方法
作者:
Ivo Duntsch
;
Ewa Orlowska
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
3.
Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings
机译:
关于完全幂的左半晶的关系和多层次表示定理
作者:
Hitoshi Furusawa
;
Koki Nishizawa
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
4.
On Probabilistic Kleene Algebras, Automata and Simulations
机译:
在概率性Kleene代数,自动机和模拟
作者:
Annabelle McIver
;
Tahiry M. Rabehaja
;
Georg Struth
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
5.
Omega Algebras and Regular Equations
机译:
Omega代数和常规方程
作者:
Michael R. Laurence
;
Georg Struth
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
6.
Relational Modelling and Solution of Chessboard Problems
机译:
关系建模与棋盘问题解决方案
作者:
Rudolf Berghammer
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
7.
Relational Heterogeneity Relaxed by Subtyping
机译:
通过亚型放松的关系异质性
作者:
Jaap van der Woude
;
Stef Joosten
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
8.
Explaining Voting Paradoxes; Including Arrow's and Sen's Theorems
机译:
解释投票悖论;包括箭头和森的定理
作者:
Donald G. Saari
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
9.
Towards an Algebra of Routing Tables
机译:
朝向路由表的代数
作者:
Peter Hofner
;
Annabelle McIver
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
10.
Towards a Typed Omega Algebra
机译:
朝着键入的omega代数
作者:
Walter Guttmann
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
11.
Relation Algebraic Approaches to Fuzzy Relations
机译:
与模糊关系的关系代数方法
作者:
Michael Winter
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
12.
Constructions around Partialities
机译:
偏袒地区的建筑
作者:
Gunther Schmidt
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
关键词:
Relation;
Existential image;
Partiality;
13.
Dependently-Typed Formalisation of Relation-Algebraic Abstractions
机译:
相关 - 代数抽象的依赖性类型化
作者:
Wolfram Kahl
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
关键词:
Dependently typed programming;
Algebras as data;
Allegories of relational algebra morphisms;
Nested algebras;
14.
Ampersand Applying Relation Algebra in Practice
机译:
安培在实践中申请关系代数
作者:
Gerard Michels
;
Sebastiaan Joosten
;
Jaap van der Woude
;
Stef Joosten
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
关键词:
Heterogeneous relation algebra;
Domain-specific feedback;
Specification language;
Business rules;
Requirements engineering;
Type system;
Rule based design;
15.
Using Bisimulations for Optimality Problems in Model Refinement
机译:
使用B分布在模型改进中的最优性问题
作者:
Roland Gluck
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
16.
Social Networks: Prestige, Centrality, and Influence
机译:
社交网络:声望,中心和影响力
作者:
Agnieszka Rusinowska
;
Rudolf Berghammer
;
Harrie De Swart
;
Michel Grabisch
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
关键词:
Social network;
Centrality;
Prestige;
Influence;
Relation algebra;
RELVIEW;
17.
Building Structured Theories
机译:
建筑结构理论
作者:
Bernhard Moller
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
18.
Programming from Galois Connections
机译:
Galois Connections的编程
作者:
Shin-Cheng Mu
;
Jose Nuno Oliveira
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
19.
Pathfinding through Congruences
机译:
通过同时进行探索
作者:
Alexander J. T. Gurney
;
Timothy G. Griffin
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
20.
Splitting Atoms in Relational Algebras
机译:
在关系代数中分裂原子
作者:
Prathap Siddavaatam
;
Michael Winter
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
21.
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
机译:
Isabelle / HOL中关系和代数方法的自动化工程
作者:
Simon Foster
;
Georg Struth
;
Tjark Weber
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
22.
A First-Order Calculus for Allegories
机译:
对寓言的一阶微积分
作者:
Bahar Aameri
;
Michael Winter
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
23.
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic
机译:
可变侧条件和代数分离逻辑中最大关系
作者:
Han-Hing Dang
;
Peter Hofner
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
24.
A Functional, Successor List Based Version of Warshall's Algorithm with Applications
机译:
基于Warshall算法的Warshall算法与应用程序的功能
作者:
Rudolf Berghammer
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2011年
25.
Software Development in Relation Algebra with Ampersand
机译:
与安培关系的软件开发
作者:
Stef Joosten
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
关键词:
Relation algebra;
Software development;
Legal reasoning;
Information systems design;
Ampersand;
MirrorMe;
Big software;
26.
Tower Induction and Up-to Techniques for CCS with Fixed Points
机译:
塔诱导和最新技术的CCS与固定点
作者:
Steven Schafer
;
Gert Smolka
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
27.
Dual Space of a Lattice as the Completion of a Pervin Space
机译:
晶格的双层空间作为完整的空间
作者:
Jean-Eric Pin
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
28.
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras
机译:
用于转换图形结构的寓言和持股奖励被认为是基于基地的
作者:
Wolfram Kahl
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
关键词:
Relation-algebraic approach to graph transformation;
Allegories of coalgebras;
Meet-preserving relators;
Adhesive categories of coalgebras;
29.
Aggregation of Votes with Multiple Positions on Each Issue
机译:
每个问题的票据聚合
作者:
Lefteris Kirousis
;
Phokion G. Kolaitis
;
John Livieratos
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
30.
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants
机译:
校对助理支持的应用的关系
作者:
Insa Stucke
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
31.
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
机译:
关系代数,IDEMPOTEN的半兴观和广义束缚含义代数
作者:
Peter Jipsen
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
32.
Concurrency-Preserving Minimal Process Representation
机译:
并发保存最小的过程表示
作者:
Adrian Puerto
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
关键词:
Partial order;
Concurrency;
Closure operator;
Lattice;
Atom;
Causal net;
33.
Relations as Images
机译:
关系作为图像
作者:
Mathieu Alain
;
Jules Desharnais
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
34.
Non-associative Kleene Algebra and Temporal Logics
机译:
非关联的Kleene代数和时间逻辑
作者:
Jules Desharnais
;
Bernhard Moller
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
关键词:
Temporal logics;
Semantics;
Kleene algebra;
Repetition algebra;
35.
Embeddability into Relational Lattices Is Undecidable
机译:
嵌入性进入关系格子不可确定
作者:
Luigi Santocanale
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
36.
Algebra for Quantitative Information Flow
机译:
代数用于定量信息流
作者:
A. K. McIver
;
C. C. Morgan
;
T. Rabehaja
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
关键词:
Refinement;
Information flow;
Security;
Monotonicity;
Probabilistic semantics;
Compositional reasoning;
Dalenius desideratum;
37.
Algebraic Investigation of Connected Components
机译:
连接组件的代数调查
作者:
Roland Gluck
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
38.
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
机译:
基于工具的有限拓扑空间的闭合内部亲属的关系研究
作者:
Rudolf Berghammer
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
39.
Complete Solution of an Optimization Problem in Tropical Semifield
机译:
在热带半导体中完成优化问题的解决方案
作者:
Nikolai Krivulin
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
关键词:
Tropical semifield;
Tropical optimization;
Matrix sparsi-fication;
Complete solution;
Backtracking;
40.
Stone Relation Algebras
机译:
石关系代数
作者:
Walter Guttmann
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
41.
Varieties of Cubical Sets
机译:
立方体品种
作者:
Ulrik Buchholtz
;
Edward Morehouse
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
42.
Parsing and Printing of and with Triples
机译:
解析和印刷和三元组
作者:
Sebastiaan J. C. Joosten
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
43.
Type-n Arrow Categories
机译:
类型-N箭头类别
作者:
Michael Winter
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2017年
44.
A Modal and Relevance Logic for Qualitative Spatial Reasoning
机译:
定性空间推理的模态和相关逻辑
作者:
Pranab Kumar Ghosh
;
Michael Winter
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
45.
On the Structure of Generalized Effect Algebras and Separation Algebras
机译:
关于广义效果代数和分离代数的结构
作者:
Sarah Alexander
;
Peter Jipsen
;
Nadiya Upegui
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
46.
Towards an Analysis of Dynamic Gossip in NetKAT
机译:
朝着NetKat的动态八卦分析
作者:
Malvin Gattinger
;
Jana Wagemaker
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
关键词:
Dynamic gossip;
Kleene algebra with tests (KAT);
Network programming language;
NetKAT;
Peer-to-peer communication;
47.
MIX *-Autonomous Quantales and the Continuous Weak Order
机译:
混合* - 自我系统量子和连续弱序
作者:
Maria Joao Gouveia
;
Luigi Santocanale
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
48.
Coalgebraic Tools for Randomness-Conserving Protocols
机译:
用于随机节约协议的陆基工具
作者:
Dexter Kozen
;
Matvey Soloviev
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
49.
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
机译:
反应关系和克莱讷代数的反应性方案的计算验证
作者:
Simon Foster
;
Kangfeng Ye
;
Ana Cavalcanti
;
Jim Woodcock
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
50.
False Failure: Creating Failure Models for Separation Logic
机译:
虚假故障:为分离逻辑创建故障模型
作者:
Callum Bannister
;
Peter Hofner
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
51.
Decidability of Equational Theories for Subsignatures of Relation Algebra
机译:
关系代数依赖性算法的可判定性
作者:
Robin Hirsch
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
52.
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad
机译:
通过Kleisli类别为延续的Monad组成不同类型关系的组成
作者:
Koki Nishizawa
;
Norihiro Tsumagari
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
53.
Calculational Relation-Algebraic Proofs in the Teaching Tool CALCCHECK
机译:
教学工具Calccheck中的计算关系 - 代数证明
作者:
Wolfram Kahl
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
54.
Coequalizers and Tensor Products for Continuous Idempotent Semirings
机译:
CoetChizers和张量产品用于连续幂幂
作者:
Mark Hopkins
;
Hans Leiss
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
55.
Counting Finite Linearly Ordered Involutive Bisemilattices
机译:
计数有限线性订购的涉及涉及的Bisemilartices
作者:
Stefano Bonzio
;
Michele Pra Baldi
;
Diego Valota
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
关键词:
Finite involutive bisemilattices;
Weak Kleene logic;
Plonka sums;
56.
T-Norm Based Operations in Arrow Categories
机译:
基于T-Norm的箭头类别的操作
作者:
Michael Winter
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
57.
Algebraic Derivation of Until Rules and Application to Timer Verification
机译:
直到规则和应用于定时器验证的代数衍生
作者:
Jessica Ertel
;
Roland Gluck
;
Bernhard Moller
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
58.
Verifying Hybrid Systems with Modal Kleene Algebra
机译:
使用Modal Kleene代数验证混合系统
作者:
Jonathan Julian Huerta y Munive
;
Georg Struth
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
59.
C-Dioids and μ-Continuous Chomsky-Algebras
机译:
C-二脂肪和μ连续的CHOMSKY-ALGEBRAS
作者:
Hans Leiss
;
Mark Hopkins
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
60.
On the Computational Complexity of Non-dictatorial Aggregation
机译:
论非专政聚集的计算复杂性
作者:
Lefteris Kirousis
;
Phokion G. Kolaitis
;
John Livieratos
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
61.
Distances, Norms and Error Propagation in Idempotent Semirings
机译:
Idempotent的距离,规范和错误传播
作者:
Roland Gluck
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
62.
Finite Relation Algebras with Normal Representations
机译:
具有正常表示的有限关系代数
作者:
Manuel Bodirsky
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
63.
Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems
机译:
加权最低限量单设施的代数溶液受限定位问题
作者:
Nikolai Krivulin
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
关键词:
Tropical mathematics;
Idempotent semifield;
Constrained optimization problem;
Single-facility location problem;
64.
A Set Solver for Finite Set Relation Algebra
机译:
用于有限组合关系代数的设置求解器
作者:
Maximiliano Cristia
;
Gianfranco Rossi
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
65.
Axiomatizing Discrete Spatial Relations
机译:
公正分立离散空间关系
作者:
Giulia Sindoni
;
Katsuhiko Sano
;
John G. Stell
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2018年
关键词:
Spatial relations;
Discrete space;
Intuitionistic-modal logic;
Qualitative representation and reasoning;
66.
Relational Representation Theorem for Powerset Quantales
机译:
powerset量子的关系表示定理
作者:
Koki Nishizawa
;
Hitoshi Furusawa
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
67.
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings
机译:
代数上下文的类别相当于IDEMPOTENTEN和Domain Semirits
作者:
Peter Jipsen
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
关键词:
Algebraic contexts;
Idempotent semirings;
Domain semirings;
68.
Two Observations in Dioid Based Model Refinement
机译:
基于Dioid的模型改进的两个观察
作者:
Roland Gluck
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
69.
Incremental Pseudo Rectangular Organization of Information Relative to a Domain
机译:
增量伪矩形信息相对于域的信息
作者:
Sahar Ismail
;
Ali Jaoua
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
关键词:
Pseudo maximal rectangle;
Incremental rectangular decom- position;
Incremental structuring;
Information organization;
70.
Relation Algebras, Matrices, and Multi-valued Decision Diagrams
机译:
关系代数,矩阵和多价决策图
作者:
Francis Atampore
;
Michael Winter
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
71.
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
机译:
与可执行规范的关系:使用不变性驯服偏袒和非确定性
作者:
Nuno Macedo
;
Hugo Pacheco
;
Alcino Cunha
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
72.
On Completeness of Omega-Regular Algebras
机译:
关于欧米茄常规代数的完整性
作者:
Michael R. Laurence
;
Georg Struth
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
73.
Automated Reasoning in Higher-Order Regular Algebra
机译:
在高阶常规代数中自动推理
作者:
Alasdair Armstrong
;
Georg Struth
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
74.
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures
机译:
基于简单的基于矩形的功能性程序,用于计算反射传递闭合
作者:
Rudolf Berghammer
;
Sebastian Fischer
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
75.
Point Axioms in Dedekind Categories
机译:
Dedekind类别中的点公理
作者:
Hitoshi Furusawa
;
Yasuo Kawahara
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
76.
Relations on Hypergraphs
机译:
对超图的关系
作者:
John G. Stell
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
77.
Towards an Algebra for Real-Time Programs
机译:
朝着实时计划的代数
作者:
Brijesh Dongol
;
Ian J. Hayes
;
Larissa Meinicke
;
Kim Solin
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
78.
Continuous Relations and Richardson's Theorem
机译:
持续关系和理查森的定理
作者:
Hitoshi Furusawa
;
Toshikazu Ishida
;
Yasuo Kawahara
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
79.
Deciding Regular Expressions (In-)Equivalence in Coq
机译:
决定COQ中的正则表达式(IN-)等价
作者:
Nelma Moreira
;
David Pereira
;
Simao Melo de Sousa
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
80.
Extension Properties of Boolean Contact Algebras
机译:
布尔联系代数的扩展属性
作者:
Ivo Duntsch
;
Sanjiang Li
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
81.
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
机译:
着色代数的基础,具有面向特征的编程的后果
作者:
Peter Hofner
;
Bernhard Moller
;
Andreas Zelend
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
82.
Transitive Separation Logic
机译:
传递分离逻辑
作者:
Han-Hing Dang
;
Bernhard Moller
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
关键词:
Separation logic;
Reachability;
Sharing;
Strong separation;
83.
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings
机译:
利用关系开发Haskell程序,用于计算最大两分匹配
作者:
Nikita Danilenko
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
84.
Left-Handed Completeness
机译:
左撇子完整性
作者:
Dexter Kozen
;
Alexandra Silva
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
85.
Relational Concepts in Social Choice
机译:
社会选择的关系概念
作者:
Gunther Schmidt
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
关键词:
Relation;
Social choice;
Rationalization;
Revealed preference;
86.
Unifying Lazy and Strict Computations
机译:
统一懒惰和严格的计算
作者:
Walter Guttmann
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
87.
An Algebra of Layered Complex Preferences
机译:
分层复合偏好的代数
作者:
Bernhard Moller
;
Patrick Roocks
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
关键词:
Relational algebra;
Complex preferences;
Preference algebra;
88.
Towards Certifiable Implementation of Graph Transformation via Relation Categories
机译:
通过关系类别来实现图形转换的可证式实施
作者:
Wolfram Kahl
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2012年
89.
Concurrent Kleene Algebra with Tests
机译:
与测试的并发kleene代数
作者:
Peter Jipsen
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
关键词:
Concurrent Kleene algebras;
Kleene algebras with tests;
Parallel programming models;
Series-parallel strings;
Relation algebras with transitive closure;
90.
Towards Finding Maximal Subrelations with Desired Properties
机译:
朝向寻找具有所需属性的最大次标
作者:
Martin Eric Muller
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
91.
A Point-Free Relation-Algebraic Approach to General Topology
机译:
一般拓扑的无点关系 - 代数方法
作者:
Gunther Schmidt
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
关键词:
Relational mathematics;
Homomorphism;
Topology;
Existential image;
Continuity;
92.
Higher-Order Arrow Categories
机译:
高阶箭头类别
作者:
Michael Winter
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
93.
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages
机译:
None
作者:
Michael R. Laurence
;
Georg Struth
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
94.
Refinements of the RCC25 Composition Table
机译:
RCC25成分表的改进
作者:
Manas Ghosh
;
Michael Winter
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
95.
Abstract Dynamic Frames
机译:
抽象动态框架
作者:
Han-Hing Dang
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
关键词:
Frame problem;
Local actions;
Relational semantics;
Separation algebra;
96.
Relational Lattices
机译:
关系格子
作者:
Tadeusz Litak
;
Szabolcs Mikulas
;
Jan Hidders
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
关键词:
Relational lattices;
Relational algebra;
Database theory;
Algebraic logic;
Lattice theory;
Cylindric algebras;
Formal Concept Analysis;
Standard context;
Incidence relation;
Arrow relations;
97.
A Modified Completeness Theorem of KAT and Decidability of Term Reducibility
机译:
KAT的修改完整性定理及术语减少性的可解锁性
作者:
Takeo Uramoto
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
关键词:
Kleene algebra with tests;
Completeness theorem;
Decidability;
98.
Nominal Sets over Algebraic Atoms
机译:
标称套装在代数原子上
作者:
Joanna Ochremiak
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
99.
Fixed-Point Theory in the Varieties D_n
机译:
品种D_N中的定点理论
作者:
Sabine Frittella
;
Luigi Santocanale
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
100.
Type-2 Fuzzy Controllers in Arrow Categories
机译:
箭头类别中的2型模糊控制器
作者:
Michael Winter
;
Ethan Jackson
;
Yuki Fujiwara
会议名称:
《International Conference on Relational and Algebraic Methods in Computer Science》
|
2014年
意见反馈
回到顶部
回到首页