停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

计算机科学中的数学结构，第14卷

>主页 >期刊销售 >计算机科学中的数学结构

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第14卷第1期，2004年2月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/GastinM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/GastinM04
保罗·加斯廷,迈克尔·米斯洛夫:
基于具有资源的原子操作的简单进程代数。 1-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Palmgren04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Palmgren04
埃里克·帕尔姆格伦:
Brouwer-Heyting-Kolmogorov解释的分类版本。 57-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Gaubert04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Gaubert04网站
克里斯托夫·高伯特:
二维证明结构和交换规则。 73-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/BartheFGPU04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/BartheFGPU04
吉尔斯·巴特,玛丽亚·若昂·弗雷德,爱德华多·吉梅内斯,路易斯·平托,塔尔莫·乌斯塔卢:
递归定义的基于类型的终止。 97-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Carlstrom04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mcs/Calstrom04
杰斯珀·卡尔斯特罗姆:
车轮-被零除。 143-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Johnstone04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Johnstone04网站
奥雷里奥·卡博尼,彼得·约翰斯通:
“连接极限、家族代表性和Artin粘合”的勘误表。 185-187

第14卷第2期，2004年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/FleuryQ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/FleuryQ04
玛丽·雷内·弗勒里,Myriam Quatrini公司:
Ludics的第一订单。 189-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/JurgensenV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/JurgensenV04
克劳斯·尤根森,海科·福格勒:
自顶向下树变换器的句法合成是一种捷径融合。 215-282

第14卷第3期，2004年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Sassone04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Sassone04网站
弗拉迪米罗·萨松:
并发与协调专题介绍：国际研讨会ConCoord的精选作品。 283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CardelliG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mcs/CardelliG04
鲁卡·凯德利,乔治·盖利:
TQL：一种基于环境逻辑的半结构化数据查询语言。 285-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Arbab04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Arbab04
法哈德·阿巴布:
Reo：用于组件组合的基于通道的协调模型。 329-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/FerrariMP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/FerrariMP04
吉安·路易吉·费拉里,尤金尼奥·莫吉,罗萨里奥·普格利泽:
MetaKlaim：一种用于全局计算的类型安全的多阶段语言。 367-395
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CarbunarVV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CarburnaVV04
博格丹·卡宾纳,马可·图利奥·德奥利维拉·瓦伦特,扬·维泰克:
CoreLime的协调和流动性。 397-419
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/BruniM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/BruniM04
罗伯托·布鲁尼,乌戈·蒙塔纳里:
Linda与事务的并发模型。 421-468

第14卷第4期，2004年8月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/HuthJS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/HuthJS04
伦敦帝国学院,拉德哈·贾加迪桑,大卫·A·施密特:
局部系统精化的区域方程。 469-505
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/NegriP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/NegriP04
萨拉·内格里,简·冯·柏拉图:
格理论的证明系统。 507-526
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Selinger04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Selinger04
彼得·塞林格:
走向量子编程语言。 527-586
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/AehligJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/AehligJ04
克劳斯·埃利格,费利克斯·约阿希姆斯基:
通过评估实现非类型化标准化的操作方面。 587-611

第14卷第5期，2004年10月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/HildebrandtPW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/HildebrandtPW04
托马斯·希尔德布兰特,普拉卡什·帕南加登,格林·温斯克:
一种非确定性数据流的关系模型。 613-649
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/HennessyR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/轩尼诗R04
马修·轩尼诗,朱利安·拉特克:
存在子类型的过程的类型化行为等效项。 651-684
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/RosebrughSW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/RosebrughSW04
罗伯特·罗斯布鲁,尼科莱塔·萨巴迪尼,罗伯特·F·C·沃尔特斯:
跨度（图）中的最小化和最小实现。 685-714
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/MerroS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/MerroS04
马西莫·梅罗,戴维德·桑吉奥吉:
关于名称传递计算中的异步性。 715-767

第14卷第6期，2004年12月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/EdalatJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/EdalatJ04
阿巴斯·艾达拉特,阿希姆·荣格:
领域理论专题介绍。 769
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/EdalatL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/EdalatL04
阿巴斯·艾达拉特,安德烈·留尼特:
领域理论和微分学（一元函数）。 771-802
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/mscs/EscardoHS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mcs/EscardoHS04
马丁·霍泽尔·埃斯卡多,马丁·霍夫曼,托马斯·斯特里彻:
实数计算的区间模型的非连续性。 803-814
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Lawson04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Lawson04
吉米·劳森:
领域、整合和“实证分析”。 815-832
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Martin04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Martin04
凯·马丁:
分形和领域理论。 883-851
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Tsuiki04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Tsuiki04网站
筑井秀树:
紧致度量空间作为底序列域中的极小极限集。 853-878

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。