默认搜索操作

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

问别人

1986年第一届LICS：马萨诸塞州剑桥市

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/1986
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/1986
1986年6月16日至18日，美国马萨诸塞州剑桥市，计算机科学逻辑研讨会论文集（LICS’86）。 IEEE计算机学会 1986，国际标准图书编号0-8186-0720-3

受邀演讲

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/罗宾逊86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/罗宾逊86
约翰·艾伦·罗宾逊:
在简化设置中合并函数式与关系编程（特邀讲座摘要）。低收入国家 1986:2

第1部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Csirmaz86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Csirmaz86
拉兹洛·西尔马,布拉德·哈特:
有限域上的程序正确性。低收入国家 1986:4-10
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/德国CH86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GermanCH86
史蒂文·M·德文,埃德蒙·克拉克,约瑟夫·哈珀（Joseph Y.Halpern）:
L4语言公理系统的真正相对完整性（简略）。低收入国家 1986:11-25
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/JonssonMW86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JonssonMW86
本特·琼森,佐哈尔·曼纳,理查德·沃尔丁格:
走向数据流网络的演绎综合。低收入国家 1986:26-37
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/RoundsK86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/RoundsK86
威廉·C·罗兹,罗伯特·T·卡斯珀:
表示语言信息的记录结构的完整逻辑演算。低收入国家 1986:38-43
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Meyer86公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Meyer86
阿尔伯特·梅耶:
Floyd-Hoare逻辑定义语义：初步版本。低收入国家 1986:44-48

第2部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/BeckmanGW86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BeckmanGW86
伦纳特·贝克曼,鲁恩·古斯塔夫森,安妮卡·沃恩:
逻辑程序并行执行的代数模型。低收入国家 1986:50-57
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Brookes86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Brookes86
斯蒂芬·布鲁克斯:
CSP中基于语义的部分正确性和死锁证明系统。低收入国家 1986:58-65
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Monteiro第86页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MonteiroP86
路易斯·蒙泰罗,费尔南多·C·N·佩雷拉:
并发的剪切理论模型。低收入国家 1986:66-76
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/BensonB86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BensonB86
大卫·本森,Ofer本·沙查尔:
状态自动机的强互模拟。低收入国家 1986:77-81

第3部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Mohring公司86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Mohring86
克里斯汀·莫林:
构造微积分中的算法开发。低收入国家 1986:84-91
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Schlipf86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Schlipf86
约翰·施利普夫（John S.Schlipf）:
一般分界有多难计算？（扩展摘要）。低收入国家 1986:92-95
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Shultis86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Shultis86
J.舒尔蒂斯:
Intuit的设计与实现。低收入国家 1986:96-104
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Mason86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Mason86
伊恩·A·梅森:
一阶LISP程序的等效性。通过转换证明破坏性程序的属性。低收入国家 1986:105-117

受邀演讲

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Nerode86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Nerode86
阿尼尔·内罗德:
逻辑学家看专家系统：数学研究领域（特邀讲座摘要）。低收入国家 1986:120

第4次会议

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/AmadioBL86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AmadioBL86
罗伯托·阿马迪奥,金·布鲁斯,朱塞佩·隆戈:
二阶Lambda微积分的Finitary投影模型和高阶区域方程的解。低收入国家 1986:122-130
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/FelleisenFKD86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FelleisenFKD86
马提亚斯·费莱森,丹尼尔·弗里德曼,尤金·科尔贝克,布鲁斯·杜巴:
继续推理。低收入国家 1986:131-141
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Gunter86公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Gunter86
卡尔·A·冈特:
最大的一阶可公理化笛卡尔闭域范畴。低收入国家 1986:142-148
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/HalpernWW86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HalpernWW86
约瑟夫·哈珀（Joseph Y.Halpern）,约翰·威廉姆斯,爱德华·L·威默斯:
FP的良好重写策略。低收入国家 1986:149-162
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Plaisted公司86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Plaisted86
大卫·A·普莱斯特:
使用相干关系的非确定性递归程序的表示语义。低收入国家 1986:163-174

