×

找到556个文档（结果1-100）

最新的 引文 关联
芭蕾舞演员Bolinches，A。;Esteban-Romero，R。;M·费拉拉。;佩雷兹·卡拉比格（Pérez-Calabuig，V.）。;特隆贝蒂，M。

具有平方自由阶和超可解性的有限斜支撑。 （英语） Zbl 07827376号

论坛数学。西格玛 12，论文编号e39，第33页（2024）.
MSC公司：2016年第25期 03D40号 2010年1月20日 2016年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{A.Ballester-Bolinches}等人，《数学论坛》。Sigma 12，论文编号e39，33 p.（2024；Zbl 07827376）
全文： 内政部 arXiv公司
OA许可证
萨姆·汤普森。;多米尼克·D·弗雷登伯格。

FC[REG]的联合查询片段生成的语言。 （英语） Zbl 07766947号

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13911, 233-245 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Thompson}和\textit{D.D.Freydenberger}，莱克特。注释计算。科学。13911、233——245（2023；Zbl 07766947）
全文： 内政部
理查德·曼德尔;亚历山大·乌沙科夫

metabelian Baumslag-Solitar群中的二次方程。 （英语） Zbl 1526.20050号

国际代数计算杂志。 33，第6期，1195-1216（2023）.
审核人：米哈伊尔·卡本纽克（凯梅罗沃）
MSC公司：2010年1月20日 2016年1月20日 20层70 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Mandel}和\textit{A.Ushakov}，国际代数计算杂志。33，第6号，1195--1216（2023；Zbl 1526.20050）
全文： 内政部 arXiv公司
伊雷姆库库库库格鲁;Milovanović，Gradimir V。;辛塞克，伊尔马兹

分析特殊单词和数字的生成函数以及计算算法。 （英语） Zbl 07648632号

梅迪特尔。数学杂志。 19，第6号，第268号论文，22页（2022年）.
MSC公司：03D40号 05年05月05日 2015年1月5日 11月XX日 第65季度20 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{I.Kucukoglu}等人，Mediterr。数学杂志。19，第6号，第268号论文，22页（2022；Zbl 07648632）
全文： 内政部 arXiv公司
Chebotarev，A.N。

构造由基本扩展图指定的\（-\omega\）-正则表达式。 （英语。乌克兰原文） Zbl 07630497号

赛博。系统。分析。 58，第2期，165-170（2022）；翻译自Kibern。修女。分析。58，第2期，第3-9页（2022年）。
MSC公司：68季度xx 03年月日
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。58，第2号，165--170（2022；Zbl 07630497）；翻译自Kibern。修女。分析。58，第2号，第3--9号（2022年）
全文： 内政部
科洛什·萨德里;费雷什特·沙贝吉;兹比格涅夫Puchała;卡罗尔·伊茨科夫斯基

一组经典或量子通道中的可访问地图。 （英语） 兹比尔1511.81089

打开系统。Inf.动态。 29，第1号，文章ID 2250002，40 p.（2022）.
MSC公司：81S22号 2005年5月20日 81页第47页 20F05型 30立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Sadri}等人，《开放系统》。Inf.动态。29，第1号，文章ID 2250002，40页（2022；Zbl 1511.81089）
全文： 内政部 arXiv公司
戴，乔尔·D·。

字符串求解上下文中的单词方程式。 （英语） Zbl 07570996号

Diekert，Volker（编辑）等人，《语言理论的发展》。第26届国际会议，DLT 2022，美国佛罗里达州坦帕，2022年5月9日至13日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13257, 13-32 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Day}，莱克特。注释计算。科学。13257，13-32（2022；Zbl 07570996）
全文： 内政部
亚历克赛·G·米亚斯尼科夫。;马哈茂德·索赫拉比

经典矩阵群中的丢番图问题。 （英语。俄文原件） Zbl 1487.20011号

