默认搜索操作

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

问别人

1987年第二届LICS：美国纽约伊萨卡

>主页 >会议和研讨会 >低收入国家

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/1987
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/1987
1987年6月22日至25日，美国纽约州伊萨卡市，计算机科学逻辑研讨会论文集（LICS’87）。 IEEE计算机学会 1987

受邀演讲人

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Milner87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Milner87
罗宾·米尔纳:
最大不动点的一些用法（特邀讲座摘要）。低收入国家 1987:三

第1部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Breazu-TanneM87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Breazu-TanneM87
瓦尔·坦宁,阿尔伯特·梅耶:
多态性比简单类型保守（初步报告）。低收入国家 1987:7-17
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/GoguenM87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GoguenM87
约瑟夫·高根,何塞·梅塞盖尔:
有序代数解决了构造函数-选择器，Multiple。低收入国家 1987:18-29
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Mendler公司87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Mendler87
纳克斯·保罗·门德勒:
二阶Lambda微积分中的递归类型和类型约束。低收入国家 1987:30-36
- 看法
  - 电子版@neu.edu（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Wand87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Wand87
米切尔·旺德:
简单对象的完整类型推断。 37-44

第2部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Abramsky公司87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Abramsky87
萨姆森·阿布拉姆斯基:
逻辑形式的领域理论。低收入国家 1987:47-53
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/HarelPSS87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HarelPSS87
哈雷尔,阿米尔·普努利,珍妮特·施密特,里维·谢尔曼:
关于状态图的形式语义（扩展抽象）。低收入国家 1987:54-64
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Seely87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Seely87
罗伯特·A·G·西利:
模拟计算：一个2类框架。低收入国家 1987:65-71
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Gaifman第87页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GaifmanP87
哈伊姆·盖夫曼,沃恩·R·普拉特:
并发的偏序模型和函数的计算。低收入国家 1987:72-85

第3部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Bidoit公司F87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BidoitF87
妮可·比多特,克里斯汀·弗罗伊德沃:
极简主义包含了分层逻辑编程中的默认逻辑和边界。低收入国家 1987:89-97
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/MillerNS87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MillerNS87
戴尔·米勒,戈帕兰·纳达图尔,安德烈·塞德洛夫:
遗传Harrop公式和统一证明系统。低收入国家 1987:98-105
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/GaifmanMSV87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GaifmanMSV87
哈伊姆·盖夫曼,哈里·梅森,叶霍舒亚·萨吉夫,莫舍·瓦尔迪:
数据库逻辑程序的不确定优化问题。低收入国家 1987:106-115

受邀演讲人

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Reynolds公司87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Reynolds87
约翰·雷诺兹:
连接类型和类算法语言。低收入国家 1987:119

第4次会议

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/阿巴迪87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Abadi87
马丁·阿巴迪:
时间证明的力量。低收入国家 1987:123-130
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/AlpernS87文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AlpernS87
博文阿尔卑斯山,弗雷德·施耐德:
证明确定性属性的布尔组合。低收入国家 1987:131-137
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Sistla公司G87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SistlaG87
A.普拉萨德·西斯特拉,史蒂文·M·德文:
多过程推理。低收入国家 1987:138-152
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/SistlaZ87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SistlaZ87
A.普拉萨德·西斯特拉,勒诺雷·D·祖克:
时间逻辑中的偶然性算子。低收入国家 1987:153-166
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Vardi87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Vardi87
莫舍·瓦尔迪:
并发程序的验证：自动机理论框架。低收入国家 1987:167-176

受邀演讲人

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Emden87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Emden87
马滕·范·埃姆登:
一阶谓词逻辑作为关系和函数编程的通用基础（摘要）。低收入国家 1987:179

第5部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/ConstableS87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ConstableS87
罗伯特·康斯特布尔,斯科特·史密斯:
建构类型理论中的部分宾语。低收入国家 1987:183-193
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/哈珀HP87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HarperHP87
罗伯·哈波,福里奥·霍塞尔,戈登·普洛金:
定义逻辑的框架。低收入国家 1987:194-204
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Howe87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Howe87
道格拉斯·J·豪:
吉拉德悖论的计算行为。低收入国家 1987:205-214
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Allen公司87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Allen87
斯图亚特·艾伦:
Martin-Löf类型的非类型理论定义。低收入国家 1987:215-221

第6部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/KfouryTU87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KfouryTU87
A.J.Kfoury公司,Jerzy Tiuryn公司,巴维尔·乌尔兹琴:
有限类型功能程序的层次结构（简短版）。低收入国家 1987:225-235
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/ImmermanK87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ImmermanK87
尼尔·伊梅尔曼,德克斯特·科赞:
绑定变量数量有界时的可定义性。低收入国家 1987:236-244
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Thomas公司87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Thomas87
沃尔夫冈·托马斯:
无限树上的链上逻辑、路径逻辑和一阶逻辑。低收入国家 1987:245-256
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/HalpernW87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HalpernW87
约瑟夫·哈珀（Joseph Y.Halpern）,爱德华·L·威默斯:
FP的完整抽象和表达完整。低收入国家 1987:257-271

第7部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Shoham87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Shoham87
约夫·肖姆:
非单调逻辑的语义方法。低收入国家 1987:275-279
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/FaginH87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FaginH87
罗纳德·费金,约瑟夫·哈珀（Joseph Y.Halpern）:
如果你没事，我也没事：关于信任沟通的概念。低收入国家 1987:280-292
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Goerdt87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Goerdt87
安德烈亚斯·戈德:
Lambda术语的Hoare逻辑——作为祈使语言Hoare逻辑学的基础。低收入国家 1987:293-299

第8部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/MitchellM87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MitchellM87
约翰·米切尔,尤金尼奥·莫吉:
Kripke-类型lambda演算的样式模型。低收入国家 1987:303-314
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/FreydS87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FreydS87
彼得·弗雷德,安德烈·塞德洛夫:
多形Lambda演算的一些语义方面。低收入国家 1987:315-319
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/BohmT87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BohmT87
科拉多·伯姆,恩里科·特隆西:
λ-微积分中的X可分离性和左转换性。低收入国家 1987:320-328

第9部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/BachmairD87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BachmairD87
利奥·巴赫迈尔,纳丘姆·德肖维茨:
基于重写的一阶定理证明的推理规则。低收入国家 1987:331-337
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/GallerRS87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GallierRS87
让·盖利尔,斯坦·拉茨,韦恩·斯奈德:
用刚性E-统一方程组证明定理。低收入国家 1987:338-346
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/KirchnerL87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KirchnerL87
克洛德·基什内尔,皮埃尔·莱斯坎:
解方程组。低收入国家 1987:347-352
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/DauchetTHL87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DauchetTHL87
马克斯·多切特,索菲·蒂森,蒂埃里·海拉尔,皮埃尔·莱斯坎:
基期改写系统合流的可决定性。低收入国家 1987:353-359

管理网站设置

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