萨宾·布罗达;安东尼奥·马基雅维罗;内尔玛·莫雷拉;罗杰里奥·里斯 同步洗牌表达式的位置自动机。 (英语) Zbl 07665438号 J.日志。阿尔盖布。方法计划。 132,文章ID 100847,19 p.(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Broda}等人,J.Log。阿尔盖布。方法计划。132,文章ID 100847,19 p.(2023;Zbl 07665438) 全文: 内政部
Dokter,Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 带记忆的软约束自动机。 (英语) Zbl 1455.68087号 J.日志。阿尔盖布。方法计划。 118,文章ID 100615,17 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法计划。118,文章ID 100615,17 p.(2021;Zbl 1455.68087) 全文: 内政部 链接
费尔南多·阿罗约;维克托·米特拉纳;佩恩,安德烈;佩恩,米哈拉;桑切斯·库索(Sanchez Couso)、何塞·拉蒙(Jose Ramon) 群上扩展有限自动机的群记忆复杂性。 (英语) Zbl 1462.68099号 J.日志。阿尔盖布。方法计划。 117,文章ID 100605,8 p.(2020).MSC公司:65年第68季度 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{F.Arroyo}等人,J.Log。阿尔盖布。方法计划。117,文章ID 100605,8 p.(2020;Zbl 1462.68099) 全文: 内政部
莱恩·兰伯斯(编辑);詹斯·韦伯(编辑) 第11届图形转换国际会议特刊序言。 (英语) Zbl 1433.68022号 J.日志。阿尔盖布。方法计划。 112,文章ID 100525,2 p.(2020).MSC公司:68-06 2012年第68季度 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambers}(编辑)和\textit{J.Weber}(主编),J.Log。阿尔盖布。方法计划。112,文章ID 100525,第2页(2020;Zbl 1433.68022) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 使用递归确定HML的监控器。 (英语) Zbl 1494.68155号 J.日志。阿尔盖布。方法计划。 111,文章ID 100515,38 p.(2020).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100515,38 p.(2020;Zbl 1494.68155) 全文: 内政部 arXiv公司
伊斯梅尔·罗德里格斯;费尔南多·罗莎·维拉尔多;费尔南多·鲁比奥 将复杂性引入正式测试。 (英语) Zbl 1494.68099号 J.日志。阿尔盖布。方法计划。 111,文章ID 100502,30 p.(2020).MSC公司:65年第68季度 68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100502,30 p.(2020;Zbl 1494.68099) 全文: 内政部
埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 (英语) 兹比尔1494.68157 J.日志。阿尔盖布。方法计划。 110,文章ID 100459,22 p.(2020).MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100459,第22页(2020;Zbl 1494.68157) 全文: 内政部 arXiv公司
马西莫·巴托莱蒂(编辑);劳拉·博奇(编辑);卢多维奇·亨利奥(编辑);索菲亚·奈特(编辑) 2017年互动与并发体验专刊前言。 (英语) Zbl 1434.68017号 J.日志。阿尔盖布。方法计划。 109,文章ID 100488,2 p.(2019).MSC公司:68-06 64岁以下 68甲15 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}(编辑)等,J.Log。阿尔盖布。方法计划。109,文章ID 100488,2 p.(2019;Zbl 1434.68017) 全文: 内政部
巴巴拉·科尼格;马克西姆·奈德科恩;丹尼斯·诺尔特 CoReS:通过SAT/SMT解算器计算核心图的工具。 (英语) Zbl 1435.68174号 J.日志。阿尔盖布。方法计划。 109,文章ID 100484,14 p.(2019).MSC公司:65年第68季度 68兰特 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.König}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100484,14 p.(2019;Zbl 1435.68174) 全文: 内政部
汉斯·约尔格·克鲁斯基;格列泽戈兹·罗森贝格 通过反应系统中的图形浏览进行图形变换。 (英语) Zbl 1435.68135号 J.日志。阿尔盖布。方法计划。 109,文章ID 100481,22 p.(2019).MSC公司:2012年第68季度 2007年第68季度 65年第68季度 68问题80 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{G.Rozenberg},J.Log。阿尔盖布。方法计划。109,文章ID 100481,22 p.(2019;Zbl 1435.68135) 全文: 内政部
弗兰科·巴巴内拉;乌戈·德利古罗;罗尔夫·亨尼克 连接通信有限状态机的开放系统。 (英语) Zbl 1435.68211号 J.日志。阿尔盖布。方法计划。 109,文章ID 100476,34 p.(2019).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100476,34页(2019;兹bl 1435.68211) 全文: 内政部
罗伯特·瓜夏莱;埃米利奥·托斯托 彩球的可实现性。 (英语) Zbl 1435.68213号 J.日志。阿尔盖布。方法计划。 10869-89(2019).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Guanciale}和\textit{E.Tuosto},J.Log。阿尔盖布。方法计划。108、69-89(2019年;Zbl 1435.68213) 全文: 内政部 链接
瓦格伏尔盖,桑多尔 一些可判定性会导致单程减少。 (英语) Zbl 1429.68094号 J.日志。阿尔盖布。方法计划。 105, 47-74 (2019). 审核人:马格努斯·斯坦比(图尔库) MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi},J.Log。阿尔盖布。方法计划。105,47-74(2019;Zbl 1429.68094) 全文: 内政部
安德烈亚·科拉迪尼;巴巴拉·科尼格;诺尔特,丹尼斯 使用类型图指定图形语言。 (英语) Zbl 1423.68248号 J.日志。阿尔盖布。方法计划。 104, 176-200 (2019).MSC公司:65年第68季度 03B25号 18比99 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人,J.Log。阿尔盖布。方法计划。104、176-200(2019年;Zbl 1423.68248) 全文: 内政部 arXiv公司
毛里西奥·托罗 生态系统个性化建模的形式语言概述。 (英语) 兹比尔1423.68318 J.日志。阿尔盖布。方法计划。 104, 117-126 (2019).MSC公司:68问题85 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Toro},J.Log。阿尔盖布。方法计划。104117-126(2019年;Zbl 1423.68318) 全文: 内政部 arXiv公司
范·宾斯贝根,L.托马斯;彼得·莫塞斯(Peter D.Mosses)。;尼尔·斯卡索普 基于可执行组件的语义。 (英语) Zbl 1417.68095号 J.日志。阿尔盖布。方法计划。 103, 184-212 (2019).MSC公司:68问题55 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{L.T.van Binsbergen}等人,J.Log。阿尔盖布。方法计划。103、184--212(2019年;Zbl 1417.68095) 全文: 内政部 链接
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 关于系列平行的pomset语言:合理性、上下文无关性和自动机。 (英语) 兹伯利1417.68134 J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).MSC公司:68问题85 68号30 2012年第68季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,J.Log。阿尔盖布。方法计划。103130-153(2019年;兹bl 1417.68134) 全文: 内政部 arXiv公司
杰里米·斯普洛斯顿 有限互模拟概率混合自动机的验证与控制。 (英语) Zbl 1417.68105号 J.日志。阿尔盖布。方法计划。 103, 46-61 (2019).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},J.Log。阿尔盖布。方法计划。103、46-61(2019年;Zbl 1417.68105) 全文: 内政部 链接
玛丽亚·马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 概率定时图变换系统。 (英语) Zbl 1400.68058号 J.日志。阿尔盖布。方法计划。 101, 110-131 (2018).MSC公司:68号30 2012年第68季度 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Maximova}等人,J.Log。阿尔盖布。方法计划。101、110-131(2018;Zbl 1400.68058) 全文: 内政部 链接
露西娅·纳斯蒂;保罗·米拉佐 社交网络成瘾的混合自动机模型。 (英语) Zbl 1418.91431号 J.日志。阿尔盖布。方法计划。 100, 215-229 (2018).MSC公司:91天30分 65年第68季度 05C90年 92B99型 91A90型 PDF格式BibTeX公司 XML格式引用 \textit{L.Nasti}和\textit{P.Milazzo},J.日志。阿尔盖布。方法计划。100215--229(2018;Zbl 1418.91431) 全文: 内政部
乔瓦尼·巴奇;乔治·巴奇;Larsen,Kim G。;拉杜·马达尔 基于度量的马尔可夫链近似最小化。 (英语) Zbl 1400.68098号 J.日志。阿尔盖布。方法计划。 100, 36-56 (2018).MSC公司:65年第68季度 60J10型 2017年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,J.Log。阿尔盖布。方法计划。100,36-56(2018;Zbl 1400.68098) 全文: 内政部 arXiv公司 链接
彼得·贝兹克;尼古拉·贝内什;伊万娜·乔纳;JiříBarnat 时间自动机的时钟LTL参数综合。 (英语) Zbl 1395.68164号 J.日志。阿尔盖布。方法计划。 99, 114-142 (2018).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bezděk}等人,J.Log。阿尔盖布。方法计划。99、114——142(2018;Zbl 1395.68164) 全文: 内政部
Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 随机转移系统什么时候可以驯服? (英语) Zbl 1394.68243号 J.日志。阿尔盖布。方法计划。 99, 41-96 (2018).MSC公司:68问题85 60J20型 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,J.Log。阿尔盖布。方法计划。99,41-96(2018年;兹比尔1394.68243) 全文: 内政部 arXiv公司
达纳·菲斯曼 推断正则语言和\(\omega \)-语言。 (英语) Zbl 1394.68211号 J.日志。阿尔盖布。方法计划。 98, 27-49 (2018).MSC公司:65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman},J.Log。阿尔盖布。方法计划。98、27-49(2018;Zbl 1394.68211) 全文: 内政部
阿利亚克巴尔·萨菲连;汤姆·梅鲍姆;奇诺维·迪斯金 基于基数的特征模型的理论框架:语义和计算方面。 (英语) Zbl 1395.68095号 J.日志。阿尔盖布。方法计划。 97, 30-54 (2018).MSC公司:68号30 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Safilian}等人,J.Log。阿尔盖布。方法计划。97、30--54(2018;Zbl 1395.68095) 全文: 内政部
约翰·卡米莱里。;杰拉尔多·施奈德 规范性文件的建模和分析。 (英语) Zbl 1371.68176号 J.日志。阿尔盖布。方法计划。 91, 33-59 (2017).MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Camilleri}和\textit{G.Schneider},J.Log。阿尔盖布。方法计划。91、33-59(2017年;Zbl 1371.68176) 全文: 内政部
罗宾·卡斯加德;博克·阿克塞尔森,霍尔格;罗伯特·格莱克 连接逆范畴和可逆递归。 (英语) Zbl 1359.68045号 J.日志。阿尔盖布。方法计划。 87, 33-50 (2017).MSC公司:68甲18 18 C50 18D20天 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaarsgaard}等人,J.Log。阿尔盖布。方法计划。87,33-50(2017年;兹比尔1359.68045) 全文: 内政部
Robert M.Hierons。;梅雷约(Mercedes G.Merayo)。;努涅斯,曼努埃尔 被动异步测试的扩展框架。 (英语) Zbl 1353.68052号 J.日志。阿尔盖布。方法计划。 86,第1号,408-424(2017).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}等人,J.Log。阿尔盖布。方法计划。86,第1号,408--424(2017;Zbl 1353.68052) 全文: 内政部
乌埃尔、古雷;大卫·托曼 基于自动机的决策过程的逻辑编程方法。 (英语) Zbl 1353.68039号 J.日志。阿尔盖布。方法计划。 86,第1号,391-407(2017).MSC公司:68N17号 03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Unel}和\textit{D.Toman},J.Log。阿尔盖布。方法计划。86,第1号,391--407(2017;Zbl 1353.68039) 全文: 内政部
赫尔穆特·格罗内;贾尼斯·沃格特兰德 用依赖类型形式化语义双向化和扩展。 (英语) Zbl 1353.68042号 J.日志。阿尔盖布。方法计划。 86,第1号,319-348(2017).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Grohne}和\textit{J.Voigtländer},J.Log。阿尔盖布。方法计划。86,No.1,319--348(2017;Zbl 1353.68042) 全文: 内政部
托马斯·杰奈特 树自动机完成的终止标准。 (英语) 兹比尔1356.68132 J.日志。阿尔盖布。方法计划。 85,第1号,第1部分,3-33(2016).MSC公司:65年第68季度 68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet},J.Log。阿尔盖布。方法计划。85,第1号,第1部分,第3-33条(2016;Zbl 1356.68132) 全文: 内政部
沃尔夫冈·杰利奇 资源丰富的函数反应式编程的抽象范畴语义。 (英语) Zbl 1353.68043号 J.日志。阿尔盖布。方法计划。 85,第6期,1177-1200(2016).MSC公司:68甲18 03B44号 03B70号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{W.Jeltsch},J.Log。阿尔盖布。方法计划。85,第6号,1177--1200(2016;Zbl 1353.68043) 全文: 内政部
拉马努贾姆,R。;Sheerazuddin,S。 web服务编排的可实现时态逻辑。 (英语) Zbl 1348.68148号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,759-781(2016).MSC公司:60年第68季度 68英里11 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.Sheerazuddin},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,759--781(2016;Zbl 1348.68148) 全文: 内政部
D.巴兹利。;P.德加诺。;法拉利,G.L。;托斯托,E。 将两个基于自动机的编排和舞蹈模型联系起来。 (英语) Zbl 1352.68125号 J.日志。阿尔盖布。方法计划。 85,第3期,425-446(2016).MSC公司:65年第68季度 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人,J.Log。阿尔盖布。方法计划。85,第3号,425--446(2016;Zbl 1352.68125) 全文: 内政部 链接
罗伯托·布鲁尼;乌戈州蒙塔纳里;马蒂奥·桑马蒂诺 Petri网中因果关系的一种代数语义。 (英语) Zbl 1330.68196号 J.日志。阿尔盖布。方法计划。 84,第6号,853-883(2015).MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,J.Log。阿尔盖布。方法计划。84,第6号,853--883(2015;Zbl 1330.68196) 全文: 内政部 arXiv公司
托马斯·布伦戈斯;马里诺·米库兰;马可·佩雷索蒂 具有不可观测运动的余代数的行为等价性。 (英语) Zbl 1330.68195号 J.日志。阿尔盖布。方法计划。 84,第6期,826-852(2015).MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}等人,J.Log。阿尔盖布。方法计划。84,第6号,826--852(2015;Zbl 1330.68195) 全文: 内政部 arXiv公司
瓦格伏尔盖,桑多尔 符号不同的术语重写系统。 (英语) Zbl 1332.68105号 J.日志。阿尔盖布。方法计划。 第5451-575号第84页(2015年). 审核人:马格努斯·斯坦比(图尔库) MSC公司:2012年第68季度 03D40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi},J.Log。阿尔盖布。方法计划。84,第5号,551--575(2015;Zbl 1332.68105) 全文: 内政部
内尔玛·莫雷拉;大卫·佩雷拉;西芒,索萨甜瓜 Coq中Kleene代数项等价性的判定。 (英语) Zbl 1329.68232号 J.日志。阿尔盖布。方法计划。 84,第3期,377-401(2015).MSC公司:68吨15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}等人,J.Log。阿尔盖布。方法计划。84,第3号,377--401(2015;Zbl 1329.68232) 全文: 内政部
索菲亚·卡塞尔;福尔克·豪尔;本特·琼森;梅克梅尔滕;伯恩哈德·斯特芬 简洁规范的寄存器自动机模型。 (英语) Zbl 1304.68097号 J.日志。阿尔盖布。方法计划。 84,第1期,54-66(2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cassel}等人,J.Log。阿尔盖布。方法计划。84,第1号,第54-66号(2015;Zbl 1304.68097) 全文: 内政部
丹尼斯·菲尔索夫;塔尔莫乌斯塔卢 无上下文语言的CYK认证解析。 (英语) Zbl 1371.68137号 J.日志。阿尔盖布。方法计划。 83,第5-6号,459-468(2014).MSC公司:2012年第68季度 第68页第15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Firsov}和\textit{T.Uustalu},J.Log。阿尔盖布。方法计划。83号5--6459--468(2014;Zbl 1371.68137) 全文: 内政部