停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1991年第6届LICS：荷兰阿姆斯特丹

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

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/lics/1991
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/1991
第六届计算机科学逻辑年度研讨会论文集（LICS’91），荷兰阿姆斯特丹，1991年7月15日至18日。 IEEE计算机学会 1991，国际标准图书编号0-8186-2230-X号
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Leivant91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Leivant91
丹尼尔·利万特:
计算可行性的基本描述。 2-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AlessiB91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AlessiB91
法比奥·阿莱西,弗朗科·巴巴内拉:
面向QUEST语言的语义。 12-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Aczel91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Aczel91
彼得·阿策尔:
术语声明逻辑和广义复合词。 22日至30日
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HodasM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HodasM91
约书亚·S·霍达斯,戴尔·米勒:
直觉主义线性逻辑片段中的逻辑编程。 32-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LafontS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LafontS91
伊夫·拉丰,托马斯·斯特里彻:
线性逻辑游戏语义。 43-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LincolnSS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LincolnSS91
帕特里克·林肯,安德烈·斯切德罗夫,纳塔拉詹·尚卡尔:
线性化直觉含义。 51-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MalacariaR91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MalacariaR91
帕斯奎尔·马拉卡里亚,劳伦特·雷格尼尔:
算子代数中lambda-calculus解释的一些结果。 63-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Pfenning91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Pfenning91
弗兰克·普芬宁:
构造演算中的统一与反统一。 74-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Adebaud91文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Audebaud91
菲利普·奥德巴德:
构造微积分中的部分对象。 86-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Murthy91公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Murthy91
切坦·R·默西:
经典证明的评价语义学。 96-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Cleaveland Z91公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CleavelandZ91
兰斯·克莱维兰,艾米·兹瓦利科:
实时测试理论。 110-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Hungar91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Hungar91
哈迪·亨加:
Hoare-style证明系统的复杂性界限。 120-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HungZ91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HungZ91
兴启行,杰弗里·扎克:
指针语义学，用内涵逻辑指称和去指称。 127-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Bucciarelli公司E91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BucciarelliE91
安东尼奥·布恰雷利,托马斯·埃尔哈德:
顺序性和强稳定性。 138-145年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Stoughton公司91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Stoughton91
阿伦·斯托顿:
并行PCF具有独特的扩展模型。 146-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Taylor公司91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Taylor91
保罗·泰勒:
合成域理论中的不动点性质。 152-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Howe91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Howe91
道格拉斯·J·豪:
论马丁·洛夫类型理论中的计算开放性。 162-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Mendler91公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Mendler91
纳克斯·保罗·门德勒:
谓词型宇宙与本原递归。 173-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Statman91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Statman91
理查德·斯塔特曼:
组合子单体的Freyd层次。 186-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Tronci91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Tronci91
恩里科·特隆西:
lambda-calculus中的等式Prgoramming。 191-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BergerS91公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BergerS91
乌尔里希·伯杰,赫尔穆特·施维赫滕贝格:
类型lambda-calculus的求值函数的逆。 203-211
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Kozen91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Kozen91
德克斯特·科赞:
Kleene代数和正则事件代数的完备性定理。 214-225
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AvronH91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AvronH91
阿诺·阿夫伦,约拉姆·赫什菲尔德:
论一阶数据库查询语言。 226-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PeledKP91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PeledKP91
多龙·A·贝利德,Shmuel Katz先生,阿米尔·普努利:
在时序逻辑中指定和证明可串行性。 232-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CamilleriW91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CamilleriW91
胡安尼托·卡米莱里,格林·温斯克:
具有优先选择权的CCS。 246至255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KlarlundK91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KlarlundK91
尼尔斯·克拉伦德,德克斯特·科赞:
拉宾测度及其在公平性和自动机理论中的应用。 256-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JonssonL91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JonssonL91
本特·琼森,金·古德斯特兰·拉森:
概率过程的规范和细化。 266-277
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PacholskiS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PacholskiS91
莱泽克·帕霍尔斯基,维斯拉夫·斯瓦斯特:
关于存在二阶极小Gödel句子类的0-1律。 280-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BonetB91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BonetB91
玛丽亚·路易莎·博内,塞缪尔·巴斯:
关于扣除规则和证明线数量。 286-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FruhworthSVY91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FruhworthSVY91
托姆·W·福吕维思,胡德·沙皮罗,莫舍·瓦尔迪,埃亚尔·亚德尼:
逻辑程序作为逻辑程序的类型。 300-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KiferW91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KiferW91
迈克尔·基弗,詹姆斯·吴:
逻辑程序设计中类型和多态的一阶理论。 310-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CortesiFW91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CortesiFW91
阿戈斯蒂诺·科尔特斯,吉尔伯托·菲尔,威廉·H·温斯伯勒:
重温道具：命题公式作为基础分析的抽象领域。 322-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Stuckey91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Stuckey91
彼得·J·斯塔基:
约束逻辑程序设计的构造性否定。 328-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Nipkow91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Nipkow91
托比亚斯·尼普科:
高阶关键对。 342-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JouannaudO91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JouannaudO91
Jean-Pierre Jouannaud女士,冈田光弘:
可执行高阶代数规范语言的计算模型。 350至361
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Ryan91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Ryan91
马克·瑞恩:
结构化理论中的缺陷和修正。 362-373
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HuttelS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HuttelS91
汉斯·海特尔,科林·斯特林:
行动胜于言语：证明无语境过程的相似性。 376-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Vaandrager91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Vaandrager91
Frits W.Vaandrager公司:
过程代数与输入输出自动机的关系。 387-398
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Boer91公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Boer91
弗兰克·S·德·波尔:
用于动态流程创建的合成证明系统。 399-405
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GodefroidW91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GodefroidW91
帕特丽斯·戈德弗里德,皮埃尔·沃尔珀:
模型检查的部分方法。 406-415

服务

管理网站设置

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