伊兹夫。数学。 85，编号6，1220-1256（2021）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料85，编号6，205-244（2021）。
审核人：威尔伯德·范德卡伦（乌得勒支）
MSC公司：2010年1月20日 03C60型 20层70 20年35月
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Myasnikov}和\textit{M.Sohrabi}，Izv。数学。85，编号6，1220--1256（2021；Zbl 1487.20011）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料85，编号6，205--244（2021）
全文： 内政部
Lin，Anthony W。;鲁帕克·马朱姆达尔

具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 （英语） Zbl 1517.68319号

日志。方法计算。科学。 17，第4号，第4号文件，第20页（2021）.
MSC公司：68兰特 03B25号 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Lin}和\textit{R.Majumdar}，日志。方法计算。科学。17，第4期，第4号论文，20页（2021年；Zbl 1517.68319）
全文： arXiv公司 链接
J.阿格雷多。;法格诺拉，F。;D.波莱蒂。

单模Fock空间上的高斯量子Markov半群：不可约和正规不变态。 （英语） 兹比尔1480.81071

打开系统。Inf.动态。 28，第1号，文章ID 2150001，39 p.（2021）.
MSC公司：81R50美元 47D07型 2005年5月20日 30水柱 81S22号 82立方31
PDF格式BibTeX公司 XML格式引用
\textit{J.Agredo}等人，《开放系统》。Inf.动态。28，第1号，文章ID 2150001，39 p.（2021；Zbl 1480.81071）
全文： 内政部
费朗·塞多;埃里克·杰斯珀斯;夏洛特·维尔温普

构造Yang-Baxter方程集理论解的幺半群。 （英语） Zbl 1487.16035号

出版物。材料、棒材。 65，第2号，499-528（2021）；更正和增编同上，第68号，第241-250（2024）。
审核人：Ilaria Colazzo（埃克塞特）
MSC公司：2016年第25期 2005年5月20日
PDF格式BibTeX公司 XML格式引用
\textit{F.Cedó}等人，Publ。材料、棒材。65，第2号，499--528（2021；Zbl 1487.16035）
全文： 内政部 arXiv公司
蒂莫申科，E.I。

相对于相对自由可溶的基团收缩和口头封闭的亚组。 （英语。俄文原件） Zbl 07356195号

同胞。数学。J。 62，第3期，537-544（2021）；来自Sib的翻译。材料Zh。62，第3663-671号（2021）。
MSC公司：20层70 2016年1月20日 2010年1月20日 20E10年
PDF格式BibTeX公司 XML格式引用
\textit{E.I.Timoshenko}，锡伯。数学。J.62，No.3，537--544（2021；Zbl 07356195）；来自Sib的翻译。材料Zh。62，第3号，663--671（2021）
全文： 内政部
多米尼克·D·弗雷登伯格。;萨姆·汤普森。

文档扳手的动态复杂性。 （英语） Zbl 07650989号

Lutz，Carsten（编辑）等人，第23届数据库理论国际会议，ICDT 2020，丹麦哥本哈根，2020年3月30日至4月2日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。155，第11条，第21页（2020年）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.D.Freydenberger}和\textit{S.M.Thompson}，LIPIcs——莱布尼茨国际程序。通知。155，第11条，第21页（2020；Zbl 07650989）
全文： 内政部 arXiv公司
杰·阿图尔

通过重新压缩（受邀演讲）解决单词方程（和其他统一问题）。 （英语） Zbl 1530.68150号

Fernández，Maribel（编辑）等人，第28届EACSL计算机科学逻辑年会，CSL 2020，西班牙巴塞罗那，2020年1月13日至16日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。152，第3条，第17页（2020年）。
MSC公司：65年第68季度 65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeż}，LIPIcs——莱布尼茨国际程序。通知。152，第3条，第17页（2020；Zbl 1530.68150）
全文： 内政部
阿尔伯特·加雷塔;亚历克谢·米亚斯尼科夫;丹尼斯·奥夫钦尼科夫

可解群中的丢番图问题。 （英语） Zbl 1511.20118号

