科普洛夫斯基(Koprowski,Przemysław) 计算四元数代数中的平方根。 (英语) Zbl 07798897号 芬达姆。通知。 190,编号1,1-15(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Koprowski},Fundam(芬丹)。通知。190,编号1,1--15(2022;Zbl 07798897) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 序理论树:一元二阶描述和正则性。 (英语) Zbl 07597927号 芬达姆。通知。 186,编号1-4,89-120(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},芬丹。通知。186,编号1--4,89-120(2022;Zbl 07597927) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在进程代数设置中使用Hoare逻辑。 (英语) Zbl 1519.68156号 芬达姆。通知。 179,编号4,321-344(2021).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。179,编号4,321-344(2021;兹bl 1519.68156) 全文: 内政部 arXiv公司
加布里埃拉·马丁·托雷斯 关于无限索引不可分辨关系下语言的粗略近似。 (英语) Zbl 1519.68121号 芬达姆。通知。 179,编号3,275-293(2021).MSC公司:65年第68季度 08A70号 70年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.Martín Torres},Fundam。通知。179,编号3,275--293(2021;Zbl 1519.68121) 全文: 内政部
西内姆盖蒂尔·亚曼;埃斯特班·帕维斯;拉尔斯·格伦斯克 随机正则表达式的定量验证。 (英语) Zbl 1519.68135号 芬达姆。通知。 179,编号2,135-163(2021).MSC公司:60年第68季度 03B70号 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Getir Yaman}等人,Fundam。通知。179,编号2,135--163(2021;Zbl 1519.68135) 全文: 内政部
简·希尔斯顿;安德烈亚·马林;卡拉广场;萨宾娜·罗西 持续随机无干扰。 (英语) Zbl 1519.68163号 芬达姆。通知。 181,编号1,1-35(2021).MSC公司:68问题85 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hillston}等人,Fundam。通知。181,编号1,1-35(2021;Zbl 1519.68163) 全文: 内政部
乔治亚娜·卡尔泰斯;穆罕默德·雷扎·穆萨维;哈古比尔·辛格 轩尼诗-米尔纳逻辑中的安全因果推理。 (英语) 兹比尔1471.68133 芬达姆。通知。 173,编号2-3,217-251(2020).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}等人,Fundam。通知。173,编号2--3,217--251(2020;Zbl 1471.68133) 全文: 内政部
Ernst-Erich Doberkat 构造马尔可夫转移系统的互模拟切割。 (英语) Zbl 1374.68324号 芬达姆。通知。 149,第4期,363-383(2016).MSC公司:68问题85 03E15年 2015年1月6日 08A30型 08A70号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},芬丹。通知。149,第4号,363--383(2016;Zbl 1374.68324) 全文: 内政部
Damas P.格鲁斯卡。 不同的隐私和安全。 (英语) Zbl 1358.68213号 芬达姆。通知。 143,编号1-2,73-87(2016).MSC公司:68问题85 94A62型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Gruska},Fundam(芬丹)。通知。143,编号1--2,73-87(2016;兹bl 1358.68213) 全文: 内政部
Andrzejóz先生 关于Bongartz算法的计算复杂性。 (英语) Zbl 1285.68225号 芬达姆。通知。 123,第3期,317-329(2013).MSC公司:68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.先生},Fundam。通知。123、3号、317--329(2013;Zbl 1285.68225) 全文: 内政部
韦廷克,Gerrit Jan PSF–回顾。 (英语) Zbl 1211.68274号 芬达姆。通知。 100,编号1-4181-227(2010).MSC公司:68问题85 68-03 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Veltink},芬丹。通知。100,编号1--4,181-227(2010;Zbl 1211.68274) 全文: 内政部
伊沃·杜恩施;伊恩·普拉特·哈特曼 算术的复代数。 (英语) Zbl 1203.08004号 芬达姆。通知。 97,第4期,347-367(2009). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:08A70号 03G25号 05C90年 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{I.Düntsch}和\textit{I.Pratt-Hartmann},Fundam。通知。97,第4号,347--367(2009;Zbl 1203.08004) 全文: 内政部
斯蒂芬·布鲁姆。;佐尔坦·埃西克;维尔纳·库伊奇 部分Conway和迭代半环。 (英语) Zbl 1167.08002号 芬达姆。通知。 86,编号1-2,19-40(2008). 审核人:Albert A.Mullin(麦迪逊) MSC公司:08A70号 2016年60月 70年第68季度 05年3月 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}等人,Fundam。通知。86,编号1--2,19-40(2008;Zbl 1167.08002)
佐尔坦·埃西克;萨博尔茨·伊凡 有限树自动机的一些变体与受限时序逻辑有关。 (英语) 兹伯利1136.68038 芬达姆。通知。 82,编号1-2,79-130(2008).MSC公司:70年第68季度 03B44号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}和\textit{S.Iván},Fundam。通知。82,编号1--2,79-130(2008;Zbl 1136.68038)
佐尔坦·埃西克;萨博尔茨·伊凡 树自动机的产品与时态逻辑的应用。 (英语) Zbl 1136.68037号 芬达姆。通知。 82,编号1-2,61-78(2008).MSC公司:70年第68季度 03B44号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}和\textit{S.Iván},Fundam。通知。82,编号1--2,61-78(2008;Zbl 1136.68037)
Jan A.Bergstra。;科内利斯·A·米德尔堡。 带有单线程控制的Maurer计算机。 (英语) Zbl 1128.68039号 芬达姆。通知。 80,第4号,333-362(2007).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。80,第4号,333--362(2007;Zbl 1128.68039)
阮林安 模态演绎数据库的基础。 (英语) Zbl 1124.68026号 芬达姆。通知。 79,编号1-2,85-135(2007).MSC公司:第68页,共15页 03B42号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Nguyen},Fundam(芬丹)。通知。79,编号1--2,85-135(2007;Zbl 1124.68026)
鲁道夫·伯哈默;亚历山大·弗伦克 用关系代数精确计算最小反馈顶点集。 (英语) Zbl 1110.68093号 芬达姆。通知。 70,编号4301-316(2006).MSC公司:68兰特 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{A.Fronk},Fundam。通知。70,第4号,301-316(2006;Zbl 1110.68093)
可口、蒂埃里;兰迪·波拉克;木本武山 具有独立类型记录的逻辑框架。 (英语) Zbl 1095.03017号 芬达姆。通知。 65,编号1-2,113-134(2005). 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:03B70号 68甲18 35楼03号 03B35型 03B40型 第68季度第65季度 60年第68季度 68问题55 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人,Fundam。通知。65,编号1-2113-134(2005年;兹bl 1095.03017)
诺伯特·多杰 将项重写应用于部分代数理论。 (英语) Zbl 1081.08007号 芬达姆。通知。 63,第4期,375-384(2004). 审核人:马格努斯·斯坦比(图尔库) MSC公司:08A55号 2012年第68季度 08A70号 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dojer},芬丹。通知。63,第4号,375--384(2004;Zbl 1081.08007)
塞尔吉·鲁迪亚努;德拉戈什,瓦伊达 运筹学和计算机科学中的半环:更多代数。 (英语) Zbl 1083.68067号 芬达姆。通知。 61,第1期,61-85(2004).MSC公司:68问题55 2016年60月 90立方厘米 03B70号 2015年2月6日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Rudeanu}和\textit{D.Vaida},Fundam。通知。61,第1号,61--85(2004;Zbl 1083.68067) 全文: 链接
帕特里克·贝洛特;马可·佩奇尼 基本复杂性和交互几何。 (英语) Zbl 0973.03033号 芬达姆。通知。 45,第1-2、1-31号(2001年). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{M.Pedicini},Fundam。通知。45,编号1--2,1--31(2001;Zbl 0973.03033)
伯托利,P.G。;J.卡梅特。;Giunchiglia,F。;霍曼,K。 定理证明器和计算机代数系统的规范和集成。 (英语) Zbl 0951.68197号 芬达姆。通知。 39,编号1-2,39-57(1999).MSC公司:68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Bertoli}等人,Fundam。通知。39,编号1--2,39-57(1999;Zbl 0951.68197)
克莱门斯·巴拉林;劳伦斯·C·鲍尔森。 通过计算机代数扩展证明程序的实用方法——应用于编码理论。 (英语) Zbl 0951.68196号 芬达姆。通知。 39,第1-2、1-20号(1999).MSC公司:68瓦30 94B99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ballarin}和\textit{L.C.Paulson},Fundam。通知。39,第1-2,1-20号(1999年;兹bl 0951.68196)