掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
Two Observations in Dioid Based Model Refinement
机译:
基于Dioid的模型细化的两个观察
作者:
Roland Glueck
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
2.
Continuous Relations and Richardson's Theorem
机译:
连续关系和理查森定理
作者:
Hitoshi Furusawa
;
Toshikazu Ishida
;
Yasuo Kawahara
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
3.
Extension Properties of Boolean Contact Algebras
机译:
布尔接触代数的扩展性质
作者:
Ivo Duentsch
;
Sanjiang Li
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
4.
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings
机译:
与幂等半环和域半环等效的代数上下文类别
作者:
Peter Jipsen
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
关键词:
Algebraic contexts;
idempotent semirings;
domain semirings;
5.
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年
6.
Left-Handed Completeness
机译:
左手完整性
作者:
Dexter Kozen
;
Alexandra Silva
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
7.
On Completeness of Omega-Regular Algebras
机译:
关于ω正则代数的完备性
作者:
Michael R. Laurence
;
Georg Struth
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
8.
Point Axioms in Dedekind Categories
机译:
Dedekind类别中的点公理
作者:
Hitoshi Furusawa
;
Yasuo Kawahara
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
9.
Relational Representation Theorem for Power set Quantales
机译:
功率集量子的关系表示定理
作者:
Koki Nishizawa
;
Hitoshi Furusawa
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
10.
Transitive Separation Logic
机译:
传递分离逻辑
作者:
Han-Hing Dang
;
Bernhard Moeller
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
关键词:
Separation logic;
reachability;
sharing;
strong separation;
11.
Unifying Lazy and Strict Computations
机译:
统一惰性和严格计算
作者:
Walter Guttmann
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
12.
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
机译:
面向特征编程的着色代数的基础
作者:
Peter Hoefner
;
Bernhard Moeller
;
Andreas Zelend
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
13.
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年
14.
Automated Reasoning in Higher-Order Regular Algebra
机译:
高阶正则代数中的自动推理
作者:
Alasdair Armstrong
;
Georg Struth
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
15.
Towards Certifiable Implementation of Graph Transformation via Relation Categories
机译:
通过关系类别实现图转换的可认证实现
作者:
Wolfram Kahl
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
16.
Deciding Regular Expressions (In-)Equivalence in Coq
机译:
确定Coq中的正则表达式
作者:
Nelma Moreira
;
David Pereira
;
Simao Melo de Sousa
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
17.
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年
18.
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年
19.
Relation Algebras, Matrices, and Multi-valued Decision Diagrams
机译:
关系代数,矩阵和多值决策图
作者:
Francis Atampore
;
Michael Winter
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
20.
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 decomposition;
incremental structuring;
information organization;
21.
Relational Concepts in Social Choice
机译:
社会选择中的关系概念
作者:
Gunther Schmidt
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
关键词:
relation;
social choice;
rationalization;
revealed preference;
22.
An Algebra of Layered Complex Preferences
机译:
分层复杂首选项的代数
作者:
Bernhard Moeller
;
Patrick Roocks
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
关键词:
relational algebra;
complex preferences;
preference algebra;
23.
Relations on Hypergraphs
机译:
超图上的关系
作者:
John G. Stell
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2012年
24.
A Unary Semigroup Trace Algebra
机译:
一条机构半群跟踪代数
作者:
Pedro Ribeiro
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
关键词:
Semantics;
Process algebra;
Semigroups;
UTP;
25.
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
机译:
DEDEKIND递归定理的关系 - 代数治疗
作者:
Rudolf Berghammer
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
26.
Combining Probabilistic and Non-deterministic Choice Via Weak Distributive Laws
机译:
通过弱分配法结合概率和非确定性选择
作者:
Daniela Petrisan
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
27.
Preface
机译:
前言
作者:
Michael Winter
;
Uli Fahrenberg
;
Peter Jipsen
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
28.
Weakening Relation Algebras and FL~2-algebras
机译:
弱化关系代数和FL〜2-代数
作者:
Nikolaos Galatos
;
Peter Jipsen
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
关键词:
Relation algebras;
Residuated lattices;
Bunched implication algebras;
29.
The Involutive Quantaloid of Completely Distributive Lattices
机译:
完全分配格子的涉及量子醇
作者:
Luigi Santocanale
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
30.
Stone Dualities from Opfibrations
机译:
来自Opfibrations的石头二元
作者:
Koki Nishizawa
;
Shin-ya Katsumata
;
Yuichi Komorida
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
31.
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
机译:
用伊莎贝尔/霍尔的混合系统差分Hoare逻辑和改进计算
作者:
Simon Foster
;
Jonathan Julian Huerta y Munive
;
Georg Struth
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
32.
Sharpness in the Fuzzy World
机译:
模糊世界的清晰度
作者:
Michael Winter
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
33.
The θ-Join as a Join with θ
机译:
θ-连接为与θ的连接
作者:
Jules Desharnais
;
Bernhard Moe11er
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
34.
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids
机译:
计算机支持探索甲型曲线的分类公理化
作者:
Lucca Tiemens
;
Dana S. Scott
;
Christoph Benzmuller
;
Miroslav Benda
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
35.
Probabilistic Bisimulation with Silent Moves
机译:
静音移动的概率和刺激
作者:
Christel Baier
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
36.
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
机译:
换向双重幂的半幂,由链条和预购森林确定
作者:
Natanael Alpay
;
Peter Jipsen
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
关键词:
Idempotent semirings;
Distributive lattices;
Preorder forests;
37.
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
机译:
通过Kleene关系代数验证不相交的森林的正确性
作者:
Walter Guttmann
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
38.
Preorders, Partial Semigroups, and Quantales
机译:
预定,部分半群和量子
作者:
Koki Nishizawa
;
Koji Yasuda
;
Hitoshi Furusawa
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
39.
Hardness of Network Satisfaction for Relation Algebras with Normal Representations
机译:
与正常陈述的关系代数的网络满意度硬度
作者:
Manuel Bodirsky
;
Simon Knaeuer
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
40.
A Hierarchy of Algebras for Boolean Subsets
机译:
布尔子集代数的层次结构
作者:
Walter Guttmann
;
Bernhard Moeller
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
41.
Generating Posets Beyond N
机译:
产生超出n的Posets
作者:
Uli Fahrenberg
;
Christian Johansen
;
Georg Struth
;
Ratan Bahadur Thapa
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
42.
Counting and Computing Join-Endomorphisms in Lattices
机译:
计算和计算格子中的加入 - 内骨膜
作者:
Santiago Quintero
;
Sergio Ramirez
;
Camilo Rueda
;
Frank Valencia
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
关键词:
Join-endomorphisms;
Lattice cardinality;
Lattice algorithms;
43.
Expressive Power and Succinctness of the Positive Calculus of Relations
机译:
表现力和简洁的关系积分
作者:
Yoshiki Nakamura
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
关键词:
Expressive power;
Succinctness;
The positive calculus of relations;
Existential positive logic;
44.
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
机译:
高阶分类副结构逻辑:扩大三脚理论的地平线
作者:
Yoshihiro Maruya
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
45.
Automated Algebraic Reasoning for Collections and Local Variables with Lenses
机译:
具有镜头的集合和局部变量的自动代数推理
作者:
Simon Foster
;
James Baxter
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
46.
Bisimilarity of Diagrams
机译:
关于图的双模性
作者:
Jeremy Dubut
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
关键词:
Open maps;
Diagrams;
Path logic;
Existential theories;
47.
Weighted Automata and Quantitative Logics
机译:
加权自动机和定量逻辑
作者:
Manfred Droste
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2020年
48.
Preface
机译:
前言
作者:
Wolfram Kahl
;
Michael Winter
;
Jose N. Oliveira
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
49.
Towards a Probabilistic Interpretation of Game Logic
机译:
迈向游戏逻辑的概率解释
作者:
Ernst-Erich Doberkat
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
50.
Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification
机译:
使用超大矩形关键字提取的文本分类:在新闻文章分类中的应用
作者:
Abdelaali Hassaine
;
Souad Mecheter
;
Ali Jaoua
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
关键词:
Hyper Rectangular Coverage;
Text categorization;
Random forests;
51.
Decomposition of Database Preferences on the Power Set of the Domain
机译:
在域的电源集上分解数据库偏好
作者:
Patrick Roocks
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
关键词:
Relational algebra;
Preference decomposition;
Power set;
52.
Investigating and Computing Bipartitions with Algebraic Means
机译:
用代数手段调查和计算双分层
作者:
Rudolf Berghammer
;
Insa Stucke
;
Michael Winter
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
53.
Generalised N-ary Relations and Allegories
机译:
广义n-ary关系和寓言
作者:
Bartosz Zielinski
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
关键词:
Allegories;
Relations;
Databases;
54.
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
机译:
使用模态Kleene代数和KIV对可编程逻辑控制器的交互式验证
作者:
Roland Glueck
;
Florian Benedikt Krebs
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
55.
Relations among Matrices over a Semiring
机译:
矩阵之间的关系
作者:
Dylan Killingbeck
;
Milene Santos Teixeira
;
Michael Winter
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
56.
Completeness and Incompleteness in Nominal Kleene Algebra
机译:
标称Kleene代数的完整性和不完整性
作者:
Dexter Kozen
;
Konstantinos Mamouras
;
Alexandra Silva
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
57.
Relational Formalisations of Compositions and Liftings of Multirelations
机译:
组合物和多层旋转升力的关系
作者:
Hitoshi Furusawa
;
Yasuo Kawahara
;
Georg Struth
;
Norihiro Tsumagari
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
58.
Relational Mathematics for Relative Correctness
机译:
相关数学的相对正确性
作者:
Jules Desharnais
;
Nafi Diallo
;
Wided Ghardallou
;
Marcelo F. Frias
;
Ali Jaoua
;
Ali Mili
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
关键词:
Absolute correctness;
relative correctness;
refinement ordering;
refinement lattice;
faults;
fault removal;
59.
Closure, Properties and Closure Properties of Multirelations
机译:
多拉丝的关闭,属性和闭包
作者:
Rudolf Berghammer
;
Walter Guttmann
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
60.
Roughness by Residuals Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations
机译:
粗糙度粗糙集的粗糙度描述的粗糙度和寻找核心关系的算法
作者:
Martin E. Mueller
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
61.
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets
机译:
无序类别的机械化关系 - 代数理论没有符合
作者:
Musa Al-hassy
;
Wolfram Kahl
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
62.
Connections between Relation Algebras and Cylindric Algebras
机译:
关系代数与圆柱代数之间的连接
作者:
Ian Hodkinson
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
63.
Metaphorisms in Programming
机译:
编程中的隐喻
作者:
Jose N. Oliveira
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
关键词:
Programming from specifications;
Algebra of programming;
64.
L-Fuzzy Databases in Arrow Categories
机译:
箭头类别中的l-fuzzy数据库
作者:
Evans Adjei
;
Wazed Chowdhury
;
Michael Winter
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
65.
A Quest for Kleene Algebra in 2 Dimensions
机译:
在2个维度中寻求Kleene代数
作者:
Gheorghe Stefanescu
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
关键词:
finite automata;
regular expressions;
Kleene algebra;
self-assembling tile systems;
2-dimensional languages;
2-dimensional regular expressions;
recursive specifications;
interactive systems;
scenarios;
relational semantics;
66.
Solving a Tropical Optimization Problem via Matrix Sparsification
机译:
通过矩阵稀疏解决热带优化问题
作者:
Nikolai Krivulin
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
关键词:
Tropical algebra;
Idempotent semifield;
Optimization problem;
Span seminorm;
Sparse matrix;
Backtracking;
Complete solution;
67.
Towards Antichain Algebra
机译:
向AntiChain代数
作者:
Bernhard Moeller
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
关键词:
Preference relations;
Maximal objects;
Block-nested loop algorithm;
Lattice theory;
Galois connections;
68.
Type Checking by Domain Analysis in Ampersand
机译:
在&符号中键入域分析检查
作者:
Stef M.M. Joosten
;
Sebastiaan J.C. Joosten
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
69.
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective
机译:
通过CONOXONITY进行分配的子结构逻辑的完整性:基础教子视角
作者:
Fredrik Dahlqvist
;
David Pym
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
70.
Tool-Based Verification of a Relational Vertex Coloring Program
机译:
基于刀具的关系顶点着色程序的验证
作者:
Rudolf Berghammer
;
Peter Hoefner
;
Insa Stucke
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
71.
Encoding and Decoding in Refinement Algebra
机译:
在细化代数中编码和解码
作者:
Kim Solin
会议名称:
《International conference on relational and algebraic methods in computer science》
|
2015年
意见反馈
回到顶部
回到首页