搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场地搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
1991 彼得·阿策尔 :
术语声明逻辑和广义复合词。 低收入国家 1991 : 22-30 法比奥·阿莱西 , 弗兰科·巴巴内拉 :
面向QUEST语言的语义。 低收入国家 1991 : 12-21 菲利普·奥德保 :
构造微积分中的部分对象。 低收入国家 1991 : 86-95 阿诺·阿夫伦 , 约拉姆·赫什菲尔德 :
关于一阶数据库查询语言。 低收入国家 1991 : 226-231 乌尔里希·伯杰 , 赫尔穆特·施维赫滕贝格 :
类型lambda-calculus的求值函数的逆。 低收入国家 1991 : 203-211 弗兰克·S·德·波尔 :
用于动态流程创建的合成证明系统。 低收入国家 1991 : 399-405 玛丽亚·路易莎·博内 , 塞缪尔·巴斯 :
关于扣除规则和证明线数量。 低收入国家 1991 : 286-297 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
顺序性和强稳定性。 低收入国家 1991 : 138-145 胡安尼托·卡米莱里 , 格林·温斯克 :
具有优先选择权的CCS。 低收入国家 1991 : 246-255 兰斯·克莱维兰 , 艾米·兹瓦利科 :
实时测试理论。 低收入国家 1991 : 110-119 阿戈斯蒂诺·科尔特斯 , 吉尔伯托·菲尔 , 威廉·温斯伯勒 :
重温道具:命题公式作为基础分析的抽象领域。 低收入国家 1991 : 322-327 托姆·W·福吕维思 , 胡德·沙皮罗 , 莫舍·瓦尔迪 , 埃亚尔·亚德尼 :
逻辑程序作为逻辑程序的类型。 低收入国家 1991 : 300-309 帕特丽斯·戈德弗里德 , 皮埃尔·沃尔珀 :
模型检查的部分方法。 低收入国家 1991 : 406-415 约书亚·S·霍达斯 , 戴尔·米勒 :
直觉主义线性逻辑片段中的逻辑编程。 低收入国家 1991 : 32-42 道格拉斯·J·豪 :
论马丁·洛夫类型理论中的计算开放性。 低收入国家 1991 : 162-172 兴启行 , 杰弗里·扎克 :
指针语义学,用内涵逻辑指称和去指称。 低收入国家 1991 : 127-136 哈迪·亨加 :
Hoare-style证明系统的复杂性界限。 低收入国家 1991 : 120-126 汉斯·海特尔 , 科林·斯特林 :
行动胜于言语:证明无语境过程的相似性。 低收入国家 1991 : 376-386 本特·琼森 , 金·古德斯特兰·拉森 :
概率过程的规范和细化。 低收入国家 1991 : 266-277 Jean-Pierre Jouannaud女士 , 冈田光弘 :
可执行高阶代数规范语言的计算模型。 低收入国家 1991 : 350-361 迈克尔·基弗 , 詹姆斯·吴 :
逻辑程序设计中类型和多态的一阶理论。 低收入国家 1991 : 310-321 尼尔斯·克拉伦德 , 德克斯特·科赞 :
拉宾测度及其在公平性和自动机理论中的应用。 低收入国家 1991 : 256-265 德克斯特·科赞 :
Kleene代数和正则事件代数的完备性定理。 低收入国家 1991 : 214-225 伊夫·拉丰 , 托马斯·斯特里彻 :
线性逻辑游戏语义。 低收入国家 1991 : 43-50 丹尼尔·利万特 :
计算可行性的基本描述。 低收入国家 1991 : 2-11 帕特里克·林肯 , 安德烈·塞德洛夫 , 纳塔拉詹·尚卡尔 :
线性化直觉含义。 低收入国家 1991 : 51-62 帕斯奎尔·马拉卡里亚 , 劳伦特·雷格尼尔 :
算子代数中lambda-calculus解释的一些结果。 低收入国家 1991 : 63-72 纳克斯·保罗·门德勒 :
谓词型宇宙与本原递归。 低收入国家 1991 : 173-184 切坦·R·默西 :
经典证明的评价语义学。 低收入国家 1991 : 96-107 托比亚斯·尼普科 :
高阶关键对。 低收入国家 1991 : 342-349