牛市。数学。科学。 10，第1号，文章ID 2050005，27 p.（2020）.
MSC公司：2010年1月20日 20层70 03B25号 2005年11月 2018年1月20日 2016年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{A.Garreta}等人，公牛。数学。科学。10，第1号，文章ID 2050005，第27页（2020；Zbl 1511.20118）
全文： 内政部 arXiv公司
莱昂纳德·施米茨;维克托·列万多夫斯基

矩阵代数恒等式的形式验证证明。 （英语） Zbl 1455.68253号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 222-236 (2020).
MSC公司：68伏15 15A24号 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{L.Schmitz}和\textit{V.Levandovskyy}，莱克特。注释计算。科学。12236，222--236（2020；Zbl 1455.68253）
全文： 内政部
杰·阿图尔

重新压缩：单词方程式和压缩数据的技术。 （英语） Zbl 1437.68098号

Lepori，Alberto（编辑）等人，《语言与自动机理论与应用》。第14届国际会议，2020年3月4日至6日，意大利米兰，LATA 2020。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12038, 44-67 (2020).
MSC公司：65年第68季度 03B25号 05年3月 68页30 70年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeż}，莱克特。注释计算。科学。12038，44-67（2020；Zbl 1437.68098）
全文： 内政部
保罗·C·贝尔。;伊戈尔·波塔波夫;帕维尔·塞穆金

关于死亡率问题：从乘法矩阵方程到线性递归序列及其他问题。 （英语） Zbl 1519.11070号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第83条，第15页（2019年）。
MSC公司：2005年11月 03B25号 11J81型 15A30型 2005年5月20日
PDF格式BibTeX公司 XML格式引用
\textit{P.C.Bell}等人，LIPIcs——莱布尼茨国际程序。通知。138，第83条，第15页（2019年；Zbl 1519.11070）
全文： 内政部
戴，乔尔·D·。;弗罗林·马内亚;德克·诺沃特卡

某些二次方程最小解长度的上界。 （英语） Zbl 1517.68315号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第44条，第15页（2019年）。
MSC公司：68兰特 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Day}等人，LIPIcs——莱布尼茨国际程序。通知。138，第44条，第15页（2019年；Zbl 1517.68315）
全文： 内政部
亚历山大·贝尔顿。

经典和量子马尔可夫半群简介。 （英语） Zbl 1471.81055号

Bahns，Dorothea（编辑）等人，《开放量子系统》。数学观点。基于2016年11月16日至19日在德国哥廷根哥廷根大学冬季学校关于开放量子系统动力学方法的讲座。查姆：Birkhäuser。导师。附表。数学研讨会。科学。，1-54 (2019).
审核人：长水余（大连）
MSC公司：81S22号 47D06型 47D07型 47D08型 2005年5月20日
PDF格式BibTeX公司 XML格式引用
\textit{A.C.R.Belton}，in：开放量子系统。数学观点。基于2016年11月16日至19日德国哥廷根大学哥廷根分校冬季学校关于开放量子系统动力学方法的讲座。查姆：Birkhäuser。1-54（2019年；Zbl 1471.81055）
全文： 内政部
Gubarev，V.Yu。

前李代数和后李代数的泛包络李-罗塔-巴斯特代数。 （英语。俄文原件） Zbl 1472.17047号

代数逻辑 58，第1期，第1-14页（2019年）；《代数逻辑》58，第1期，3-21页（2019年）的译文。
审核人：Plamen Koshlukov（坎皮纳斯）
MSC公司：17B35型 17层38 17英镑
PDF格式BibTeX公司 XML格式引用
\textit{V.Yu.Gubarev}，代数逻辑58，No.1，1-14（2019；Zbl 1472.17047）；《代数逻辑学》58，No.1，3--21（2019）的翻译
全文： 内政部 arXiv公司
阿拉莫，A。;桑兹·塞尔纳（J.M.Sanz-Serna）。

随机微分方程的单词组合：分裂积分器。 （英语） Zbl 1476.60092号