第5部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/AbadiM86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbadiM86
马丁·阿巴迪,佐哈尔·曼纳:
及时解决。低收入国家 1986:176-186
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/ChouK86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ChouK86
尚庆周（Shang-Ching Chou）,海平谷:
关于闵可夫斯基平面几何中的力学定理证明。低收入国家 1986:187-192
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Despeyroux86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Despeyroux86网址
乔尔·德斯佩罗:
自然语义学翻译证明。低收入国家 1986:193-205
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Kirchner86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Kirchner86
克洛德·基什内尔:
计算统一算法。低收入国家 1986:206-216

第6部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/CoppoZ86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CoppoZ86
马里奥·科波奥,马达莱娜·扎基:
类型推理和逻辑关系。低收入国家 1986:218-226
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Coquand86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Coquand86
蒂埃里·科昆:
吉拉德悖论分析。低收入国家 1986:227-236
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/KnoblockC86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KnoblockC86
托德·B·诺布洛克,罗伯特·康斯特布尔:
类型理论中的形式化元推理。低收入国家 1986:237-248
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/MendlerPC86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MendlerPC86
纳克斯·保罗·门德勒,普拉卡什·帕南加登,罗伯特·康斯特布尔:
类型理论中的无限对象。低收入国家 1986:249-255

受邀讲座

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Girard公司86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Girard86
吉恩·伊夫·吉拉德:
定量和定性语义学（特邀讲座摘要）。低收入国家 1986:258

第7次会议

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Browne86公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Browne86
迈克尔·C·布朗:
一种改进的基于时序逻辑的有限状态系统自动验证算法。低收入国家 1986:260-266
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/EmersonL86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EmersonL86
E.艾伦·艾默生,金龙雷:
命题Mu-Calculus（扩展抽象）片段中的有效模型检查。低收入国家 1986:267-278
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/HalpernS86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HalpernS86
约瑟夫·哈珀（Joseph Y.Halpern）,约夫·肖姆:
时间间隔的命题模型逻辑。低收入国家 1986:279-292
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/MakowskyS86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MakowskyS86
约翰·马科斯基,伊尔迪克·塞恩:
各种程序验证系统中弱二阶和非标准时间语义的等价性。低收入国家 1986:293-300
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/PerrinS86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PerrinS86
多米尼克·佩林,保罗·舒普:
整数自动机，递归可分辨性，一元理论的等价性和可判定性。低收入国家 1986:301-304

第8部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/RosnerP86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/RosnerP86
罗尼·罗斯纳,阿米尔·普努利:
断断续续的逻辑。低收入国家 1986:306-313
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Parikh86公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Parikh86网址
罗希特·帕里赫:
分布式计算知识水平。低收入国家 1986:314-321
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/PnueliZ86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PnueliZ86
阿米尔·普努利,勒诺·D·扎克:
通过Tableaux进行概率验证。低收入国家 1986:322-331
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/VardiW86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/VardiW86
莫舍·瓦尔迪,皮埃尔·沃尔珀:
自动程序验证的自动理论方法（初步报告）。低收入国家 1986:332-344

第9部分

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/BachmairDH86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BachmairDH86
利奥·巴赫迈尔,纳丘姆·德肖维茨,Jieh Xiang先生:
等式证明的顺序。低收入国家 1986:346-357
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/JouannaudK86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JouannaudK86
Jean-Pierre Jouannaud女士,伊曼纽尔·库纳利斯:
无构造函数的等式理论中归纳法的自动证明。低收入国家 1986:358-366
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/卡普尔M86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KapurM86
迪帕克·卡普尔,大卫·R·穆瑟:
规范不完整的归纳推理（初步报告）。低收入国家 1986:367-377
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Statman86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Statman86
理查德·斯塔特曼:
论Lambda术语到组合词的翻译；基础问题。低收入国家 1986:378-382

管理网站设置

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