史蒂芬·L·布鲁姆
人员信息
其他同名人员
优化列表
2010 – 2019
2013 [公元56年] 斯蒂芬·L·布鲁姆 , 张艺迪 :
关于顺序DFA的注释。 订单 30 ( 1 ) : 151-164 ( 2013 ) 2011 [公元55年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
代数线性序。 发现的国际期刊。 计算。 科学。 22 ( 2 ) : 491-515 ( 2011 ) 2010 [约54] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
代数序数。 芬丹。 信息学 99 ( 4 ) : 383-407 ( 2010 ) [公元53年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
范畴代数的Mezei-Wright定理。 理论。 计算。 科学。 411 ( 2 ) : 341-359 ( 2010 ) [i6] 史蒂芬·L·布鲁姆 , 佐尔坦·艾西克 :
代数线性序。 CoRR公司 abs/1002.1624 ( 2010 ) [i5] 史蒂芬·L·布鲁姆 , 张艺迪 :
关于顺序DFA的注释。 CoRR公司 abs/1005.2329 ( 2010 )
2000 – 2009
2009 [公元52年] 斯蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
公理化自然数的有理幂级数。 Inf.计算。 207 ( 7 ) : 793-811 ( 2009 ) [第17条] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 , 沃纳·库伊奇 :
部分迭代半环中的无圈有限自动机。 计算机辅助教学 2009 : 1-12 [第16条] 斯蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
散乱代数线性序。 菲莎国际学院 2009 : 25-29岁 [i4] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
代数序数。 CoRR公司 abs/0907.0877 ( 2009 ) 2008 [公元51年] 斯蒂芬·L·布鲁姆 , 佐尔坦·埃西克 , 沃纳·库伊奇 :
部分Conway和迭代半环。 芬丹。 信息学 86 ( 1-2 ) : 19-40 ( 2008 ) [约50] 杰里·阿达梅克 , 史蒂芬·L·布鲁姆 , 斯特凡·米利乌斯 :
关于迭代代数。 J.日志。 计算。 18 ( 6 ) : 1047-1085 ( 2008 ) 2007 [第15条] 斯蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
正则和代数单词和序数。 CALCO公司 2007 : 1-15 [i3] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
公理化有理幂级数。 CoRR公司 abs/0712.1337 ( 2007 ) [i2] 史蒂芬·L·布鲁姆 , 佐尔坦·艾西克 , 沃纳·库伊奇 :
部分Conway和迭代半环。 CoRR公司 abs/0712.2952 ( 2007 ) 2006 [第14条] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
完成范畴代数。 IFIP TCS 2006 : 231-249 2005 [公元49年] 斯蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
规则词的等式理论。 Inf.计算。 197 ( 1-2 ) : 55-89 ( 2005 ) 2004 [公元48年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
将单词的欧米伽和欧米伽-op幂公理化。 RAIRO提奥。 信息学应用。 38 ( 1 ) : 3-17 ( 2004 ) 2003 [公元47年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
决定一棵普通树的边界是否分散。 芬丹。 信息学 55 ( 1 ) : 1-21 ( 2003 ) [公元46年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
一个扩张定理及其在形式树级数中的应用。 J.汽车。 语言梳。 8 ( 2 ) : 145-185 ( 2003 ) [第13条] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
常规词公理:扩展摘要。 FSTTCS公司 2003 : 50-61 2002 [第12条] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
附加设置中的独特保护固定点:扩展抽象。 CTCS公司 2002 : 47-61 2001 [j45] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 , 安娜·拉布拉 , 欧内斯特·马内斯 :
迭代2理论。 申请。 分类结构。 9 ( 2 ) : 173-216 ( 2001 ) [公元44年] 史蒂芬·L·布鲁姆 , 克里斯蒂安·乔夫鲁特 :
长词:串联理论和ω幂。 理论。 计算。 科学。 259 ( 1-2 ) : 533-548 ( 2001 ) 2000 [第11条] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
迭代代数不是有限公理化的。 扩展摘要。 拉丁语 2000 : 367-376
1990 – 1999
1998 [公元43年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
洗牌二进制文件。 RAIRO提奥。 信息学应用。 32 ( 4-6 ) : 175-198 ( 1998 ) 1997 [公元42年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
语言中的公理化乱序和级联。 Inf.计算。 139 ( 1 ) : 62-91 ( 1997 ) [公元41年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
语言与偏序运算生成的变体。 数学。 结构。 计算。 科学。 7 ( 6 ) : 701-713 ( 1997 ) [j40] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
不动点的赤道逻辑(教程)。 理论。 计算。 科学。 179 ( 1-2 ) : 1-60 ( 1997 ) [第10条] 史蒂芬·L·布鲁姆 , 安娜·拉布拉 , 佐尔坦·埃西克 , 欧内斯特·马内斯 :
迭代2理论:扩展抽象。 AMAST公司 1997 : 30-44 1996 [公元39年] 斯蒂芬·L·布鲁姆 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
矩阵、机器和行为。 申请。 分类结构。 4 ( 4 ) : 343-360 ( 1996 ) [公元38年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
星半环拟变元的两个公理化。 牛市。 EATCS公司 59 ( 1996 ) [公元37年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
ccc上的定点操作。第一部分。 理论。 计算。 科学。 155 ( 1 ) : 1-38 ( 1996 ) [公元36年] 史蒂芬·L·布鲁姆 , 佐尔坦·艾西克 :
语言变体中的自由洗牌代数。 理论。 计算。 科学。 163 ( 1&2 ) : 55-98 ( 1996 ) 1995 [j35] 斯蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
2CCC中的一些初等等式定律。 发现的国际期刊。 计算。 科学。 6 ( 2 ) : 95-118 ( 1995 ) 【c9】 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
语言变体中的自由乱序代数(扩展抽象)。 拉丁语 1995 : 99-111 【c8】 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
Shuffle不等式的非有限公理化。 TAPSOFT公司 1995 : 318-333 1994 【c7】 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
求解多项式不动点方程。 MFCS公司 1994 : 52-67 1993 【b2】 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
迭代理论-迭代过程的等式逻辑。 EATCS理论计算机科学专著 , 施普林格 1993 ,国际标准图书编号 电话:978-3-642-78036-3 ,第i-xv页,1-632页 [公元34年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 , 德克·托布纳 :
同步树的迭代理论。 Inf.计算。 102 ( 1 ) : 1-55 ( 1993 ) [公元33年] 斯蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
勘误表:迭代代数。 发现的国际期刊。 计算。 科学。 4 ( 1 ) : 99 ( 1993 ) [公元32年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
矩阵和矩阵迭代理论,第一部分。 J.计算。 系统。 科学。 46 ( 三 ) : 381-408 ( 1993 ) [公元31年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
矩阵和矩阵迭代理论,第二部分。 J.计算。 系统。 科学。 46 ( 三 ) : 409-439 ( 1993 ) 【j30】 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
正则集的等式公理。 数学。 结构。 计算。 科学。 三 ( 1 ) : 1-24 ( 1993 ) 【c6】 史蒂芬·L·布鲁姆 , 佐尔坦·艾西克 :
迭代理论的一些准变量。 MFPS公司 1993 : 378-409 1992 [公元29年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
迭代代数。 发现的国际期刊。 计算。 科学。 三 ( 三 ) : 245-302 ( 1992 ) 1991 [公元28年] 史蒂芬·L·布鲁姆 , 佐尔坦·艾西克 :
凯利·伊夫·斯通。 牛市。 EATCS公司 43 : 159-161 ( 1991 ) [公元27年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
迭代理论中的Floyd-Hoare逻辑。 美国临床医学杂志 38 ( 4 ) : 887-934 ( 1991 ) 【c5】 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
程序正确性和矩阵迭代理论。 MFPS公司 1991 : 457-476 【c4】 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
迭代代数(扩展抽象)。 TAPSOFT,第1卷 1991 : 264-274 1990 [公元26年] 史蒂芬·L·布鲁姆 :
关于守卫理论的注释。 理论。 计算。 科学。 70 ( 1 ) : 第73页至第83页 ( 1990 ) [i1] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 , 德克·托布纳 :
同步树的迭代理论。 慕尼黑TU Forschungsberichte TUM I 9014号 : 1-60 ( 1990 )
1980 – 1989
1989 [公元25年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
循环数据类型规范的等式逻辑。 理论。 计算。 科学。 63 ( 三 ) : 303-331 ( 1989 ) 【c3】 史蒂芬·L·布鲁姆 :
迭代过程的等式逻辑。 FCT公司 1989 : 47-57 【c2】 史蒂芬·L·布鲁姆 , 克劳斯·苏特纳 :
乱序方程、并行转移系统和等式Petri网。 TAPSOFT,第1卷 1989 : 134-148 1988 [公元24年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
各种迭代理论。 SIAM J.计算。 17 ( 5 ) : 939-966 ( 1988 ) 1987 [公元23年] 史蒂芬·L·布鲁姆 , 拉尔夫·廷德尔 :
关于零同余的一个注记。 《网络学报》。 8 ( 1 ) : 1-4 ( 1987 ) 1986 [公元22年] 史蒂芬·L·布鲁姆 :
规则集的交替数和点层次结构。 《网络学报》。 7 ( 4 ) : 355-358 ( 1986 ) 1985 [公元21年] 史蒂芬·L·布鲁姆 :
单字母语言的前沿。 演员赛本。 7 ( 1 ) : 1-18 ( 1985 ) [公元20年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
公理化方案及其行为。 J.计算。 系统。 科学。 31 ( 三 ) : 375-393 ( 1985 ) [公元19年] 史蒂芬·L·布鲁姆 , 道格拉斯·特洛伊格 :
观察等价性的逻辑表征。 理论。 计算。 科学。 35 : 43至53 ( 1985 ) 1984 [公元18年] 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
一些不同的迭代理论。 牛市。 EATCS公司 24 : 53至65 ( 1984 ) 1983 [公元17年] 史蒂芬·L·布鲁姆 , 詹姆斯·撒切尔 , 埃里克·瓦格纳 , 杰西·莱特 :
连续理论中的递归和迭代:“M-结构”。 J.计算。 系统。 科学。 27 ( 2 ) : 148-164 ( 1983 ) [公元16年] 史蒂芬·L·布鲁姆 :
无穷树和其他压缩理论中递归方程组的所有解。 J.计算。 系统。 科学。 27 ( 2 ) : 225-255 ( 1983 ) [公元15年] 史蒂芬·L·布鲁姆 , 拉尔夫·廷德尔 :
各种“if-then-else”。 SIAM J.计算。 12 ( 4 ) : 677-707年 ( 1983 ) 1982 【b1】 卡尔文·埃尔戈特 , 斯蒂芬·L·布鲁姆 :
精选论文。 施普林格 1982 ,国际标准图书编号 978-3-540-90698-8 第I-XXIV页,1-460页 1981 【c1】 史蒂芬·L·布鲁姆 , 大卫·B·帕特森 :
很难找到简单的解决方案。 CAAP公司 1981 : 135-146 1980 [公元14年] 史蒂芬·L·布鲁姆 , 卡尔文·埃尔戈特 , 杰西·莱特 :
迭代方程的解和标量迭代运算的扩展。 SIAM J.计算。 9 ( 1 ) : 25岁至45岁 ( 1980 ) [j13] 史蒂芬·L·布鲁姆 , 卡尔文·埃尔戈特 , 杰西·莱特 :
点迭代理论中的向量迭代。 SIAM J.计算。 9 ( 三 ) : 525-540 ( 1980 ) [公元12年] 史蒂芬·L·布鲁姆 , 拉尔夫·廷德尔 :
树的度量理论上的相容序。 SIAM J.计算。 9 ( 4 ) : 683-691 ( 1980 )
1970 – 1979
1979 [公元11年] 史蒂芬·L·布鲁姆 , 拉尔夫·廷德尔 :
结构化流程图方案的代数和图论特征。 理论。 计算。 科学。 9 : 265-286 ( 1979 ) 1978 [公元10年] 卡尔文·埃尔戈特 , 史蒂芬·L·布鲁姆 , 拉尔夫·廷德尔 :
关于有根树的代数结构。 J.计算。 系统。 科学。 16 ( 三 ) : 362-399 ( 1978 ) 1977 [公元9年] 斯蒂芬·L·布鲁姆 , 苏珊娜·吉纳利 , 约瑟夫·拉特利奇 :
标量和向量迭代。 J.计算。 系统。 科学。 14 ( 2 ) : 251-256 ( 1977 ) 1976 [j8] 史蒂芬·L·布鲁姆 , 卡尔文·埃尔戈特 :
自由迭代理论的存在与构造。 J.计算。 系统。 科学。 12 ( 三 ) : 305-318 ( 1976 ) [j7] 斯蒂芬·L·布鲁姆 :
有序代数的种类。 J.计算。 系统。 科学。 13 ( 2 ) : 200-212 ( 1976 ) [j6] 史蒂芬·L·布鲁姆 , 罗曼·苏斯科 :
勘误表:“带同一性的句子演算研究”。 圣母院J.正式日志。 17 ( 4 ) : 640 ( 1976 ) 1975 [j5] 史蒂芬·L·布鲁姆 :
关于N.N.Nepe庳voda的可预测定义集的注记。 数学。 日志。 问:。 21 ( 1 ) : 427-431 ( 1975 ) 1973 【j4】 史蒂芬·L·布鲁姆 :
哥德尔完备性定理和Löwenheim-Skolem定理的推广。 圣母院J.正式日志。 14 ( 三 ) : 408-410 ( 1973 ) 1972 [j3] 史蒂芬·L·布鲁姆 , 罗曼·苏斯科 :
研究具有恒等式的句子演算。 圣母院J.正式日志。 13 ( 三 ) : 289-308 ( 1972 )
1960 – 1969
1969 [注2] 史蒂芬·L·布鲁姆 :
半完备性定理。 圣母院J.正式日志。 10 ( 三 ) : 303-308 ( 1969 ) 1968 [j1] 史蒂芬·L·布鲁姆 :
关于算术层次的注释。 圣母院J.正式日志。 9 ( 1 ) : 89年至91年 ( 1968 )