默认搜索操作

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

问别人

1994年第9届LICS：法国巴黎

>主页 >会议和研讨会 >许可证

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/lics/1994
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/1994
第九届计算机科学逻辑年度研讨会论文集（LICS’94），法国巴黎，1994年7月4日至7日。 IEEE计算机学会 1994，国际标准图书编号0-8186-6310-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Burstall94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Burstall94
罗德·布尔斯托尔:
术语、证明和精炼（扩展摘要）。 2-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GurevichIS94配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GurevichIS94
尤里·古雷维奇,尼尔·伊梅尔曼,撒哈拉沙拉:
麦科姆猜想。 10-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DawarH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DawarH94
阿努杰·达瓦尔,劳里·海拉:
有限多广义量词的表达能力。 20-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Otto94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Otto94
马丁·奥托:
简单属性的广义量词。 30-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HellaKL94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HellaKL94
劳里·海拉,Phokion G.Kolaitis公司,科科·洛斯托:
如何在有限模型上定义线性阶。 40-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AlurH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AlurH94
拉杰夫·阿鲁尔,托马斯·汉津格:
财政公平。 52-61
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Sewell公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Sewell94
彼得·休厄尔:
互模拟不是有限（一阶）等式公理化的。 62-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/SaraswatJG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SaraswatJG94
维杰·萨拉斯瓦特,拉德哈·贾加迪桑,维尼特·古普塔:
时间并发约束编程基础。 71-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Jeffrey94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Jeffrey94
阿兰·杰弗里:
并发图约简的完全抽象语义。 82-91
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FioreP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FioreP94
马塞洛·菲奥雷,戈登·普洛金:
FPC的计算充分域理论模型的公理化。 92-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Colson公司E94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ColsonE94
洛伊克·科尔森,托马斯·埃尔哈德:
关于强稳定性和高阶序贯性。 103-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HuthJK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HuthJK94
伦敦帝国学院,阿奇姆·荣格,克劳斯·凯梅尔:
线性类型、近似和拓扑。 110-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Edalat94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Edalat94
阿巴斯·艾达拉特:
领域理论与集成。 115-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Clarke94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Clarke94
埃德蒙·克拉克:
有限状态并发系统的自动验证。 126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Charatonik公司P94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CharatonikP94
维托尔德·查拉托尼克,莱泽克·帕霍尔斯基:
负集约束与等式。 128-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Stefansson公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Stefansson94
贾坦·斯特芬森（Kjartan Stefánsson）:
具有负约束的集约束系统是NEXPTIME完备的。 137-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/安达信SW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AndersenSW94
亨利克·赖夫·安徒生,科林·斯特林,格林·温斯克:
模态微积分的合成证明系统。 144-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/张SS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ZhangSS94
张世培,奥列格·索科尔斯基,斯科特·斯莫尔卡:
模态微积分中模型检验的并行复杂性。 154-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Hemaspandra94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Hemaspaandra94
伊迪丝·赫玛斯潘德拉:
模态逻辑的复杂性转移（扩展抽象）。 164-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Wells公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Wells94
J.B.威尔斯:
二阶lambda-Calculus中的可类型性和类型检查是等价的和不可确定的。 176-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Palsberg94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Palsberg94
延斯·帕尔斯伯格:
对象类型的有效推断。 186-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PipernoR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PipernoR94
阿道夫·皮佩尔诺,西蒙娜·隆奇·德尔拉·罗卡:
类型推理和可拓性。 196-205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HofmannS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HofmannS94
马丁·霍夫曼,托马斯·斯特里彻:
Groupoid模型拒绝身份证明的唯一性。 208-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BaazFL94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BaazFL94
马提亚斯·巴兹,克里斯蒂安·弗缪勒（Christian G.Fermüller）,亚历山大·莱奇:
通过结构子句形式转换实现证明长度的非基本加速。 213-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ImpagliazzoPU94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ImpagliazzoPU94
罗素·英帕利亚佐,托尼安·皮塔西,阿拉斯代尔·厄克哈特:
树状切割平面的上下限证明。 220-228
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AbiteboulPV94配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbiteboulPV94
谢尔盖·阿比特布尔,克里斯托斯·帕帕迪米特里奥,维克托·维亚努:
反思性关系机器的力量。 230-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MedinaI94文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MedinaI94
J.安东尼奥·麦地那,尼尔·伊梅尔曼:
NP-完全性的句法表征。 241-250
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Stark94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Stark94
罗伯特·施塔克:
Prolog选择规则的声明语义。 252-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BrogiT94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BrogiT94
安东尼奥·布罗吉,弗朗科·图里尼:
程序代数中的元逻辑语义。 262-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Miller公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Miller94
戴尔·米勒:
多结论元逻辑。 272-281
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LincolnS94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LincolnS94
帕特里克·林肯,纳塔拉詹·尚卡尔:
一阶线性逻辑和其他无割序列演算中的证明搜索。 282-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Loader94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Loader94
拉尔夫装载机:
线性逻辑、总体性和完全完备性。 292-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Urzyczyn94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Urzyczyn94
巴维尔·乌尔兹琴:
交叉口类型的空置问题。 300-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PlotkinAC94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PlotkinAC94
戈登·普洛金,马丁·阿巴迪,鲁卡·凯德利:
子类型和参数。 310-319
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GeuversW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GeuversW94
赫尔曼·杰弗斯,本杰明·沃纳:
表达型系统的Church-Rosser性质及其对元理论研究的影响。 320-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AbadiC94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbadiC94
马丁·阿巴迪,鲁卡·凯德利:
对象类型的语义。 332-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Reddy94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Reddy94
Uday S.Reddy公司:
被动和独立。 342-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Moggi94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Moggi94
尤金尼奥·莫吉:
评估逻辑的通用语义。 353-362
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/罗宾逊R94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/RobinsonR94
埃德蒙·罗宾逊,朱塞佩·罗索里尼:
自反图和参数多态。 364-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BrownH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BrownH94
凯珞琳·布朗,格雷厄姆·赫顿:
类别、寓言和电路设计。 372-381
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BachmairG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BachmairG94
利奥·巴赫迈尔,哈拉尔德·甘津格:
传递关系的重写技巧。 384-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/1994年3月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Marche94
克劳德·马奇:
规范化重写和规范化完成。 394-403
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BarbaneraFG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BarbaneraFG94
Franco Barbanera公司,玛丽贝尔·费尔南德斯,赫尔曼·杰弗斯:
代数lambda-Cube中强归一化和合流的模性。 406-415
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AriolaK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AriolaK94
泽娜·阿里奥拉,简·威廉·克洛普:
循环Lambda图重写。 416-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AspertiDLR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AspertiDLR94
安德烈亚·阿斯佩蒂,文森特·达诺斯,科西莫·拉伊夫,劳伦特·雷格尼尔:
lambda-calculus中的路径。 426-436
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Thiagarajan94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Thiagarajan94
P.S.Thiagarajan先生:
线性时间时序逻辑的一种基于迹的扩展。 438-447
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Meyden94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Meyden94
罗恩·范德梅登:
具有完美回忆的分布式系统中的知识和时间公理。 448-457
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ChangMP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ChangMP94
爱德华·Y·张,佐哈尔·曼纳,阿米尔·普努利:
实时系统的组成验证。 458-465
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ArieliA94文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ArieliA94
奥弗·阿里埃利,阿诺·阿夫伦:
逻辑双参数和不一致数据。 468-476
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Ben-DavidB94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Ben-DavidB94
谢本·达维德,雷切尔·本·埃利亚胡:
主观默认推理的模态逻辑。 477-486
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Pentus公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Pentus94
马蒂·彭特斯:
兰贝克微积分的语言完整性。 487-496
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/古堡94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Goubault94网址
让·古堡:
刚性E-Unifibility是DEXPTIME-Complete。 498-506
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Prehofer94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Prehofer94
克里斯蒂安·普雷霍弗:
更高阶变窄。 507-516

管理网站设置

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