阿尔伯特·梅耶
人员信息
附属： 麻省理工学院计算机科学和人工智能实验室，美国剑桥
其他同名人员
优化列表
2000 – 2009
2008 
[公元56年] 阿尔伯特·梅耶 :
回忆。 计算机科学支柱 2008 : 39-45 2002 [公元36年] 拉里·斯托克梅耶 , 阿尔伯特·梅耶 
:
逻辑中一个小问题的电路复杂性的宇宙学下界。 美国临床医学杂志 49 ( 6 ) : 753-784 ( 2002 ) [j35] 阿尔伯特·梅耶 , 亚历山大·拉比诺维奇 :
乱序正则表达式的有效标识问题。 J.汽车。 语言梳。 7 ( 1 ) : 109-125 ( 2002 )
1990 – 1999
1996 [公元34年] 特雷弗·吉姆 , 阿尔伯特·梅耶 :
完全抽象和上下文引理。 SIAM J.计算。 25 ( 3 ) : 663-696 ( 1996 ) [公元33年] 拉利塔·贾特戈恩卡 , 阿尔伯特·梅耶 :
确定安全有限网络上的真正并发等价。 西奥。 计算。 科学。 154 ( 1 ) : 107-143 ( 1996 ) [公元55年] 阿尔伯特·梅耶 , 亚历山大·莫西·拉宾诺维奇 :
用偏序技术解决交织决策问题。 验证中的偏序方法 1996 : 203-211 1995 [公元32年] 乔尔·塞菲亚斯 , 阿尔伯特·梅耶 :
可实现空间复杂性的特征。 Ann.纯粹应用。 日志。 73 ( 2 ) : 171-190 ( 1995 ) [公元31年] 吟游诗人布鲁姆 , 索林·伊斯特拉尔 , 阿尔伯特·梅耶 :
无法追踪相互模拟。 美国临床医学杂志 42 ( 1 ) : 232-268 ( 1995 ) [公元54年] 阿尔伯特·梅耶 :
并发过程等价：一些决策问题（摘要）。 STACS公司 1995 : 349 1994 [公元53年] 阿尔伯特·梅耶 :
观察真正并发的过程。 节气门执行器控制系统 1994 : 886 1993 【j30】 瓦尔·坦宁 , 阿尔伯特·梅耶 :
类型Lambda演算中等式理论的保守性。 芬丹。 信息学 19 ( 1/2 ) : 1-49 ( 1993 ) [第52条] 拉利塔·贾特戈恩卡 , 阿尔伯特·梅耶 :
确定有限状态网上的真正并发等价（初步报告）。 ICALP公司 1993 : 519-531 [第51条] 拉利塔·贾特戈恩卡 , 阿尔伯特·梅耶 :
并发进程的自同步（初步报告）。 低收入国家 1993 : 409-417 1992 [公元29年] 吟游诗人布鲁姆 , 阿尔伯特·梅耶 :
过程等效性实验。 西奥。 计算。 科学。 101 ( 2 ) : 223-237 ( 1992 ) [公元50年] 拉利塔·贾特戈恩卡 , 阿尔伯特·梅耶 :
用动作细化测试Petri网的等价性：初步报告。 同意 1992 : 17月31日 1991 [公元49年] 特雷弗·吉姆 , 阿尔伯特·梅耶 :
完全抽象和上下文引理。 节气门执行器控制系统 1991 : 131-151 [电子2] 伊藤忠雄 , 阿尔伯特·梅耶 :
计算机软件的理论方面，1991年9月24日至27日，日本仙台TACS’91国际会议，会议记录。 计算机科学课堂讲稿 526, 施普林格 1991 ，国际标准图书编号 3-540-54415-1 [目录] 1990 [公元28年] 金·布鲁斯 , 阿尔伯特·梅耶 , 约翰·米切尔 :
二阶Lambda演算的语义。 Inf.计算。 85 ( 1 ) : 76-134 ( 1990 ) [公元48年] 斯塔夫罗斯·科斯马达基斯 , 阿尔伯特·梅耶 , 乔恩·里克 :
类型惰性不等式的完备性。 低收入国家 1990 : 312-320
1980 – 1989
1989 [公元47年] 吟游诗人布鲁姆 , 阿尔伯特·梅耶 :
关于概率过程间互模拟的一点注记。 博蒂克的逻辑 1989 : 26-40 [电子1] 阿尔伯特·梅耶 , 迈克尔·泰兹林 :
1989年7月3日至8日，苏联佩雷斯拉夫·扎列斯基（Pereslav-Zalessky），《89年博蒂克的逻辑》（Botik’89）计算机科学逻辑基础研讨会，论文集。 计算机科学课堂讲稿 363, 施普林格 1989 ，国际标准图书编号 3-540-51237-3 [目录] 1988 [公元46年] 阿尔伯特·梅耶 , 乔恩·G·里克 :
延续可能是不合理的。 LISP与函数编程 1988 : 63-71 [公元45年] 阿尔伯特·梅耶 :
语义范式：Stavros S.Cosmadakis的特邀演讲笔记，附两个附录。 低收入国家 1988 : 236-253 [公元44年] 阿尔伯特·梅耶 , 库尔特·西伯 :
面向局部变量的完全抽象语义。 POPL公司 1988 : 191-203 [公元43年] 吟游诗人布鲁姆 , 索林·伊斯特拉尔 , 阿尔伯特·梅耶 :
无法追踪相互模拟。 POPL公司 1988 : 229-239 1987 [公元42年] 瓦尔·坦宁 , 阿尔伯特·梅耶 :
多态性比简单类型保守（初步报告）。 低收入国家 1987 : 7-17 [公元41年] 瓦尔·坦宁 , 阿尔伯特·梅耶 :
可计算值可以是经典值。 POPL公司 1987 : 238-245 [公元40年] 阿尔伯特·梅耶 , 约翰·米切尔 , 尤金尼奥·莫吉 , 理查德·斯塔特曼 :
多形Lambda微积分中的空类型。 POPL公司 1987 : 253-262 1986 [公元27年] 约瑟夫·哈珀（Joseph Y.Halpern） , 迈克尔·路易斯 , 阿尔伯特·梅耶 , 丹尼尔·韦斯 :
时间与空间之战III。 数学。 系统。 理论 19 ( 1 ) : 13月28日 ( 1986 ) [公元39年] 阿尔伯特·梅耶 :
Floyd-Hoare逻辑定义语义：初步版本。 低收入国家 1986 : 44-48 [公元38年] 阿尔伯特·梅耶 , 马克·莱因霍尔德（Mark B.Reinhold） :
“类型”不是类型。 POPL公司 1986 : 287-295 1985 [公元26年] 罗希特·帕里赫 , 阿肖克·K·钱德拉 , 约瑟夫·哈尔彭 , 阿尔伯特·梅耶 :
正则项之间的方程及其在过程逻辑中的应用。 SIAM J.计算。 14 ( 4 ) : 935-942 ( 1985 ) [公元37年] Val Breazu-Tannen公司 , 阿尔伯特·梅耶 :
具有约束类型的Lambda微积分（扩展抽象）。 程序逻辑 1985 : 23-40 [公元36年] 阿尔伯特·梅耶 , Mitchell魔杖 :
类型化Lambda-Calculi中的延续语义（摘要）。 程序逻辑 1985 : 219-224 [公元35年] 约翰·米切尔 , 阿尔伯特·梅耶 :
二阶逻辑关系（扩展抽象）。 程序逻辑 1985 : 225-236 1984 [公元25年] A.普拉萨德·西斯特拉 , 埃德蒙·克拉克 , 尼西姆·弗朗西兹 , 阿尔伯特·梅耶 :
消息缓冲区在线性时序逻辑中可以公理化吗？ 信息控制。 63 ( 1/2 ) : 88至112 ( 1984 ) [公元24年] 阿尔伯特·梅耶 , Jerzy Tiuryn公司 :
程序逻辑之间的等效性。 J.计算。 系统。 科学。 29 ( 2 ) : 160-170 ( 1984 ) [公元34年] 约瑟夫·哈尔彭 , 阿尔伯特·梅耶 , 鲍里斯·特拉赫滕布罗特 :
本地存储的语义，或是什么使免费列表免费？ POPL公司 1984 : 245-257 [公元33年] 金·布鲁斯 , 阿尔伯特·梅耶 :
二阶多形Lambda演算的语义。 数据类型的语义 1984 : 131-144 1983 [公元23年] 阿尔伯特·梅耶 , 约翰·米切尔 :
递归程序的终止断言：完备性和公理化定义。 信息控制。 56 ( 1/2 ) : 112-138 ( 1983 ) [公元32年] 阿尔伯特·梅耶 :
理解ALGOL：最近转换为指称语义的观点。 IFIP大会 1983 : 951-961 [公元31年] 鲍里斯·特拉赫滕布罗特 , 约瑟夫·哈珀（Joseph Y.Halpern） , 阿尔伯特·梅耶 :
类ALGOL语言的从指称语义到操作语义和公理语义：综述。 程序逻辑 1983 : 474-500 1982 [公元22年] 阿尔伯特·梅耶 :
什么是兰姆达微积分模型？ 信息控制。 52 ( 1 ) : 87-122 ( 1982 ) [公元21年] 阿尔伯特·梅耶 , 约瑟夫·哈珀（Joseph Y.Halpern） :
编程语言的公理化定义：理论评估。 美国临床医学杂志 29 ( 2 ) : 555-576 ( 1982 ) [公元20年] 迈克尔·J·费舍尔 , 阿尔伯特·梅耶 , 迈克·帕特森 :
Omega（n log n）布尔公式长度的下限。 SIAM J.计算。 11 ( 3 ) : 416-427 ( 1982 ) [公元19年] 阿尔伯特·梅耶 , 卡尔·温克尔曼 :
用正则动态逻辑表示程序循环。 西奥。 计算。 科学。 18 : 301-323 ( 1982 ) [公元30年] 阿尔伯特·梅耶 , 约翰·米切尔 :
递归程序的公理可定义性和完备性。 POPL公司 1982 : 337-346 1981 [j18] 恩斯特·梅尔 , 阿尔伯特·梅耶 :
Petri网有限包含问题的复杂性。 美国临床医学杂志 28 ( 3 ) : 561-576 ( 1981 ) [公元17年] 阿尔伯特·梅耶 , 罗希特·帕里赫 :
动态逻辑中的可定义性。 J.计算。 系统。 科学。 23 ( 2 ) : 279-298 ( 1981 ) [公元16年] 艾琳·格雷夫 , 阿尔伯特·梅耶 :
指定while程序的语义：Hoare和Lauer的一篇论文的教程和评论。 ACM事务处理。 程序。 语言系统。 3 ( 4 ) : 484-507 ( 1981 ) [公元29年] 阿尔伯特·梅耶 , 罗伯特·S·斯特雷特 , 格拉兹娜·米尔科夫斯卡 :
命题动态逻辑中的可演绎性问题。 ICALP公司 1981 : 238-248 [公元28年] 阿尔伯特·梅耶 , Jerzy Tiuryn公司 :
关于程序逻辑之间等价性的注记。 程序逻辑 1981 : 282-299 [公元27年] 约瑟夫·哈珀（Joseph Y.Halpern） , 阿尔伯特·梅耶 :
程序设计语言的公理化定义，II。 POPL公司 1981 : 139-148 [公元26年] 阿肖克·K·钱德拉 , 约瑟夫·哈珀（Joseph Y.Halpern） , 阿尔伯特·梅耶 , 罗希特·帕里赫 :
正则项之间的方程和过程逻辑的应用。 STOC公司 1981 : 384-390 1980 [公元15年] 罗纳德·里维斯 , 阿尔伯特·梅耶 , 丹尼尔·克莱特曼 , 卡尔·温克尔曼 , 乔尔·斯潘塞 :
处理二进制搜索过程中的错误。 J.计算。 系统。 科学。 20 ( 3 ) : 396-404 ( 1980 ) [j14] 安娜·R·布鲁斯 , 阿尔伯特·梅耶 :
论时空类及其与实加法理论的关系。 西奥。 计算。 科学。 11 : 59-69 ( 1980 ) [公元25年] 阿尔伯特·梅耶 , 约瑟夫·哈珀（Joseph Y.Halpern） :
编程语言的公理化定义：理论评估。 POPL公司 1980 : 203-212 [公元24年] 阿尔伯特·梅耶 , 罗希特·帕里赫 :
动态逻辑中的可定义性。 STOC公司 1980 : 1-7
1970 – 1979
1979 【c23】 阿尔伯特·梅耶 , 罗伯特·S·斯特雷特 , 格拉兹娜·米尔科夫斯卡 :
命题动态逻辑中的可演绎性问题。 程序逻辑 1979 : 12-22 [公元22年] 艾琳·格雷夫 , 阿尔伯特·梅耶 :
指定编程语言语义。 POPL公司 1979 : 180-189 【c21】 阿尔伯特·梅耶 , 卡尔·温克尔曼 :
论动态逻辑的表达能力（初步报告）。 STOC公司 1979 : 167-175 [公元20年] 阿尔伯特·梅耶 , 艾琳·格雷夫 :
部分正确性断言能指定编程语言语义吗？。 理论计算机科学 1979 : 25-26 1978 [j13] 乔尔·塞费拉斯 , 迈克尔·菲舍尔 , 阿尔伯特·梅耶 :
分离非确定性时间复杂性类。 美国临床医学杂志 25 ( 1 ) : 146-167年 ( 1978 ) [第19条] 罗纳德·里维斯 , 阿尔伯特·梅耶 , 丹尼尔·克莱特曼 , 卡尔·温克尔曼 , 乔尔·斯潘塞 :
应对二进制搜索程序中的错误（初步报告）。 STOC公司 1978 : 227-232 [第18条] 安妮·布鲁斯 , 阿尔伯特·梅耶 :
论时空类及其与实加法理论的关系。 STOC公司 1978 : 233-239 1977 [第17条] 哈雷尔 , 阿尔伯特·梅耶 , 沃恩·R·普拉特 :
程序逻辑中的可计算性和完整性（初步报告）。 STOC公司 1977 : 261-268 1976 [第16条] 彼得·布洛尼亚兹 , 迈克尔·菲舍尔 , 阿尔伯特·梅耶 :
关于计算传递闭包的平均时间的一个注记。 ICALP公司 1976 : 425-434 [第15条] E.卡多萨 , 理查德·利普顿 , 阿尔伯特·梅耶 :
Petri网和交换半群的指数空间完备问题：初步报告。 STOC公司 1976 : 50-54 1975 [第14条] 迈克尔·J·费舍尔 , 阿尔伯特·梅耶 , 迈克·帕特森 :
布尔公式大小的下限：初步报告。 STOC公司 1975 : 37-44 1974 [公元12年] 罗伯特·摩尔 , 阿尔伯特·梅耶 :
递归函数复杂性类的诚实边界。 J.塞姆。 日志。 39 ( 1 ) : 127-138 ( 1974 ) 1973 [公元11年] M.Bauer先生 , D.品牌 , 迈克尔·菲舍尔 , 阿尔伯特·梅耶 , 迈克·帕特森 :
关于析取式重言式的注记。 SIGACT新闻 5 ( 2 ) : 17-20 ( 1973 ) [公元10年] 约翰·林德 , 阿尔伯特·梅耶 :
对数空间可计算函数的特征。 SIGACT新闻 5 ( 3 ) : 26-29 ( 1973 ) [第13条] 乔尔·塞菲亚斯 , 迈克尔·菲舍尔 , 阿尔伯特·梅耶 :
非确定性时间和空间层次的细化。 重拍 1973 : 130-137 [第12条] 拉里·斯托克梅耶 , 阿尔伯特·梅耶 :
需要指数时间的单词问题：初步报告。 STOC公司 1973 : 1-9 [第11条] 南希·A·林奇 , 阿尔伯特·梅耶 , 迈克尔·菲舍尔 :
设置不起作用。 STOC公司 1973 : 130-134 1972 [公元9年] 阿尔伯特·梅耶 :
受限编程语言中的程序大小。 信息控制。 21 ( 4 ) : 382-394 ( 1972 ) [j8] 帕特里克·菲舍尔 , 阿尔伯特·梅耶 , 阿诺德·罗森博格 :
多磁头磁带单元的实时仿真。 美国临床医学杂志 19 ( 4 ) : 590-607 ( 1972 ) [j7] 阿尔伯特·梅耶 , 帕特里克·菲舍尔 :
有效算子的计算加速。 J.塞姆。 日志。 37 ( 1 ) : 55-68 ( 1972 ) [第10条] 阿尔伯特·梅耶 , 罗伯特·摩尔 :
递归函数复杂性类的诚实边界。 重拍 1972 : 61-66 【c9】 阿尔伯特·梅耶 , 拉里·斯托克梅耶 :
带平方的正则表达式的等价问题需要指数空间。 重拍 1972 : 第125页至第129页 【c8】 阿尔伯特·梅耶 , A.巴基 :
项目规模和描述经济性：初步报告。 STOC公司 1972 : 183-186 1971 【c7】 迈克尔·菲舍尔 , 阿尔伯特·梅耶 :
布尔矩阵乘法和传递闭包。 重拍 1971 : 129-131 【c6】 阿尔伯特·梅耶 , 迈克尔·菲舍尔 :
自动机、语法和形式系统描述的经济性。 重拍 1971 : 188-191 1970 [j6] 帕特里克·菲舍尔 , 阿尔伯特·梅耶 , 阿诺德·罗森博格 :
时间限制序列生成。 J.计算。 系统。 科学。 4 ( 1 ) : 50-73 ( 1970 )
1960 – 1969
1969 [j5] 阿尔伯特·梅耶 :
关于无明星活动的说明。 美国临床医学杂志 16 ( 2 ) : 220-225 ( 1969 ) 【j4】 阿尔伯特·梅耶 , C.汤普森 :
关于自动机代数分解的注记。 数学。 系统。 理论 3 ( 2 ) : 110-118 ( 1969 ) [j3] 西蒙·埃文 , 阿尔伯特·梅耶 :
序列布尔方程。 IEEE传输。 计算机 18 ( 3 ) : 230-240 ( 1969 ) 【c5】 爱德华·麦克里特 , 阿尔伯特·梅耶 :
计算边界定义的可计算函数类：初步报告。 STOC公司 1969 : 79年至88年 1968 [注2] 帕特里克·菲舍尔 , 阿尔伯特·梅耶 , 阿诺德·罗森博格 :
计数器和计数器语言。 数学。 系统。 理论 2 ( 3 ) : 265至283 ( 1968 ) 【c4】 阿尔伯特·梅耶 , 帕特里克·菲舍尔 :
关于计算加速。 重拍 1968 : 351-355 1967 【c3】 阿尔伯特·梅耶 , 丹尼斯·里奇 :
循环程序的复杂性。 ACM全国会议 1967 : 465-469 【c2】 阿尔伯特·梅耶 , 阿诺德·罗森博格 , 帕特里克·菲舍尔 :
带有多个读写头的图灵机（初步报告）。 重拍 1967 : 117-127 【c1】 帕特里克·菲舍尔 , 阿尔伯特·梅耶 , 阿诺德·罗森博格 :
实时计数器（初步版本）。 重拍 1967 : 148-154 1966 [j1] 西蒙·埃文 , 阿尔伯特·梅耶 :
表达式给出的电路平面度测试。 IEEE传输。 电子。 计算。 15 ( 3 ) : 372-375 ( 1966 )
合著者索引