Commun公司。纯应用程序。分析。 18，第4期，2163-2195（2019）.
审核人：尼古拉斯·塔皮亚（柏林）
MSC公司：2005年6月60日 2016年第05期
PDF格式BibTeX公司 XML格式引用
\textit{A.Alamo}和\textit{J.M.Sanz-Serna}，Commun。纯应用程序。分析。18，第4号，2163--2195（2019年；Zbl 1476.60092）
全文： 内政部 arXiv公司
德克·诺沃特卡;阿列克西·萨雷拉

一元词方程解集的最优界及其结果。 （英语） Zbl 1492.68114号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第136条，第13页（2018年）。
MSC公司：68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.Nowotka}和\textit{A.Saarela}，LIPIcs——莱布尼茨国际程序。通知。107，第136条，第13页（2018；Zbl 1492.68114）
全文： 内政部
尼古拉·戈尔迪夫。;库尼亚夫斯基（Kunyavski）和鲍里斯（Boris）。;尤金·普洛金（Eugene B.Plotkin）。

特殊域上简单代数群中单词方程的几何。 （英语。俄文原件） Zbl 1442.20028号

俄罗斯数学。Surv公司。 73，第5号，753-796（2018）；来自Usp的翻译。Mat.Nauk 73，第5期，第3-52页（2018年）。
审核人：亚历山大·伊万诺维奇·巴金（巴诺）
MSC公司：20层70 20世纪15年代 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{N.L.Gordeev}等人，俄罗斯数学。Surv公司。73，编号5753-796（2018；兹bl 1442.20028）；来自Usp的翻译。Mat.Nauk 73，No.5，3--52（2018）
全文： 内政部 arXiv公司
反向链接： 卫生官员 卫生官员 卫生官员
戴，乔尔·D·。;维杰·加内什;他，保罗;弗罗林·马内亚;德克·诺沃特卡

字方程的可满足性：可判定和不可判定理论。 （英语） Zbl 1515.68256号

Potapov，Igor（编辑）等人，《可达性问题》。2018年9月24日至26日在法国马赛举行的RP 2018第12届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11123，15-29（2018）。
MSC公司：68兰特 03B25号 03B70号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Day}等人，Lect。注释计算。科学。11123，15-29（2018；Zbl 1515.68256）
全文： 内政部
蒂莫申科，E.I。

关于部分交换元贝里群的分裂、子群和理论。 （英语。俄文原件） Zbl 1406.20041号

同胞。数学。J。 59，第3期，536-541（2018）；来自Sib的翻译。材料Zh。59，第3期，676-683（2018）。
MSC公司：20F05型 20E10年 05C25号 2016年1月20日 20层70 03C60型 2010年1月20日 20E07年
PDF格式BibTeX公司 XML格式引用
\textit{E.I.Timoshenko}，锡伯。数学。J.59，No.3，536--541（2018；Zbl 1406.20041）；来自Sib的翻译。材料Zh。59，第3号，676--683（2018）
全文： 内政部
Ant Klyachko。答：。;马祖加，A.M。

口头封闭的几乎自由的子组。 （英语。俄文原件） Zbl 1452.20041号

Sb.数学。 209，第6号，850-856（2018）；翻译自Mat.Sb.209，No.6，75-82（2018）。
MSC公司：20层70 20E05年 20E07年 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{Ant.A.Klyachko}和\textit{A.M.Mazhuga}，数学学士。209，第6号，850--856（2018；Zbl 1452.20041）；翻译自Mat.Sb.209，No.6，75--82（2018）
全文： 内政部 arXiv公司
安东·科利亚奇科（Anton A.Klyachko）。;安德烈·马祖加。;Miroshnichenko，Veronika Yu。

几乎自由的有限正规-无子群是强口头封闭的。 （英语） 兹比尔1401.20048

J.代数 510, 319-330 (2018).
审核人：亚历山大·伊万诺维奇·布德金（巴瑙尔）
MSC公司：20层70 20E05年 20E07年 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Klyachko}等人，J.代数510，319-330（2018；Zbl 1401.20048）
全文： 内政部 arXiv公司
杰·阿图尔

