停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第1卷第1期，1991年3月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CardelliM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CardelliM91
鲁卡·凯德利,约翰·C·米切尔:
记录操作。 3-48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Goguen91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Goguen91
约瑟夫·高根:
分类宣言。 49-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Marti-OlietM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Marti-OlietM91
纳西索·马蒂-奥列特,何塞·梅塞盖尔:
从Petri网到线性逻辑。 69-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Moggi91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Moggi91
尤金尼奥·莫吉:
程序模块的分类理论说明。 103-139

1991年7月第1卷第2期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/MartinHJ91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/MartinHJ91
C.E.马丁,C.A.R.霍尔,何继峰:
顺序丰富类别中的前置副词。 141-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Barr91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Barr91
巴尔:
*-自治范畴和线性逻辑。 159-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CasleyCMP91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CasleyCMP91
罗斯·凯斯利,罗杰·F·克鲁,何塞·梅塞盖尔,沃恩·R·普拉特:
时间结构。 179-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/LongoM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/LongoM91
朱塞佩·隆戈,尤金尼奥·莫吉:
构造性自然演绎及其“Omega-Set”解释。 215-254

第1卷第3期，1991年11月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Girard91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Girard91
吉恩·伊夫·吉拉德:
一种新的构造逻辑：经典逻辑。 255-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/LafontP91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/LafontP91
伊夫·拉丰,阿兰·普劳特:
单体的Church-Rosser性质和同调。 297-326
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Jacobs91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/雅各布斯91
雅各布施:
二阶Lambda演算的语义。 327-360
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/EhrigHKP91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/EhrigHKP91
哈特穆特·埃里格,安内格丽特·哈贝尔,汉斯·约格·克鲁斯基,弗朗西斯科·帕里西（Francesco Parisi-Prescce）:
高级替换系统中的并行性和并发性。 361-404

服务

管理网站设置

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