编辑配置文件(在新选项卡中打开) 安德烈·斯克洛夫 合著者距离 作者ID: 权杖(scedrov.andre) 发布方式: 安德烈·斯克洛夫;Scedrov,A。;安德烈·什切德洛夫;安德烈·斯克洛夫;什切德罗夫,A。;安德烈·斯克洛夫 更多。。。较少的 主页: https://www.cis.upenn.edu/~斯克德罗夫/ 外部链接: MGP公司·ORCID公司·数据库许可证 已编制索引的文档: 109出版物自1981年以来,包括3本书和1个附加arXiv预打印 13作为编辑的贡献 传记参考文献: 3出版物 合著者: 77位合著者具有103联合出版物 1794合作作者 全部的 前5名合著者 19 单作者的 28 Max Iosifovich,卡诺维奇 19 约翰·米切尔(John C.Mitchell)。 17 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 12 Vivek Nigam先生 10 帕特里克·D·林肯。 8 塔贾纳Ban Kirigin 8 哈维·弗里德曼。 8 卡罗琳·塔尔科特。 6 伊利亚诺·塞维萨托 6 吉安·伊夫·吉拉德 6 冈田光弘 5 安德烈亚斯·拉斐尔 5 菲利普·斯科特。 4 彼得·弗雷德。 4 阿吉思·拉马纳森 三 吉尔·巴特 三 埃本·布莱斯德尔 三 瓦尔省布雷祖·坦南 三 罗希特·查达 三 蒂埃里·科昆德 三 Ruy JoséGuerra Barretto De Queiroz 三 爱德华·法格霍姆 三 达里奥·菲奥雷 三 卡尔·A·冈特。 三 亚伦·D·贾加德。 三 Loo,Boon Thau先生 三 伊莱恩·皮门特尔 三 Benedikt施密特 三 Natarajan Shankar 三 瓦妮莎·乔伊·提格 2 穆萨布·A·阿尔图尔基。 2 迈克尔·巴克斯 2 贝克列米舍夫,列夫·D。 2 卢卡·卡德利 2 亚历山大·格尼(Alexander J.T.Gurney)。 2 西蒙·马提尼 2 格林·莫里尔(Glyn V.Morrill)。 2 兰科·佩罗维奇 2 维塔利·什马提科夫 2 蔡乔凯 2 克里斯托弗·沃尔斯塔德 2 王安多 1 佩德罗·阿德奥 1 E.S.班布里奇。 1 格尔盖·巴纳 1 迈克尔·比森。 1 斯蒂芬·布鲁克斯。 1 弗雷德里克·巴特勒 1 奥雷里奥·卡博尼 1 阿努帕姆·达塔 1 安特·德里克 1 Dennis M.德特克。 1 南希·杜金(Nancy A.Durgin)。 1 迈克尔·保罗·福曼 1 约翰·格雷(John W.Gray)。 1 Helle Hvid Hansen先生 1 利奥·A·哈灵顿。 1 乔纳森·赫尔佐格。 1 贾利民 1 阿希姆·荣格 1 史蒂夫·克莱默 1 伊夫·拉丰特 1 戴尔·艾伦·米勒 1 Mislove,Michael W。 1 迈克尔·达尔文·莫利 1 戈帕兰·纳达图尔 1 尼禄,阿尼尔 1 弗兰克·芬宁 1 本杰明·皮尔斯。 1 杰弗里·布赖恩·雷梅尔 1 菲利普·斯考克罗夫特 1 斯蒂芬·辛普森。 1 迈赫迪·提布奇 1 德田秀之 1 理查德·韦斯利(Richard E.Vesley)。 1 Akinori Yonezawa 1 沃尔夫冈·齐勒 全部的 前5名系列 13 纯逻辑与应用逻辑年鉴 10 理论计算机科学 7 信息与计算 4 纯代数与应用代数杂志 三 符号逻辑杂志 三 理论计算机科学电子笔记 2 剑桥哲学学会数学进展杂志 2 数学进展 2 美国数学学会回忆录 2 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 2 符号逻辑公报 2 计算机语言、系统和结构 2 计算机科学课堂讲稿 1 物流与物流建筑 1 计算机与系统科学杂志 1 数学手稿 1 密码学杂志 1 欧洲理论计算机科学协会(EATCS)公报 1 逻辑与计算杂志 1 逻辑、语言与信息杂志 1 IGPL逻辑杂志 1 逻辑与代数程序设计杂志 1 当代数学 1 北荷兰数学图书馆 1 逻辑与数学基础研究 全部的 前5名领域 87 数学逻辑和基础(03-XX) 64 计算机科学(68至XX) 20 范畴理论;同调代数(18-XX) 18 信息与通信理论、电路(94-XX) 11 总体主题;集合(00-XX) 三 一般拓扑结构(54至XX) 2 历史和传记(01-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 实际功能(26年X月X日) 1 功能分析(46倍X倍) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 97出版物有1147年被引用中的次892文件 引用人▼ 年份▼ 类别、寓言。 Zbl 0698.18002号 彼得·弗雷德。;安德烈·斯克洛夫 212 1990 统一证明是逻辑编程的基础。 Zbl 0721.03037号 戴尔·米勒;戈帕兰·纳达图尔;弗兰克·芬宁;安德烈·斯克洛夫 107 1991 命题线性逻辑的决策问题。 Zbl 0768.03003号 帕特里克·林肯;约翰·米切尔;安德烈·斯克洛夫;Natarajan Shankar 72 1992 用于安全协议分析的串空间和多集重写的比较。 Zbl 1033.94513号 Cervesato,I。;北卡罗来纳州杜尔金。;林肯,P。;Mitchell,J。;A.斯克洛夫。 58 2003 有界线性逻辑:多项式时间可计算性的模块化方法。 Zbl 0788.03005号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 56 1992 哈维·弗里德曼对数学基础的研究。 Zbl 0588.03001号 51 1985 功能多态性。 Zbl 0717.18005号 E.S.班布里奇。;弗雷德·P·J。;A.斯克洛夫。;P.J.斯科特。 48 1990 继承作为隐式强制。 Zbl 0799.68129号 布雷祖·坦南,瓦尔;蒂埃里·科昆德;卡尔·A·冈特。;安德烈·斯克洛夫 27 1991 带有子类型的系统\(F\)的扩展。 Zbl 0805.03008号 卢卡·卡德利;西蒙·马蒂尼;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 26 1994 实现性和多态类型的分类方法。 Zbl 0651.18004号 奥雷里奥·卡博尼;彼得·弗雷德。;安德烈·斯克洛夫 24 1988 直觉主义集合论中缺乏可定义的证据和可证明的递归函数。 Zbl 0585.03025号 哈维·弗里德曼。;安德烈·什切德洛夫 22 1985 拓扑和有限力的分类。 Zbl 0516.03042号 安德烈亚斯·布拉斯;安德烈·斯克洛夫 17 1983 用于密码协议分析的概率多项式时间过程演算。 Zbl 1088.68126号 约翰·米切尔(John C.Mitchell)。;阿吉思·拉马纳森;安德烈·斯克洛夫;瓦妮莎·提格 17 2006 关于sconing和relator的注释。 Zbl 0795.03100号 约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 17 1993 范式和无裁剪证明是自然变换。 Zbl 0753.03024号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 16 1992 通过线性逻辑(完整版)关联基于状态和基于进程的并发。 Zbl 1181.68168号 伊利亚诺·塞维萨托;安德烈·斯克洛夫 16 2009 非交换线性逻辑中的次指数。 Zbl 1456.03099号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 15 2019 继承和显式强制。 Zbl 0716.68012号 Breazu-Tannen,V。;Coquand,T。;冈特,C.A。;A.斯克洛夫。 14 1989 用于密码协议分析的概率多项式时间演算(初步报告)。 Zbl 1260.68109号 Mitchell,J。;A.拉马纳森。;A.斯克洛夫。;提格,V。 12 2001 概率多项式时间等价和安全性分析。 Zbl 0976.94029号 林肯,P。;J·米切尔。;米切尔,M。;A.斯克洛夫。 11 1999 存在密钥循环时的形式加密的可靠性。 Zbl 1487.94097号 佩德罗·阿德奥;格尔盖·巴纳;乔纳森·赫尔佐格;安德烈·斯克洛夫 10 2005 二阶乘法线性逻辑的不可判定性。 Zbl 0852.03003号 伊夫·拉丰特;安德烈·斯克洛夫 9 1996 具有相关形式的Lambek演算的不可判定性。 Zbl 1478.03043号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 9 2016 协作系统中的有限内存Dolev-Yao对手。 Zbl 1360.68860号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;尼甘,维韦克;安德烈·斯克洛夫 9 2014 网络协议安全分析的概率互模拟和等价性。 Zbl 1126.68510号 阿吉思·拉马纳森;约翰·米切尔;安德烈·斯克洛夫;瓦妮莎·提格 9 2004 类型II配对中保持签名的强最优结构:合成和下限。 Zbl 1345.94036号 吉尔·巴特;爱德华·法格霍姆;达里奥·菲奥雷;安德烈·斯克洛夫;Benedikt施密特;迈赫迪·提布奇 9 2015 通用组模型中加密假设的自动分析。 兹比尔1343.94040 吉尔·巴特;爱德华·法格霍姆;达里奥·菲奥雷;Mitchell,John约翰;安德烈·斯克洛夫;Benedikt施密特 8 2014 弗雷德的选择公理独立性模型。 Zbl 0687.03031号 安德烈亚斯·布拉斯;安德烈·斯克洛夫 8 1989 轻型线性逻辑的相位语义。 Zbl 1029.03052号 马克斯·卡诺维奇。;冈田三弘;安德烈·斯克洛夫 8 2003 线性逻辑的简要指南。 Zbl 0755.03005号 A.斯克洛夫。 7 1990 丘奇的论文、连续性和集合论。 Zbl 0599.03060号 M·比森。;什切德罗夫,A。 7 1984 Kerberos 5的形式化分析。 Zbl 1153.94448号 弗雷德里克·巴特勒;伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯克洛夫;克里斯托弗·沃尔斯塔德 7 2006 破坏和修复公钥Kerberos。 Zbl 1147.68393号 伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯克洛夫;蔡乔凯;克里斯托弗·沃尔斯塔德 7 2008 受法规约束的活动的改写框架和逻辑。 Zbl 1364.68333号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;佩罗维奇,兰科 7 2017 签约、乐观和优势。 Zbl 1274.94132号 罗希特·查达;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫;维塔利·什马提科夫 7 2003 强制和分类地形。 Zbl 0536.03048号 安德烈·什切德洛夫 6 1984 多方合同签订的形式分析。 Zbl 1134.94372号 罗希特·查达;史蒂夫·克莱默;安德烈·斯克洛夫 6 2006 概率多项式过程演算中密码协议的组成。 Zbl 1274.94097号 马特乌斯,P。;J·米切尔。;A.斯克洛夫。 6 2003 保密合作规划。 Zbl 1229.90072号 马克斯·卡诺维奇;保罗·罗;安德烈·斯克洛夫 6 2011 具有交换和非交换子指数的逻辑框架。 Zbl 1508.03092号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 6 2018 游戏和不可能实现的理想功能。 Zbl 1112.94008号 阿努帕姆·达塔;安特·德里克;约翰·米切尔(John C.Mitchell)。;阿吉思·拉马纳森;安德烈·斯克洛夫 5 2006 有界线性逻辑:多项式时间可计算性的模块化方法。扩展摘要。 Zbl 0773.03007号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 5 1990 线性化直觉暗示。 Zbl 0767.03006号 帕特里克·林肯;安德烈·斯克洛夫;Natarajan Shankar 5 1993 “世界上最简单的选择公理”失败了。 兹比尔0499.03048 M.P.福曼。;A.斯克洛夫。 5 1982 一致性和独立性导致了直觉集理论。 兹伯利0463.03033 安德烈·斯克洛夫 5 1981 算术超限归纳和递归良序。 Zbl 0585.03031号 哈维·弗里德曼。;安德烈·什切德洛夫 5 1985 轻型线性逻辑的相位语义。 Zbl 0911.68122号 马克斯·卡诺维奇。;冈田三弘;安德烈·斯克洛夫 5 1997 带有子类型的系统\(F\)的扩展。 Zbl 1496.03058号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 5 1991 软次指数和多路复用。 Zbl 07614531号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 5 2020 关于弗里德曼斜线和弗雷德封面的注释。 Zbl 0529.03039号 安德烈·斯克洛夫;菲利普·斯科特。 4 1982 直觉集合论中的大集合。 兹伯利0544.03031 哈维·弗里德曼;安德烈·什切德洛夫 4 1984 连续矩阵的对角化作为直觉域的表示。 Zbl 0609.03021号 安德烈·斯克洛夫 4 1986 指数模态存在时的Lambek限制。 Zbl 1476.03026号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 4 2016 具有次指数型和括号型的Lambek演算的不可判定性。 Zbl 1495.03036号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 4 2017 定时多集重写和对时间敏感的分布式系统的验证。 Zbl 1433.68058号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;尼甘,维韦克;安德烈·斯克洛夫;卡罗琳·塔尔科特 4 2016 带有界阶括号的Lambek演算的多项式时间算法。 Zbl 1434.03076号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;格林·莫里尔;安德烈·斯克洛夫 4 2017 乘法加法Lambek演算的复杂性:25年后。 Zbl 1530.03091号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 4 2019 Lambek演算的L模型和R模型富含加法和乘法单位。 Zbl 1530.03160号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 4 2019 马尔可夫原理的弱化。 Zbl 0533.03033号 什切德罗夫,A。;韦斯利,R。 三 1983 设置具有依赖选择的直觉主义理论的存在性。 Zbl 0539.03039号 哈维·弗里德曼。;安德烈·什切德洛夫 三 1983 将哥德尔的模态解释扩展到类型论和集合论。 Zbl 0569.03025号 安德烈·什切德洛夫 三 1985 具有集合的认知集合论的一些性质。 Zbl 0642.03031号 安德烈·斯克洛夫 三 1986 多项式分级逻辑。I.系统T的分级版本。 Zbl 0717.03008号 A.内罗德。;雷梅尔,J.B。;A.斯克洛夫。 三 1989 关于直觉集合论的定量逻辑。 Zbl 0595.03057号 哈维·弗里德曼。;安德烈·什切德洛夫 三 1986 直觉理论和自由范畴的Lindenbaum代数。 Zbl 0624.03045号 彼得·弗雷德;哈维·弗里德曼;安德烈·斯克洛夫 三 1987 布尔分类拓扑。 Zbl 0504.03030号 安德烈亚斯·布拉斯;安德烈·斯克洛夫 三 1983 重新审视规范化。 Zbl 0693.03006号 安德烈·斯克洛夫 三 1989 没有模态的一阶线性逻辑是NEXPTIME难以实现的。 Zbl 0824.68023号 林肯,P。;A.斯克洛夫。 三 1994 基本Kerberos和公钥Kerberos的加密安全证明。 Zbl 1487.94149号 巴克斯,M。;Cervesato,I。;贾加德,A.D。;A.斯克洛夫。;蔡,J.-K。 三 2006 在指数模态存在的情况下,协调Lambek的限制、切割消除和替代。 Zbl 1515.03220号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 三 2020 受法规约束的活动的改写框架。 Zbl 1437.68082号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 三 2012 Kleene可计算泛函和高阶存在性。 Zbl 0647.03048号 安德烈·斯克洛夫 2 1988 连续性原理存在下扇形定理的独立性。 Zbl 0529.03038号 安德烈·斯克洛夫 2 1982 更正为“具有依赖选择的直觉主义理论的存在性”。 兹比尔0539.03040 弗里德曼,H.M。;什切德罗夫,A。 2 1984 构造分析和递归可实现拓扑中的微分方程。 Zbl 0539.03041号 安德烈·什切德洛夫 2 1984 关于二阶直觉命题演算的一些非经典推广。 Zbl 0569.03026号 安德烈·什切德洛夫 2 1984 增量维护分布式逻辑程序。 Zbl 1248.68129号 Vivek Nigam先生;贾利民;Loo,Boon Thau先生;安德烈·斯克洛夫 2 2012 有限内存协议。 Zbl 1308.68055号 马克斯·卡诺维奇;塔贾纳·班·基里金;Vivek Nigam先生;安德烈·斯克洛夫 2 2014 多态类型指南。 Zbl 0706.03015号 安德烈·斯克洛夫 2 1990 Lambek演算的一些扩展的语言模型。 Zbl 07540282号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 2 2022 关于时间敏感分布式系统验证的复杂性。 Zbl 1498.68161号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特 2 2021 带括号形式的Lambek演算的括号归纳法。 Zbl 1512.03030号 格林·莫里尔;斯捷潘·库兹涅佐夫;马克斯·卡诺维奇;安德烈·斯克洛夫 2 2018 具有次指数和括号形式的乘法加法Lambek演算。 兹比尔1496.03087 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 2 2021 随机交互和线性逻辑。 Zbl 0829.03032号 帕特里克·D·林肯。;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 1 1995 签约、乐观和优势。 Zbl 1078.68029号 罗希特·查达;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫;维塔利·什马提科夫 1 2005 线性逻辑证明游戏和优化。 Zbl 0862.03023号 帕特里克·D·林肯。;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 1 1996 可计算分析中某些可证有限算法长度的显式上界不可能。 Zbl 0644.03035号 安德烈·斯克洛夫 1 1986 通过线性逻辑关联基于状态和基于进程的并发。 Zbl 1262.68136号 伊利亚诺·塞维萨托;安德烈·斯克洛夫 1 2006 直觉上可证明的递归有序。 Zbl 0615.03046号 哈维·弗里德曼。;安德烈·斯克洛夫 1 1986 将集合论的sheaf模型嵌入到具有内部算子的布尔值置换模型中。 Zbl 0634.03051号 安德烈·斯克洛夫 1 1986 计算机科学和逻辑的类别。1987年6月14日至20日(科罗拉多大学博尔德分校)在国家科学基金会的支持下举行的AMS-IMS-SIAM联合夏季研究会议记录。 Zbl 0667.00009 1 1989 线性逻辑与计算:综述。 Zbl 0828.03004号 安德烈·斯克洛夫 1 1995 线性逻辑证明游戏的优化复杂性。 Zbl 0951.03056号 帕特里克·D·林肯。;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 1 1999 编程语义的数学基础。1999年4月28日至5月1日,路易斯安那州新奥尔良市杜兰大学第十五届会议记录。 Zbl 0921.00026号 1 1999 二阶线性逻辑的决策问题。 Zbl 0898.03005号 林肯,P.D。;A.斯克洛夫。;Shankar,北卡罗来纳州。 1 1997 可决定的小滑轮。 Zbl 0672.03046号 安德烈亚斯·布拉斯;安德烈·斯克洛夫 1 1986 非关联、非交换的多模态线性逻辑。 Zbl 07628203号 埃本·布莱斯德尔;马克斯·卡诺维奇;库兹涅佐夫(Stepan L.Kuznetsov)。;伊莱恩·皮门特尔;安德烈·斯克洛夫 1 2022 Lambek演算的一些扩展的语言模型。 Zbl 07540282号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 2 2022 非关联、非交换的多模态线性逻辑。 Zbl 07628203号 埃本·布莱斯德尔;马克斯·卡诺维奇;库兹涅佐夫(Stepan L.Kuznetsov)。;伊莱恩·皮门特尔;安德烈·斯克洛夫 1 2022 关于时间敏感分布式系统验证的复杂性。 兹比尔1498.68161 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特 2 2021 具有次指数和括号形式的乘法加法Lambek演算。 Zbl 1496.03087号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 2 2021 软次指数和多路复用。 Zbl 07614531号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;尼甘,维韦克;安德烈·斯克洛夫 5 2020 调和Lambek的限制、削减和指数形式下的替代。 Zbl 1515.03220号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 三 2020 非交换线性逻辑中的次指数。 Zbl 1456.03099号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 15 2019 乘法加法Lambek演算的复杂性:25年后。 Zbl 1530.03091号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 4 2019 Lambek演算的L模型和R模型富含加法和乘法单位。 Zbl 1530.03160号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 4 2019 具有交换和非交换子指数的逻辑框架。 Zbl 1508.03092号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 6 2018 带括号形式的Lambek演算的括号归纳法。 Zbl 1512.03030号 格林·莫里尔;斯捷潘·库兹涅佐夫;马克斯·卡诺维奇;安德烈·斯克洛夫 2 2018 受法规约束的活动的改写框架和逻辑。 Zbl 1364.68333号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 7 2017 具有次指数型和括号型的Lambek演算的不可判定性。 Zbl 1495.03036号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 4 2017 带有界阶括号的Lambek演算的多项式时间算法。 Zbl 1434.03076号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;格林·莫里尔;安德烈·斯克洛夫 4 2017 具有相关形式的Lambek演算的不可判定性。 Zbl 1478.03043号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 9 2016 指数模态存在时的Lambek限制。 Zbl 1476.03026号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫 4 2016 时间多集重写和对时间敏感的分布式系统的验证。 Zbl 1433.68058号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特 4 2016 类型II配对中保持签名的强最优结构:合成和下限。 Zbl 1345.94036号 吉尔·巴特;爱德华·法格霍姆;达里奥·菲奥雷;安德烈·斯克洛夫;Benedikt施密特;迈赫迪·提布奇 9 2015 协作系统中的有限内存Dolev-Yao对手。 Zbl 1360.68860号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫 9 2014 通用组模型中加密假设的自动分析。 Zbl 1343.94040号 吉尔·巴特;爱德华·法格霍姆;达里奥·菲奥雷;约翰·米切尔;安德烈·斯克洛夫;Benedikt施密特 8 2014 有界内存协议。 Zbl 1308.68055号 马克斯·卡诺维奇;塔贾纳·班·基里金;尼甘,维韦克;安德烈·斯克洛夫 2 2014 受法规约束的活动的改写框架。 Zbl 1437.68082号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 三 2012 增量维护分布式逻辑程序。 Zbl 1248.68129号 Vivek Nigam先生;贾利民;Loo,Boon Thau先生;安德烈·斯克洛夫 2 2012 保密合作规划。 Zbl 1229.90072号 马克斯·卡诺维奇;保罗·罗;安德烈·斯克洛夫 6 2011 通过线性逻辑(完整版)关联基于状态和基于进程的并发。 Zbl 1181.68168号 伊利亚诺·塞维萨托;安德烈·斯克洛夫 16 2009 破坏和修复公钥Kerberos。 兹比尔1147.68393 伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯克洛夫;蔡乔凯;克里斯托弗·沃尔斯塔德 7 2008 用于密码协议分析的概率多项式时间过程演算。 Zbl 1088.68126号 约翰·米切尔(John C.Mitchell)。;阿吉思·拉马纳森;安德烈·斯克洛夫;瓦妮莎·提格 17 2006 Kerberos 5的形式化分析。 Zbl 1153.94448号 弗雷德里克·巴特勒;伊利亚诺·塞维萨托;亚伦·贾加德。;安德烈·斯克洛夫;克里斯托弗·沃尔斯塔德 7 2006 多方合同签订的形式分析。 Zbl 1134.94372号 查达,罗希特;史蒂夫·克莱默;安德烈·斯克洛夫 6 2006 游戏和不可能实现的理想功能。 Zbl 1112.94008号 阿努帕姆·达塔;安特·德里克;约翰·米切尔(John C.Mitchell)。;阿吉思·拉马纳森;安德烈·斯克洛夫 5 2006 基本Kerberos和公钥Kerberos的加密安全证明。 Zbl 1487.94149号 巴克斯,M。;Cervesato,I。;贾加德,A.D。;A.斯克洛夫。;蔡,J.-K。 三 2006 通过线性逻辑关联基于状态和基于进程的并发。 Zbl 1262.68136号 伊利亚诺·塞维萨托;安德烈·斯克洛夫 1 2006 存在密钥循环时的形式加密的可靠性。 Zbl 1487.94097号 佩德罗·阿德奥;格尔盖·巴纳;乔纳森·赫尔佐格;安德烈·斯克洛夫 10 2005 合同签订、乐观和优势。 Zbl 1078.68029号 罗希特·查达;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫;维塔利·什马提科夫 1 2005 网络协议安全分析的概率互模拟和等价性。 Zbl 1126.68510号 阿吉思·拉马纳森;约翰·米切尔;安德烈·斯克洛夫;瓦妮莎·提格 9 2004 用于安全协议分析的串空间和多集重写的比较。 Zbl 1033.94513号 Cervesato,I。;北卡罗来纳州杜尔金。;林肯,P。;Mitchell,J。;A.斯克洛夫。 58 2003 轻型线性逻辑的相位语义。 Zbl 1029.03052号 马克斯·卡诺维奇。;冈田光弘;安德烈·斯克洛夫 8 2003 签约、乐观和优势。 Zbl 1274.94132号 罗希特·查达;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫;维塔利·什马提科夫 7 2003 概率多项式过程演算中密码协议的组成。 Zbl 1274.94097号 马特乌斯,P。;J·米切尔。;A.斯克洛夫。 6 2003 用于密码协议分析的概率多项式时间演算(初步报告)。 Zbl 1260.68109号 J·米切尔。;A.拉马纳森。;A.斯克洛夫。;提格,V。 12 2001 概率多项式时间等价与安全性分析。 Zbl 0976.94029号 林肯,P。;J·米切尔。;米切尔,M。;A.斯克洛夫。 11 1999 线性逻辑证明博弈的优化复杂性。 Zbl 0951.03056号 帕特里克·D·林肯。;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 1 1999 编程语义的数学基础。1999年4月28日至5月1日,路易斯安那州新奥尔良市杜兰大学第十五届会议记录。 Zbl 0921.00026号 1 1999 轻型线性逻辑的相位语义。 Zbl 0911.68122号 马克斯·卡诺维奇。;冈田三弘;安德烈·斯克洛夫 5 1997 二阶线性逻辑的判定问题。 Zbl 0898.03005号 林肯,P.D。;A.斯克洛夫。;Shankar,北卡罗来纳州。 1 1997 二阶乘法线性逻辑的不可判定性。 Zbl 0852.03003号 伊夫·拉丰特;安德烈·斯克洛夫 9 1996 线性逻辑验证游戏和优化。 Zbl 0862.03023号 帕特里克·D·林肯。;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 1 1996 随机交互和线性逻辑。 Zbl 0829.03032号 帕特里克·D·林肯。;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 1 1995 线性逻辑与计算:综述。 Zbl 0828.03004号 安德烈·斯克洛夫 1 1995 带有子类型的系统\(F\)的扩展。 Zbl 0805.03008号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 26 1994 没有模态的一阶线性逻辑是NEXPTIME难以实现的。 Zbl 0824.68023号 林肯,P。;A.斯克洛夫。 三 1994 关于sconing和relator的注释。 Zbl 0795.03100号 约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 17 1993 线性化直觉暗示。 Zbl 0767.03006号 帕特里克·林肯;安德烈·斯克洛夫;Natarajan Shankar 5 1993 命题线性逻辑的决策问题。 兹比尔0768.03003 帕特里克·林肯;约翰·米切尔;安德烈·斯克洛夫;Natarajan Shankar 72 1992 有界线性逻辑:多项式时间可计算性的模块化方法。 Zbl 0788.03005号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 56 1992 范式和无裁剪证明是自然变换。 Zbl 0753.03024号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 16 1992 统一证明是逻辑编程的基础。 Zbl 0721.03037号 戴尔·米勒;戈帕兰·纳达图尔;弗兰克·芬宁;安德烈·斯克洛夫 107 1991 继承作为隐式强制。 Zbl 0799.68129号 瓦尔省布雷祖·坦南;蒂埃里·科昆德;卡尔·A·冈特。;安德烈·斯克洛夫 27 1991 带有子类型的系统\(F\)的扩展。 Zbl 1496.03058号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 5 1991 类别、寓言。 兹比尔0698.18002 彼得·弗雷德。;安德烈·斯克洛夫 212 1990 功能多态性。 Zbl 0717.18005号 E.S.班布里奇。;弗雷德·P·J。;A.斯克洛夫。;P.J.斯科特。 48 1990 线性逻辑的简要指南。 Zbl 0755.03005号 A.斯克洛夫。 7 1990 有界线性逻辑:多项式时间可计算性的模块化方法。扩展摘要。 Zbl 0773.03007号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 5 1990 多态类型指南。 Zbl 0706.03015号 安德烈·斯克洛夫 2 1990 继承和显式强制。 Zbl 0716.68012号 布雷祖·坦南。;Coquand,T。;冈特,C.A。;A.斯克洛夫。 14 1989 弗雷德的选择公理独立性模型。 Zbl 0687.03031号 安德烈亚斯·布拉斯;安德烈·斯克洛夫 8 1989 多项式分级逻辑。I.系统T的分级版本。 Zbl 0717.03008号 A.内罗德。;雷梅尔,J.B。;A.斯克洛夫。 三 1989 重新审视正常化。 Zbl 0693.03006号 安德烈·斯克洛夫 三 1989 计算机科学和逻辑的类别。1987年6月14日至20日(科罗拉多大学博尔德分校)在国家科学基金会的支持下举行的AMS-IMS-SIAM联合夏季研究会议记录。 兹比尔0667.00009 1 1989 实现性和多态类型的分类方法。 Zbl 0651.18004号 奥雷里奥·卡博尼;彼得·弗雷德。;安德烈·斯克洛夫 24 1988 Kleene可计算泛函和高阶存在性。 Zbl 0647.03048号 安德烈·斯克洛夫 2 1988 直觉主义理论和自由范畴的Lindenbaum代数。 Zbl 0624.03045号 彼得·弗雷德;哈维·弗里德曼;安德烈·斯克洛夫 三 1987 连续矩阵的对角化作为直觉域的表示。 Zbl 0609.03021号 安德烈·斯克洛夫 4 1986 具有集合的认知集合论的一些性质。 Zbl 0642.03031号 安德烈·斯克洛夫 三 1986 直觉集合论的量化逻辑。 Zbl 0595.03057号 哈维·弗里德曼。;安德烈·什切德洛夫 三 1986 可计算分析中某些可证有限算法长度的显式上界不可能。 Zbl 0644.03035号 安德烈·斯克洛夫 1 1986 直觉上可证明的递归有序。 兹伯利0615.03046 哈维·弗里德曼。;安德烈·斯克洛夫 1 1986 将集合论的层模型嵌入到具有内部算子的布尔值置换模型中。 Zbl 0634.03051号 安德烈·斯克洛夫 1 1986 可决定的小滑轮。 Zbl 0672.03046号 安德烈亚斯·布拉斯;安德烈·斯克洛夫 1 1986 哈维·弗里德曼对数学基础的研究。 Zbl 0588.03001号 51 1985 直觉主义集合论中缺乏可定义的证据和可证明的递归函数。 Zbl 0585.03025号 哈维·弗里德曼。;安德烈·什切德洛夫 22 1985 算术超限归纳和递归井序。 Zbl 0585.03031号 哈维·弗里德曼。;安德烈·什切德洛夫 5 1985 将哥德尔的模态解释扩展到类型论和集合论。 Zbl 0569.03025号 安德烈·什切德洛夫 三 1985 丘奇的论文、连续性和集合论。 Zbl 0599.03060号 M·比森。;什切德罗夫,A。 7 1984 强制和分类拓扑。 Zbl 0536.03048号 安德烈·什切德洛夫 6 1984 直觉集合论中的大集合。 Zbl 0544.03031号 哈维·弗里德曼;安德烈·什切德洛夫 4 1984 更正为“具有依赖选择的直觉主义理论的存在性”。 Zbl 0539.0304号 弗里德曼,H.M。;什切德罗夫,A。 2 1984 构造分析和递归可实现拓扑中的微分方程。 Zbl 0539.03041号 安德烈·什切德洛夫 2 1984 关于二阶直觉命题演算的一些非经典扩展。 Zbl 0569.03026号 安德烈·什切德洛夫 2 1984 拓扑和有限力的分类。 Zbl 0516.03042号 安德烈亚斯·布拉斯;安德烈·斯克洛夫 17 1983 马尔可夫原理的弱化。 Zbl 0533.03033号 什切德罗夫,A。;韦斯利,R。 三 1983 设置具有依赖选择的直觉主义理论的存在性。 Zbl 0539.03039号 哈维·弗里德曼。;安德烈·什切德洛夫 三 1983 布尔分类拓扑。 Zbl 0504.03030号 安德烈亚斯·布拉斯;安德烈·斯克洛夫 三 1983 “世界上最简单的选择公理”失败了。 Zbl 0499.03048号 M.P.福曼。;A.斯克洛夫。 5 1982 关于弗里德曼斜线和弗雷德封面的注释。 Zbl 0529.03039号 安德烈·斯克洛夫;菲利普·斯科特。 4 1982 存在连续性原则时,风扇定理的独立性。 Zbl 0529.03038号 安德烈·斯克洛夫 2 1982 一致性和独立性导致了直觉集理论。 Zbl 0463.03033号 安德烈·斯克洛夫 5 1981 所有引用出版物 前5名被引用出版物 全部的 前5名967位作者引用 51 安德烈·斯克洛夫 23 Max Iosifovich,卡诺维奇 20 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 18 戴尔·艾伦·米勒 18 温特,迈克尔 14 约翰·米切尔(John C.Mitchell)。 14 Vivek Nigam先生 13 弗兰克·芬宁 12 川原康夫 11 迈克尔·拉特扬 10 伊莱恩·皮门特尔 10 菲利普·斯科特。 9 大卫·J·派姆。 8 迈克尔·巴克斯 8 安德烈亚斯·拉斐尔 8 伊利亚诺·塞维萨托 7 奥利维亚·卡拉梅尔 7 哈维·弗里德曼。 7 Hitoshi Furusawa 7 乔治·盖利 7 沃尔夫拉姆·卡尔 7 诺里希罗·卡米德 7 詹姆斯·利普顿(James B.Lipton)。 7 何塞·努诺·奥利维拉 6 马丁·阿巴迪 6 Cortier,Véronique公司 6 乌戈·达尔拉戈 6 斯特凡尼德劳恩 6 艾米·费尔蒂(Amy P.Felty)。 6 安东·弗伦德 6 沃尔特·古特曼 6 马丁·霍夫曼 6 帕特里克·D·林肯。 6 卡洛斯·奥拉特 6 保罗·皮斯通 6 Damien Pous 6 朱塞佩·罗索里尼 6 卡罗琳·塔尔科特。 5 塔贾纳Ban Kirigin 5 理查德·布鲁特(Richard F.Blute)。 5 卡斯滕·布茨 5 汉斯·海曼斯 5 罗斯·霍恩 5 帕特里夏·约翰 5 彼得·约翰斯通(Peter T.Johnstone)。 5 朱塞佩·隆戈 5 戈帕兰·纳达图尔 5 巴甫洛维奇,杜什科 5 本杰明·皮尔斯。 5 达娜·斯图尔特·斯科特 5 卢茨斯特拉汉堡 5 菲利普·李·沃德勒 5 安德烈亚斯·魏尔曼 5 张瑜 4 罗兰·贝克豪斯(Roland C.Backhouse)。 4 鲁道夫·伯哈默 4 奥雷里奥·卡博尼 4 卢卡·卡德利 4 考斯托夫·乔杜里 4 皮埃尔·卢伊斯·居里 4 de Freitas、Renata P。 4 彼得·弗雷德。 4 安德鲁·盖切克 4 胜本,Shin-ya 4 拉尔夫·库斯特斯 4 罗伯特·卢巴斯基。 4 罗朝晖 4 Jean-Pierre奥利维尔 4 西尔万·施密茨 4 Paulo Augusto S.维洛索。 4 Sheila R.M.维洛索。 4 彼得鲁西奥·维亚纳 三 佩德罗·阿德奥 三 大卫·巴尔德 三 帕特里克·贝洛特 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 布鲁诺·布兰切特 三 菲利波·邦奇 三 爱德华多·博内利 三 多米尼克·伯恩 三 布鲁斯,金·B。 三 兰·卡内蒂 三 克里希南德·查特吉 三 科科特,J.罗宾B。 三 蒂埃里·科昆德 三 阿努帕姆·达塔 三 瓦莱里亚·德·佩瓦 三 阿米娜·杜马内 三 多米尼克·达根 三 塞德里克,福内特 三 傅鹏 三 吉安·伊夫·吉拉德 三 让·古鲍特·拉雷克 三 滨野、Masahiro 三 乔纳森·赫尔佐格。 三 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 三 罗斯蒂斯拉夫·霍奇克 三 海兰德·J·马丁·E·。 三 亚伦·D·贾加德。 三 叶卡捷琳娜·科门丹茨卡亚 …还有867位作者 全部的 前5名92篇连载文章中引用 114 理论计算机科学 75 纯逻辑与应用逻辑年鉴 47 信息与计算 43 纯代数与应用代数杂志 30 符号逻辑杂志 25 程序设计中的逻辑和代数方法杂志 23 自动推理杂志 23 MSCS公司。计算机科学中的数学结构 22 计算机科学中的逻辑方法 15 逻辑与代数程序设计杂志 12 应用的分类结构 11 模糊集与系统 11 Studia Logica公司 11 函数编程杂志 9 计算的形式方面 9 符号逻辑公报 8 信息科学 8 逻辑、语言与信息杂志 7 数学进展 7 密码学杂志 6 信息处理信件 6 代数杂志 5 数学逻辑档案 5 逻辑程序设计理论与实践 5 泛逻辑 4 圣母院形式逻辑杂志 4 应用非经典逻辑杂志 4 范畴的理论与应用 4 符号逻辑述评 三 代数通讯 三 代数与逻辑 三 代数普遍性 三 RAIRO公司。Informatique Théorique et Applications公司 三 高阶和符号计算 三 ACM计算逻辑事务 三 范畴和一般代数结构及其应用 2 信息学报 2 数学笔记 2 剑桥哲学学会数学进展杂志 2 组合理论杂志。B系列 2 计算机与系统科学杂志 2 哲学逻辑杂志 2 合成 2 拓扑及其应用 2 符号计算杂志 2 设计、代码和密码 2 拓扑程序 2 数学逻辑季刊(MLQ) 2 计算系统理论 2 托波伊 2 计算机语言、系统和结构 2 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 2 同伦及相关结构杂志 2 第比利斯数学杂志 1 人工智能 1 数学物理中的通信 1 离散数学 1 休斯顿数学杂志 1 国际理论物理杂志 1 数学物理杂志 1 莫斯科大学数学通报 1 几何与物理杂志 1 Annali di Matematica Pura ed Applicata公司。四分之一系列 1 功能分析杂志 1 数学经济学杂志 1 语言学与哲学 1 美国数学学会会刊 1 Quaestions数学 1 米兰费西科马特米蒂科研讨会(Rendiconti del Seminario Matemático e Fisico di Milano) 1 帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova 1 美国数学学会会刊 1 逻辑科公报 1 计算机程序设计科学 1 订单 1 数学和计算机建模 1 几何分析杂志 1 离散事件动态系统 1 Aequationes数学 1 美国数学学会公报。新系列 1 系统设计中的形式化方法 1 图表 1 Izvestiya:数学 1 武汉大学自然科学学报 1 数学逻辑杂志 1 多值逻辑与软计算杂志 1 应用逻辑杂志 1 物理学基础 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 逻辑与分析 1 交换代数期刊 1 RAIRO公司。理论信息学及其应用 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名32个字段中引用 519 数学逻辑和基础(03-XX) 466 计算机科学(68至XX) 195 范畴理论;同调代数(18-XX) 94 信息与通信理论、电路(94-XX) 53 阶、格、有序代数结构(06-XX) 18 一般拓扑结构(54至XX) 17 组合数学(05-XX) 15 一般代数系统(08-XX) 13 量子理论(81-XX) 12 博弈论、经济学、金融和其他社会和行为科学(91-XX) 8 群论与推广(20-XX) 7 结合环与代数(16-XX) 5 历史和传记(01-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 4 功能分析(46倍X倍) 三 总体主题;集合(00-XX) 三 测量和集成(28-XX) 三 代数拓扑(55-XX) 三 运筹学、数学规划(90-XX) 2 场论和多项式(12-XX) 2 交换代数(13-XX) 2 代数几何(14-XX) 2 生物学和其他自然科学(92-XX) 2 系统论;控制(93至XX) 2 数学教育(97-XX) 1 非结合环和代数(17-XX) 1 \(K\)理论(19-XX) 1 拓扑群、李群(22日至XX日) 1 复变量的函数(30年XX月) 1 差分和函数方程(39至XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 按年份列出的引文