玛丽安娜·埃斯皮诺萨·阿尔达玛;马里奥·卡萨努埃瓦·洛佩斯 理论格和形式概念分析,元理论结构主义的工具。 (西班牙语。英文摘要) Zbl 1528.83100号 塞贡达·埃波卡理论 38,编号1,45-66(2023).MSC公司:83个C99 83-08 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Espinosa Aldama}和\textit{M.Casanueva López},Theoria,Segunda Epoca 38,No.1,45-66(2023;Zbl 1528.83100) 全文: 内政部
安娜·伊贾斯 宇宙时空数值相对论研究的规范/框架不变变量。 (英语) Zbl 1528.83143号 J.Cosmol公司。Astropart。物理。 2023年,第6期,第61号论文,第26页(2023年).MSC公司:83个F05 35A35型 83二氧化碳 14日第15天 83E05号 81V22型 70S15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ijjas},J.Cosmol。Astropart。物理。2023年,第6期,第61号论文,第26页(2023年;Zbl 1528.83143) 全文: 内政部 arXiv公司
亚历山大·甘兹;保罗·马滕斯;Mukohyama、Shinji;Ryo Namba VCDM中的跳跃宇宙学。 (英语) 兹比尔1523.83056 J.Cosmol公司。Astropart。物理。 2023,第4号,第60号文件,第21页(2023).MSC公司:83E05号 81V22型 14日第15天 83D05号 35B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ganz}等人,J.Cosmol。Astropart。物理。2023年,第4期,第60号论文,21页(2023年;Zbl 1523.83056) 全文: 内政部 arXiv公司
马里奥·巴拉迪尼;法拉利,安吉洛·朱塞佩;法比奥·菲内利 幻影标量传感器模型和宇宙张力。 (英语) Zbl 1522.83406号 J.Cosmol公司。Astropart。物理。 2023年,第4期,第29号论文,第32页(2023年).MSC公司:83个F05 81V80型 81层32 35B20型 83D05号 83元56角 14日第15天 17C90型 78A45型 2005年第76季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ballardini}等人,J.Cosmol。Astropart。物理。2023年,第4期,第29号论文,32页(2023年;Zbl 1522.83406) 全文: 内政部 arXiv公司
亚科·安娜拉;塞克西·Räsänen 非退化Ricci型Palatini理论的稳定性。 (英语) Zbl 1522.83039号 J.Cosmol公司。Astropart。物理。 2023,第4号,第14号文件,第22页(2023); 勘误表同上,2023年,第8号,第E02号论文,第2页(2023年)。MSC公司:83立方厘米 83D05号 14日第15天 53立方厘米 83C25个 83C20美元 51B20型 53二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{J.Annala}和\textit{S.RäSänen},J.Cosmol。Astropart。物理。2023年,第4期,第14号论文,22页(2023年;Zbl 1522.83039) 全文: 内政部 arXiv公司
萨尔瓦多卡波齐耶洛;玛丽亚·卡鲁阿纳;李维·赛义德,杰克逊;约瑟夫·苏尔塔纳 远程平行霍恩德斯基引力中的幽灵和拉普拉斯不稳定性。 (英语) Zbl 1522.83416号 J.Cosmol公司。Astropart。物理。 2023年,第3期,第60号论文,28页(2023年).MSC公司:83个F05 83C25个 83D05号 14日第15天 83立方35 53二氧化碳 58J52型 PDF格式BibTeX公司 XML格式引用 \textit{S.Capozziello}等人,J.Cosmol。Astropart。物理。2023年,第3期,第60号论文,28页(2023年;Zbl 1522.83416) 全文: 内政部 arXiv公司
西奥多罗斯·帕帕尼科劳;安德烈亚斯·林佩里斯;斯马拉格达·洛拉;Emmanuel N.萨里达基斯。 原始黑洞和来自非正则膨胀的引力波。 (英语) Zbl 1522.83036号 J.Cosmol公司。Astropart。物理。 2023年,第3期,第3号论文,23页(2023年).MSC公司:83立方35 81V22型 83元57 83个F05 35B20型 60G35型 14日第15天 70小时45 PDF格式BibTeX公司 XML格式引用 \textit{T.Papanikolaou}等人,J.Cosmol。Astropart。物理。2023年,第3期,第3号论文,23页(2023年;Zbl 1522.83036) 全文: 内政部 arXiv公司
安里克·阿尔瓦雷斯;耶苏斯·阿内罗;爱德华多·贝拉斯科·阿哈 量子修正下的视界命运。 (英语) Zbl 1520.83022号 J.Cosmol公司。Astropart。物理。 2023,第2号,第29号文件,第24页(2023).MSC公司:83立方厘米 83D05号 83二氧化碳 14日第15天 43A90型 PDF格式BibTeX公司 XML格式引用 \textit{E.álvarez}等人,J.Cosmol。Astropart。物理。2023年,第2期,第29号论文,24页(2023年;Zbl 1520.83022) 全文: 内政部 arXiv公司
Maurya,S.K。;穆斯塔法(G.Mustafa)。;M.戈文德。;克什·辛格。牛顿 探索最小变形奇异星模型的物理性质和引力中最大质量极限的约束。 (英语) Zbl 1512.85004号 J.Cosmol公司。Astropart。物理。 2022年,第10期,第3号论文,35页(2022年).MSC公司:85甲15 83D05号 83立方35 60G35型 83元57 83立方厘米 14日第15天 74E10型 10层62层 80A10号 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Maurya}等人,J.Cosmol。Astropart。物理。2022年,第10期,第3号论文,35页(2022年;Zbl 1512.85004) 全文: 内政部 arXiv公司
雷扎·萨达蒂;安德烈亚·朱斯蒂;瓦莱里奥·法拉奥尼;Fatimah Shojai 可行霍恩德斯基引力的新的时间相关解。 (英语) Zbl 1512.83039号 J.Cosmol公司。Astropart。物理。 2022年,第9期,第67号论文,第19页(2022年).MSC公司:83元57 80A10号 83立方厘米 83D05号 14日第15天 83C20美元 PDF格式BibTeX公司 XML格式引用 \文本{R.Saadati}等人,J.Cosmol。Astropart。物理。2022年,第9期,第67号论文,第19页(2022年;Zbl 1512.83039) 全文: 内政部 arXiv公司
Vsevolod R.伊万诺夫。;谢尔盖·凯托夫。;叶卡捷琳娜·波兹迪娃。;谢尔盖·尤·弗诺夫(Sergey Yu Vernov)。 Starobinsky通货膨胀模型的分析扩展。 (英语) Zbl 1504.83044号 J.Cosmol公司。Astropart。物理。 2022,第3号,第58号文件,第29页(2022).MSC公司:83个F05 83D05号 70小时45 57兰特25 14日第15天 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Ivanov}等人,J.Cosmol。Astropart。物理。2022年,第3期,第58号论文,29页(2022年;Zbl 1504.83044) 全文: 内政部 arXiv公司
Molchanova,E.A.公司。 谱问题的渐近模拟。 (俄语。英文摘要) Zbl 1515.41017号 维斯特。托木斯克。戈斯。马特·梅赫大学。 2021年,第74号,第12-18号(2021年).MSC公司:41A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Molchanova},韦斯特恩。托木斯克。戈斯。马特·梅赫大学。2021年,第74号,12--18号(2021年;Zbl 1515.41017) 全文: 内政部 MNR公司
Reza Hejazi,S。;赛义德·拉希迪 通过Riemann-Liouville和Caputo导数得到时间分数扩散率方程的对称性、守恒定律和精确解。 (英语) Zbl 1496.76106号 波随机复杂介质 31,第4号,690-711(2021).MSC公司:76M60毫米 76兰特 76M55型 26A33飞机 PDF格式BibTeX公司 XML格式引用 \textit{S.Reza Hejazi}和\textit{S.Rashidi},波随机复合介质31,第4期,690--711(2021;Zbl 1496.76106) 全文: 内政部
娜塔莉亚·奥列戈夫纳·加拉尼娜;伊戈尔·谢尔盖维奇(Igor’Sergeevich Anureev);奥尔塞亚·伊格纳特·埃夫纳·博罗维科娃;弗拉基米尔·埃夫根·埃维奇(Vladimir Evgen’evich Zyubin) 面向验证的过程本体的领域规范方法。 (俄语。英文摘要) Zbl 1497.68301号 模型。分析。Inf.姐妹。 26,第4期,534-549(2019).MSC公司:60年第68季度 68问题85 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.O.Garanina}等人,模型。分析。Inf.姐妹。26,第4号,534--549(2019;Zbl 1497.68301) 全文: MNR公司
卡塔里亚,K.K。;维莱萨米,P。 生成Adomian多项式的简单参数化方法。 (英语) Zbl 1474.41011号 申请。分析。离散数学。 10,第1号,168-185(2016).MSC公司:41A10号 49平方米27 PDF格式BibTeX公司 XML格式引用 \textit{K.K.Kataria}和\textit{P.Vellaisamy},应用。分析。离散数学。10,第1号,168--185(2016;Zbl 1474.41011) 全文: 内政部 arXiv公司
托马斯·奈文斯 量化、表征和莫尔斯理论。 (英语) 兹比尔1352.14008 美国数学通告。索克。 63,第9号,1013(2016).MSC公司:2014年05月 10层14号 32系列40 32C38号 14日第15天 58E05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Nevins},《美国数学通告》。Soc.63,No.9,1013(2016;Zbl 1352.14008) 全文: 内政部
迈克尔·索尔提斯 Szpilrajn定理的可行证明——并发自动机的证明复杂性框架。 (英语) Zbl 1345.68217号 J.汽车。语言梳。 16,第1期,27-38(2011).MSC公司:65年第68季度 20层03 06年06月06日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Soltys},J.Autom。Lang.梳。16、第1号、第27--38号(2011年;Zbl 1345.68217)
孙丹丹;李永明;杨文武 模糊有限自动机的互模拟关系。 (中文。英文摘要) Zbl 1264.68119号 模糊系统。数学。 23,第4号,92-100(2009).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Sun}等人,《模糊系统》。数学。23,第4号,92--100(2009;Zbl 1264.68119)
焦、李 关于正则Petri网的一个注记。 (英语) Zbl 1191.68440号 信息处理。莱特。 108,第3号,110-114(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jiao},Inf.过程。莱特。108,编号3110-114(2008年;兹bl 1191.68440) 全文: 内政部
蒂埃里·马萨特;塞德里克·梅特;劳伦特·范·贝京 关于部分顺序跟踪模型检查的复杂性。 (英语) Zbl 1186.68299号 信息处理。莱特。 106,第3期,第120-126页(2008年).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{T.Massart}等人,《Inf.过程》。莱特。106,第3号,120-126(2008;Zbl 1186.68299) 全文: 内政部 链接
巴巴拉·科尼格;维塔利·科齐奥拉 覆盖图的增量构造。 (英语) Zbl 1184.68345号 信息处理。莱特。 103,第5期,203-209(2007).MSC公司:68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.König}和\textit{V.Kozioura},Inf.过程。莱特。103,第5号,203--209(2007;Zbl 1184.68345) 全文: 内政部
川崎,吉野;肯·马诺;樱田秀树;Tsukada、Yasuyuki 证明无限状态系统匿名性的定理。 (英语) Zbl 1185.68627号 信息处理。莱特。 101,第1期,46-51(2007).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kawabe}等人,《Inf.过程》。莱特。101,编号1,46-51(2007年;兹bl 1185.68627) 全文: 内政部
卢卡·埃特罗;安娜·英格尔夫斯多蒂 特征公式:从自动机到逻辑。 (英语) Zbl 1169.68497号 牛市。欧洲协会。计算。科学。EATCS公司 91, 58-75 (2007).MSC公司:60年第68季度 05年3月 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{A.Ingolfsdottir},公牛。欧洲协会。计算。科学。EATCS 91、58--75(2007;Zbl 1169.68497)
帕特里夏·鲍耶;Fabrice骑士 关于定时和混合系统的控制。 (英语) Zbl 1169.68536号 牛市。欧洲协会。计算。科学。EATCS公司 89, 79-96 (2006).MSC公司:68问题85 65年第68季度 93C25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}和\textit{F.Chevalier},公牛。欧洲协会。计算。科学。EATCS 89、79--96(2006;Zbl 1169.68536)
奥利维·芬克尔 关于常规计时语言的洗牌。 (英语) Zbl 1169.68468号 牛市。欧洲协会。计算。科学。EATCS公司 88, 182-184 (2006).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},公牛。欧洲协会。计算。科学。EATCS 88,182--184(2006;Zbl 1169.68468)
洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 限制全球计算应用程序中的数据和进程。 (英语) Zbl 1137.68333号 科学。计算。程序。 63,第1期,57-87(2006).MSC公司:68甲15 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,科学。计算。程序。63,第1号,57--87(2006;Zbl 1137.68333) 全文: 内政部
莫里斯·比克。;码头Kleijn I/O自动机团队的模块化。 (英语) Zbl 1185.68382号 信息处理。莱特。 95,第5期,487-495(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}和\textit{J.Kleijn},Inf.Process。莱特。95,第5号,487--495(2005;Zbl 1185.68382) 全文: 内政部
苏菲·平奇纳特;里德威格,圣菲 在部分观测下可判定的一类控制问题。 (英语) Zbl 1177.93059号 信息处理。莱特。 95,第4期,454-460(2005).MSC公司:93元65角 60年第68季度 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinchinat}和\textit{S.Riedweg},Inf.过程。莱特。95,第4号,454--460(2005;Zbl 1177.93059) 全文: 内政部
Cheung,K.S。;周,K.O。 增广标记图的圈包含性质。 (英语) Zbl 1182.68137号 信息处理。莱特。 94,第6期,271-276(2005).MSC公司:68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Cheung}和\textit{K.O.Chow},Inf.Process。莱特。94,第6号,271--276(2005;Zbl 1182.68137) 全文: 内政部
Darondeau博士。 语言的相等性与有界Petri网和持久Petri网的可达状态图的同构性相一致。 (英语) Zbl 1182.68138号 信息处理。莱特。 94,第6期,241-245(2005).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Ph.Darondeau},Inf.过程。莱特。94,第6号,241--245(2005;Zbl 1182.68138) 全文: 内政部
徐章燕;杨炳如 \基于模糊集泛化蕴涵算子的(alpha)-三I算法。 (中文。英文摘要) 兹比尔1112.03317 J.广西标准。大学,自然科学。 23,第4期,42-45(2005).MSC公司:03E72型 65年第68季度 93年2月25日 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xu}和\textit{B.Yang},J.广西常模。大学,自然科学。23,第4号,42-45(2005;Zbl 1112.03317)
尤金·亚萨林 时间语言的挑战:从应用理论到基础理论。 (英语) Zbl 1169.68535号 牛市。欧洲协会。计算。科学。EATCS公司 83, 106-120 (2004).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{E.Asarin},公牛。欧洲协会。计算。科学。EATCS 83、106-120(2004年;Zbl 1169.68535)
玛尔塔Sagastume;加布里埃尔·鲍姆 [吉列尔莫·马丁内斯] 问题、语言和算法。与吉列尔莫·马丁内斯合作。第2版。(Problemas,lenguajes y algoritmos.Con la colaboración de Guillermo Martínez) (西班牙语) Zbl 1109.68498号 科尔桑奥CLE37.坎皮纳斯:坎皮纳斯教育大学、洛基卡中心、科西尼亚历史科学院。第279页。(2003).MSC公司:2005年第68季度 65年第68季度 68-01 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sagastume}和\textit{G.Baum},问题,长度算法。Con la colaboración de Guillermo Martínez(西班牙语)。第二版,坎皮纳斯:坎皮纳斯大学,洛基卡中心,科学与历史(2003;Zbl 1109.68498)
埃西克,Z。 广义自动机和语言理论的自由代数。 (英语) Zbl 0969.68526号 RIMS Kokyuroku公司 1166, 52-58 (2000).MSC公司:68兰特 05C85号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.埃西克},RIMS Kokyuroku 1166,52-58(2000;Zbl 0969.68526)
爱沙尼亚州贝雷斯拉夫斯基。N。;Kochina,P.Ya。 Fuchs类微分方程在液体和气体力学的一些问题中遇到。 (英语。俄文原件) Zbl 0952.76534号 流体动力学。 32,第5期,619-625(1997); Izv的翻译。罗斯。阿卡德。墨西哥诺克。日德克。加沙,1997年,第5号,9-17(1997)。MSC公司:76M40型 30摄氏度 34米25 PDF格式BibTeX公司 XML格式引用 \textit{埃尼·贝雷斯拉夫斯基}和\textit{P.亚·科奇纳},流体动力学。32,编号5619-625(1997;Zbl 0952.76534);Izv的翻译。罗斯。阿卡德。墨西哥诺克。日德克。《加沙1997》,第5期,第9至17期(1997年)
德克斯特·科赞 关于正则保持函数。 (英语) Zbl 1026.68573号 牛市。EATCS公司 58, 131-138 (1996).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},公牛。EATCS 58、131--138(1996年;Zbl 1026.68573)
山崎秀树 Petri网及其语言。 (日语) Zbl 0941.68619号 RIMS Kokyuroku公司 910, 108-122 (1995).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Yamasaki},RIMS Kokyuroku 910108-122(1995年;Zbl 0941.68619)
Y.Kunimochi。;Inomata,T。;田中,G。 关于变换网的一些性质。 (日语) Zbl 0941.68648号 RIMS Kokyuroku公司 910, 44-54 (1995).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kunimochi}等人,RIMS Kokyuroku 910,44-54(1995;Zbl 0941.68648)
山崎秀树 Petri网语言的逻辑公式。 (英语) Zbl 0939.68724号 RIMS Kokyuroku公司 871,52-58(1994年).MSC公司:68问题85 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Yamasaki},RIMS Kokyuroku 871,52-58(1994;Zbl 0939.68724)
德里奇,M。 微定位和估计pour(\bar\partial{}_b\)。(微定位和对\(\bar\partial{}_b\)的估计)。 (法语) Zbl 0850.35005号 最小Sémin。埃及。Dériv.Partielles等。理工大学。,美分。数学。,帕莱索1990-1991年,第XXI号,第7页(1991年)。MSC公司:35A27型 35N15型 第32周05 PDF格式BibTeX公司 XML格式 全文: Numdam编号 欧洲DML
M·奈尔。;佩恩,F.R。 不可压缩Navier-Stokes方程积分方法的发展和应用。 (英语) Zbl 0722.76065号 数学。计算。建模 14, 728-731 (1990).MSC公司:76米25 76D05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nair}和\textit{F.R.Payne},数学。计算。型号14,728--731(1990;Zbl 0722.76065) 全文: 内政部
保罗·卡斯皮;尼古拉斯·哈尔巴赫斯 时间系统成分渐近性分析方法。 (法语) Zbl 0592.68052号 RAIRO,科技。信息。 5, 75-88 (1986).MSC公司:68问题85 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Caspi}和\textit{N.Halbwachs},RAIRO,科技。Inf.5,75--88(1986;Zbl 0592.68052)