非确定线性空间中的字方程。 （英语） Zbl 1442.68094号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第95条，第13页（2017年）。
MSC公司：65年第68季度 65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeż}，LIPIcs——莱布尼茨国际程序。通知。80，第95条，13 p.（2017；Zbl 1442.68094）
全文： 内政部 arXiv公司
戴，乔尔·D·。;弗罗林·马内亚;德克·诺沃特卡

解决简单单词方程的困难。 （英语） Zbl 1441.68089号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第18条，第14页（2017年）。
MSC公司：65年第68季度 2017年第68季度 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Day}等人，LIPIcs——莱布尼茨国际程序。通知。83，第18条，第14页（2017年；Zbl 1441.68089）
全文： 内政部 arXiv公司
多米尼克·D·弗雷登伯格。

文档扳手的逻辑。 （英语） Zbl 1402.68047号

Benedikt，Michael（编辑）等人，第20届数据库理论国际会议，2017年ICDT，意大利威尼斯，2017年3月21日至24日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-024-8）。LIPIcs–莱布尼茨国际信息学论文集68，第13条，第18页（2017年）。
MSC公司：第68页，共15页 03B70号 68第20页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.D.Freydenberger}，LIPIcs——莱布尼茨国际程序。通知。68，第13条，第18页（2017；Zbl 1402.68047）
全文： 内政部
阿列克西·萨雷拉

幂等于幂的乘积的单词方程式。 （英语） Zbl 1402.68151号

Vollmer，Heribert（编辑）等人，第34届计算机科学理论方面研讨会（STACS 2017），德国汉诺威，2017年3月8-11日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-028-6）。LIPIcs–莱布尼茨国际信息学学报66，第55条，第9页（2017年）。
MSC公司：68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Saarela}，LIPIcs——莱布尼茨国际程序。通知。66，第55条，第9页（2017年；Zbl 1402.68151）
全文： 内政部
什特·潘·霍卢布

交换和超越（扩展抽象）。 （英语） Zbl 1405.68263号

Brlek，Srečko（编辑）等人，《单词组合学》。2017年9月11日至15日，第11届国际会议，WORDS 2017，加拿大魁北克省蒙特利尔市。诉讼程序。查姆：施普林格（ISBN 978-3-319-66395-1/pbk；978-3-3169-66396-8/电子书）。计算机科学课堂讲稿10432，1-5（2017）。
MSC公司：68兰特
PDF格式BibTeX公司 XML格式引用
\textit{Š.Holub}，莱克特。注释计算。科学。10432，1-5（2017年；兹bl 1405.68263）
全文： 内政部
罗曼科夫，V.A。;Khisamiev，N.G。;Konyrkhanova，A.A。

有限生成幂零群的代数和口头闭子群和收缩。 （英语。俄文原件） Zbl 1400.20026号

同胞。数学。J。 58，第3期，536-545（2017）；来自Sib的翻译。材料Zh。58，第3期，686-699（2017）。
MSC公司：2018年1月20日 20层70 2010年1月20日 20E07年 20F05型
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Roman'kov}等人，Sib。数学。J.58，No.3，536--545（2017；Zbl 1400.20026）；来自Sib的翻译。材料Zh。58，第3号，686--699（2017）
全文： 内政部
V.Ya，Bloshchitsyn。;蒂莫申科，E.I。

部分交换metabelian群的普遍理论之间的比较。 （英语。俄文原件） Zbl 1400.20021号

同胞。数学。J。 58，第3号，382-391（2017）；来自Sib的翻译。材料Zh。58，第3期，497-509（2017）。
MSC公司：20F05型 20E10年 05C25号 20层70 03B10号机组 03C60型 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{V.Ya.Bloshchitsyn}和\textit{E.I.Timoshenko}，Sib。数学。J.58，No.3，382--391（2017；Zbl 1400.20021）；来自Sib的翻译。材料Zh。58，第3号，497--509（2017）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件