贾德·达巴吉;弗吉尼亚州埃拉彻;克里斯托夫·斯特罗斯纳 标记粒子过程自扩散矩阵的张量近似。 (英语) Zbl 07662517号 J.计算。物理学。 480,文章ID 112017,第14页(2023).MSC公司:60千兆 15轴 65传真 PDF格式BibTeX公司 XML格式引用 \textit{J.Dabaghi}等人,J.Compute。物理学。480,文章ID 112017,14 p.(2023;Zbl 07662517) 全文: 内政部 arXiv公司
Koshida,Shinji公司 麦克唐纳工艺的自由场方法。 (英语) Zbl 1470.05166号 J.Algebr。梳子。 54,编号1,223-263(2021).MSC公司:05年5月5日 17年5月 60B05型 33D52型 2016年第05期 PDF格式BibTeX公司 XML格式引用 \textit{S.Koshida},J.Algebr。梳子。54,编号1,223--263(2021;Zbl 1470.05166) 全文: 内政部 arXiv公司
彼得·扬查尔 赋范BPA过程作为有理幺半群的分支双相似性。 (英语) Zbl 1398.68366号 日志。方法计算。科学。 13,第4号,第16号文件,第16页(2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar},日志。方法计算。科学。13,第4号,第16号论文,16页(2017;Zbl 1398.68366) 全文: 内政部 arXiv公司
贝卡塞姆Said-Houari 线性代数。 (英语) Zbl 1381.15001号 数学简明教材查姆:Birkhäuser/Springer(ISBN 978-3-319-63792-1/pbk;978-3-3169-63793-8/电子书)。xiii,第384页。(2017). 审核人:米哈伊尔·沃伊库 MSC公司:15-01 15A03号 15A04号 15A06号 15A09号 15甲15 15甲18 15A21号机组 15A23型 第15页第10页 15A30型 65平方英尺 15A63型 PDF格式BibTeX公司 XML格式引用 \textit{B.Said-Houari},线性代数。查姆:Birkhäuser/Springer(2017;Zbl 1381.15001) 全文: 内政部
罗伯托·戈里埃里;克里斯蒂安·维萨里 并发理论简介。过渡系统和CCS。 (英语) Zbl 1333.68001号 理论计算机科学课文。EATCS系列查姆:施普林格(ISBN 978-3-319-21490-0/hbk;978-3-3169-21491-7/电子书)。xi,第334页。(2015). 审核人:佩德罗·桑切斯·特拉夫(科尔多瓦) MSC公司:68-01年 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}和\textit{C.Versari},并发理论简介。过渡系统和CCS。查姆:斯普林格(2015;Zbl 1333.68001) 全文: 内政部
J.贝尼特斯。;J·伊兹基尔多。;佩雷兹·加西亚,R。;Ramos Martínez,E。 找到与倒数矩阵最接近的一致矩阵的简单公式。 (英语) Zbl 1429.91096号 申请。数学。建模 38,第15-16号,3968-3974(2014).MSC公司:91B06型 15A99号 PDF格式BibTeX公司 XML格式引用 \textit{J.Benítez}等人,应用。数学。38号模型,编号15--16,3968-3974(2014;Zbl 1429.91096) 全文: 内政部
Jun Ohkubo先生 简单时间非均匀出生-死亡过程中的Karlin-McGregor-like公式。 (英语) Zbl 1303.60076号 《物理学杂志》。A、 数学。西奥。 47,第40号,文章ID 405001,第11页(2014).MSC公司:60J80型 33立方厘米 33 C50 33D45号 60J35型 47D03型 47D07型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ohkubo},J.Phys。A、 数学。西奥。47,第40号,文章ID 405001,11页(2014;Zbl 1303.60076) 全文: 内政部 arXiv公司
罗杰·贝克;肯尼斯·库特勒 线性代数及其应用。 (英语) Zbl 1300.15001号 新泽西州哈肯萨克:世界科学(ISBN 978-981-4590-53-2/hbk)。ix,320页。(2014年)。 审核人:Rabe von Randow(波恩) MSC公司:15-01 00A05号 15轴 65传真 34A30型 39A06号 60J05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Baker}和\textit{K.Kuttler},线性代数及其应用。新泽西州哈肯萨克:世界科学(2014;Zbl 1300.15001) 全文: 内政部
傅玉玺 用无声动作检查规范BPA的相等性和正则性。 (英语) Zbl 1335.68171号 Fomin,Fedor V.(编辑)等人,《自动化、语言和编程》。2013年7月8日至12日,第40届国际学术讨论会,ICALP 2013,拉脱维亚里加,会议记录,第二部分。柏林:施普林格出版社(ISBN 978-3-642-39211-5/pbk)。计算机科学课堂讲稿7966,238-249(2013)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fu},莱克特。注释计算。科学。7966238-249(2013年;兹bl 1335.68171) 全文: 内政部
彼得·扬查尔 基本进程代数上的双相似性在2-ExpTime中(一个显式证明)。 (英语) Zbl 1260.68269号 日志。方法计算。科学。 9,第1号,第11号论文,19页(2013).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar},日志。方法计算。科学。9,第1号,第11号论文,19页(2013;Zbl 1260.68269) 全文: 内政部 arXiv公司
斯特凡·基弗 BPA的相似性是EXPTIME-hard。 (英语) Zbl 1259.68145号 Inf.流程。莱特。 113,第4期,101-106(2013).MSC公司:68问题85 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer},Inf.过程。莱特。113,第4号,101-106(2013;Zbl 1259.68145) 全文: 内政部 arXiv公司
彼得·扬查尔;马丁·科特;Zdeněk萨瓦 确定规范BPA和规范BPP之间的双相似性的复杂性。 (英语) Zbl 1209.68338号 Inf.计算。 208,第10号,1193-1205(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar}等人,《信息计算》。208,第10号,1193--1205(2010;Zbl 1209.68338) 全文: 内政部
巴顿,J.C.M。;P.J.L.Cuijpers。;范蒂尔堡,P.J.A。 一种基本的并行过程,如并行下推自动机。 (英语) Zbl 1291.68276号 Hildebrandt,Thomas(编辑)等人,《第十五届并发表达能力国际研讨会论文集》(EXPRESS 2008),加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》242,第1期,35-48(2009)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人,《电子》。注释Theor。计算。科学。242,编号1,35-48(2009;Zbl 1291.68276) 全文: 内政部
Krzysztof巴利基;马钦·斯皮尔卡 XCCS建模语言的形式化定义。 (英语) Zbl 1191.68428号 芬丹。通知。 93,编号1-3,1-15(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Balicki}和\textit{M.Szpyrka},Fundam。通知。93,编号1--3,1--15(2009;Zbl 1191.68428)
安德烈·克莱因;彼得·斯普雷伊 矩阵微分学应用于多重平稳时间序列和信息矩阵的扩展Whittle公式。 (英语) Zbl 1152.62058号 线性代数应用。 430,编号2-3,674-691(2009).MSC公司:62M10个 15A99号 26号B12 62小时99 15B57号 第15页第69页 62B10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Klein}和\textit{P.Spreij},线性代数应用。430,编号2--3,674--691(2009;Zbl 1152.62058) 全文: 内政部
卢卡·埃特罗;西尔维奥·卡波比安科;安娜·英格尔夫斯多蒂;巴斯·卢提克 具有分歧的基本CCS上的预相似性方程理论。 (英语) Zbl 1191.68425号 Inf.流程。莱特。 108,第5期,284-289(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《Inf.过程》。莱特。108,第5号,284--289(2008;Zbl 1191.68425) 全文: 内政部
彼得·扬查尔;马丁·科特;Zdeněk萨瓦 重新审视了正常BPA和正常BPP。 (英语) Zbl 1160.68468号 van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,434-446(2008)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar}等人,Lect。注释计算。科学。5201434--446(2008年;Zbl 1160.68468) 全文: 内政部
林宗一。;何小杰。 求一般(mathrm{ARMA}(p,q)过程自方差矩阵的一种简化方法。 (英语) Zbl 1130.62090号 统计概率。莱特。 78,第1号,36-41(2008).MSC公司:62M10个 65C60个 15A99号 PDF格式BibTeX公司 XML格式引用 \textit{T.I.Lin}和\textit{H.J.Ho},Stat.Probab。莱特。78,编号1,36-41(2008;Zbl 1130.62090) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔夫斯多蒂;苏米特·奈恩 具有中断的BPA上的双相似性不是有限的。 (英语) Zbl 1154.68084号 西奥。计算。科学。 366,编号1-2,60-81(2006).MSC公司:68问题85 03C05号机组 08A70号 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。366,编号1--2,60-81(2006;Zbl 1154.68084) 全文: 内政部
萨沃米尔·拉索塔 基本并行过程性能等价性的决定。 (英语) Zbl 1099.68070号 西奥。计算。科学。 360,第1-3号,172-192(2006).MSC公司:68问题85 03年2月25日 PDF格式BibTeX公司 XML格式引用 \文本{S.Lasota},Theor。计算。科学。360,第1--3172-192号(2006年;Zbl 1099.68070) 全文: 内政部
詹乃军;吴金钊 具有chop的不动点逻辑的组成。 (英语) Zbl 1169.68522号 Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722136-150(2005)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}和\textit{J.Wu},Lect。注释计算。科学。3722136-150(2005年;Zbl 1169.68522) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;Anna Ingólfsdóttir 关于多出口迭代的表达层次结构的注释。 (英语) Zbl 1175.68266号 Inf.流程。莱特。 87,第1期,17-23(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Inf.过程。莱特。87,第1号,17--23(2003;Zbl 1175.68266) 全文: 内政部
马可夫斯基,微笑;安娜·索科洛娃 自由基本进程代数。 (英语) Zbl 0931.08004号 Chajda,I.(编辑)等人,《对普通代数的贡献》11。《1998年奥洛穆克普通代数研讨会论文集》,第56页。Arbeitstagung Allgemeine Algebra”,捷克共和国奥洛穆克,1998年6月12日至14日,以及1998年8月31日至9月5日捷克共和国VelkéKarlovice关于泛代数和有序集的暑期学校。克拉根福:弗拉格·约翰内斯·希恩。145-150 (1999). 审核人:J.Henno(塔林) MSC公司:08B20号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Markovski}和\textit{A.Sokolova},Contrib.Gen.Algebra 11,145-150(1999;Zbl 0931.08004)
卢卡·埃特罗;Wan Fokkink公司;Anna Ingólfssdóttir,安娜 BPA*上的一系列基于非有限的流程语义–从就绪模拟到完成的跟踪。 (英语) Zbl 0917.68138号 数学。结构。计算。科学。 第8期,第3期,193-230页(1998年).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,数学。结构。计算。科学。8,第3号,193--230(1998;Zbl 0917.68138) 全文: 内政部
吉·斯尔巴 无上下文进程代数中的死锁状态。 (英语) Zbl 0917.68153号 Brim,Luboš(编辑)等人,《计算机科学的数学基础》,1998年。第23届国际研讨会,MFCS’98。1998年8月24日至28日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1450, 388-398 (1998).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Srba},莱克特。注释计算。科学。1450、388--398(1998年;Zbl 0917.68153)
球,弗兰克 结合时间间隔遗漏的单通道门控的马尔可夫和半马尔可夫模型中的开口突发的经验聚类。 (英语) Zbl 0903.60058号 高级申请。普罗巴伯。 29,第4期,909-946(1997).MSC公司:60J27型 60 K15 92C05型 15A99号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ball},高级应用程序。普罗巴伯。29,第4号,909--946(1997;Zbl 0903.60058) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司 多出口迭代的一个等式公理化。 (英语) Zbl 0881.68069号 Inf.计算。 137,第2期,121-158(1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{W.Fokkink},Inf.计算。137,编号2,121--158(1997;Zbl 0881.68069) 全文: 内政部 链接
安德烈·克莱因;彼得·斯普雷伊 关于ARMAX过程的Fisher信息矩阵和Sylvester的结式矩阵。 (英语) Zbl 0843.62087号 线性代数应用。 237-238, 579-590 (1996).MSC公司:62M10个 15A99号 15A24号 PDF格式BibTeX公司 XML格式引用 \textit{A.Klein}和\textit{P.Spreij},线性代数应用。237--238579-590(1996年;Zbl 0843.62087) 全文: 内政部
Wan Fokkink公司 分支互模拟中前缀迭代的完全公理化。 (英语) Zbl 0846.68072号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 26,第2期,第103-113页(1996年).MSC公司:65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink},安.社会数学。政策。,序列号。IV、 芬达姆。Inf.26,No.2,103--113(1996;Zbl 0846.68072)
约翰·范·本特姆;伯格斯特拉(Jan Bergstra) 过渡系统的逻辑。 (英语) Zbl 0827.03019号 J.逻辑语言信息。 3,第4期,247-283(1995).MSC公司:03B80号 2005年第68季度 03B45号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}和textit{J.Bergstra},J.Logic Lang.Inf.3,No.4,247--283(1995;Zbl 0827.03019) 全文: 内政部
安东尼·加利奥内(Anthony M.Gaglione)。;赫尔曼五世·沃尔丁格。 通过Magnus代数得到的Struik交换子恒等式的推广。 (英语) Zbl 0818.20037号 休斯顿J.数学。 20,第2期,201-236(1994). 审核人:V.A.Artamonov(莫斯科) MSC公司:2012年1月20日 20E05年 16周60 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Gaglione}和\textit{H.V.Waldinger},休斯顿数学杂志。20,第2号,201--236(1994;Zbl 0818.20037)
Jos C.M.Baeten。;Vaandrager,Frits W。 进程创建的代数。 (英语) Zbl 0760.68045号 Acta信息。 29,第4期,303-334(1992).MSC公司:第68季度55 2010年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{F.W.Vaandrager},《学报》第29期,第4期,303--334(1992;Zbl 0760.68045) 全文: 内政部
巴顿,J.C.M。;J.A.伯格斯特拉。 带有状态运算符的递归流程定义。 (英语) Zbl 0724.68035号 西奥。计算。科学。 82,第2期,285-302(1991年).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{J.A.Bergstra},Theor。计算。科学。82,No.2,285--302(1991;Zbl 0724.68035) 全文: 内政部
Zhilyakov,E.G。 ARMA过程的参数估计。 (英语。俄文原件) Zbl 0744.62129号 问题。信息传输。 27,第2期,140-149(1991); Probl的翻译。Peredachi Inf.27,No.2,59-68(1991)。MSC公司:62M10个 2009年6月26日 15甲15 15A99号 PDF格式BibTeX公司 XML格式引用 \文本{E.G.Zhilyakov},问题。信息传输。27,No.2,140--149(1991;Zbl 0744.62129);Probl的翻译。Peredachi Inf.27,No.2,59--68(1991)
罗兰·波尔;Jan Friso,格鲁特 过渡系统规范中否定前提的含义。 (英语) Zbl 0796.68142号 自动化、语言和编程、Proc。第18国际学院,马德里/西班牙,1991年,法律。注释计算。科学。510, 481-494 (1991).MSC公司:60年第68季度 68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Bol}和\textit{J.F.Groote},莱克特。注释计算。科学。510、481--494(1991年;Zbl 0796.68142)
安东尼·加利奥内(Anthony M.Gaglione)。;丹尼斯·斯佩尔曼 由Magnus代数获得的交换子恒等式。 (英语) Zbl 0595.20033号 休斯顿J.数学。 11491-504(1985年). 审核人:高压Waldinger MSC公司:2012年1月20日 20英尺14英寸 20层40层 20E07年 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Gaglione}和\textit{D.Spellman},休斯顿数学杂志。11、491--504(1985;Zbl 0595.20033)