×

找到216个文档（结果1–100）

最新的 引文 关联
卡拉广场;里卡多·罗曼内洛

量子自动机中的镜像和内存。 （英语） Zbl 1522.68282号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 359-380 (2022).
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Piazza}和\textit{R.Romanello}，莱克特。注释计算。科学。13479，359--380（2022；Zbl 1522.68282）
全文： 内政部
卡米尔·卡迪耶夫;阿利亚·卡迪埃娃;曼苏尔·齐亚丁诺夫;伊尔纳兹·曼纳波夫;德米特里·克拉夫琴科;亚历山大·里沃什;拉米斯·亚米洛夫

双向和单向量子和经典自动机，为在线最小化问题提供建议。 （英语） Zbl 07527766号

西奥。计算。科学。 920，76-94（2022）.
MSC公司：65年第68季度 68周27 81页68
PDF格式BibTeX公司 XML格式引用
\textit{K.Khadiev}等人，Theor。计算。科学。920、76-94（2022；Zbl 07527766）
全文： 内政部
安德烈斯·安巴尼斯;亚卡里·马茨，阿布泽尔

自动机和量子计算。 （英语） Zbl 07425675号

Pin，Jean-Eric（编辑），《自动机理论手册》。第二卷。数学和选定应用中的自动机。柏林：欧洲数学学会（EMS）。1457-1493 (2021).
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Ambainis}和\textit{A.Yakary-lmaz}，摘自：自动机理论手册。第二卷。数学和选定应用中的自动机。柏林：欧洲数学学会（EMS）。1457--1493（2021；Zbl 07425675）
全文： 内政部 arXiv公司
卡米尔·卡迪耶夫;阿利亚·卡迪埃娃

双向量子自动机和经典自动机，为在线最小化问题提供建议。 （英语） Zbl 1509.68134号

Sekerinski，Emil（编辑）等人，《形式方法》。FM 2019国际研讨会。葡萄牙波尔图，2019年10月7日至11日。修订了选定的论文。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12233, 428-442 (2020).
MSC公司：65年第68季度 68周27 81页68
PDF格式BibTeX公司 XML格式引用
\textit{K.Khadiev}和\textit{A.Khadieva}，莱克特。注释计算。科学。12233，428-442（2020；Zbl 1509.68134）
全文： 内政部
弗拉基米尔·扎姆德日耶夫

通过切片类别的一阶仿射归纳数据类型的语义。 （英语） Zbl 1480.68011号

Petrišan，Daniela（编辑）等人，《计算机科学中的协代数方法》。第15届IFIP工作组1.3国际研讨会，CMCS 2020，与ETAPS 2020共同举办，爱尔兰都柏林，2020年4月25日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12094, 180-200 (2020).
MSC公司：68问题65 18 C50 81页68
PDF格式BibTeX公司 XML格式引用
\textit{V.Zamdzhiev}，莱克特。注释计算。科学。12094180-200（2020年；兹比尔1480.68011）
全文： 内政部 arXiv公司
阿列克塞伊斯·诺莫夫斯;马克西姆斯·迪米特里耶夫斯;亚卡里·马茨，阿布泽尔

最小概率和量子有限自动机识别具有固定切点的无数种语言。 （英语） Zbl 1451.68158号

离散数学。西奥。计算。科学。 22，第1号，第13号论文，第12页（2020年）.
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit｛A.Naumovs｝等人，《离散数学》。西奥。计算。科学。22，第1号，第13号论文，第12页（2020年；Zbl 1451.68158）
全文： 内政部 arXiv公司
金建华;李春泉

量子可逆模糊文法。 （英语） Zbl 1452.68094号

孙晓明（主编）等，《理论计算机科学》。2019年NCTCS第37届全国会议，中国兰州，2019年8月2-4日。修订了选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1069, 150-167 (2019).
MSC公司：2012年第68季度 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{J.Jin}和\textit{C.Li}，Commun。计算。信息科学。1069，150-167（2019；Zbl 1452.68094）
全文： 内政部
山崎富代

绝热量子计算如何适应量子自动机理论？ （英语） Zbl 1434.68293号

Hospodár，Michal（编辑）等人，《形式系统的描述复杂性》。第21届IFIP工作组1.02国际会议，2019年7月17日至19日，斯洛伐克科希策，DCFS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11612, 285-297 (2019).
MSC公司：65年第68季度 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{T.Yamakami}，莱克托。注释计算。科学。11612，285--297（2019；Zbl 1434.68293）
全文： 内政部 arXiv公司
山崎富代

多项式尺寸量子有限自动机的非一致族和带有多项式尺寸建议的量子对数空间计算。 （英语） Zbl 1425.68238号

Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11417, 134-145 (2019).
MSC公司：65年第68季度 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{T.Yamakami}，莱克托。注释计算。科学。11417134-145（2019年；兹比尔1425.68238）
全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;奥克塔维奥·马勒贝

lambda-\（\mathcal{S}\）的具体范畴语义。 （英语） Zbl 1433.68201号

Accattoli，Beniamino（编辑）等人，《逻辑和语义框架与应用第13次研讨会论文集》，LSFA 18，巴西福塔莱萨，2018年9月26日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。344, 83-100 (2019).
MSC公司：68问题55 03B40型 18 C50 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}和\textit{O.Malherbe}，电子。注释Theor。计算。科学。34483-100（2019年；Zbl 1433.68201）
全文： 内政部
Dalla Chiara，M.L.（医学博士）。;吉安蒂尼，R。;E.内格里。

科学和音乐中的隐喻。量子语义方法。 （英语） Zbl 1414.18001号

Aerts，Diederik（编辑）等人，《探索量子力学的意义》。信息、语境、关系主义和纠缠。第二届量子力学和量子信息国际研讨会论文集。物理、哲学和逻辑方法，CLEA，比利时布鲁塞尔自由大学，2015年7月23日至24日。新泽西州哈肯萨克：《世界科学》。69-87 (2019).
MSC公司：18 C50 00A65号 81页68 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.L.Dalla Chiara}等人，in：探索量子力学的意义。信息、语境、关系主义和纠缠。第二届量子力学和量子信息国际研讨会论文集。物理、哲学和逻辑方法，CLEA，布鲁塞尔自由大学，比利时，2015年7月23日至24日。新泽西州哈肯萨克：《世界科学》。69-87（2019年；Zbl 1414.18001）
全文： 内政部
安德烈斯·安巴尼斯;马尼克·巴尼克;阿努巴夫·查图尔维迪;德米特里·克拉夫琴科;阿舒托什·雷

奇偶性遗忘（d）级随机接入码和一类非文本不等式。 （英语） Zbl 1417.81020号

量子信息处理。 18，第4号，第111号论文，20页（2019年）.
MSC公司：第81页，共13页 第81页，共15页 65年第68季度 81页70 81页68 81页40页
PDF格式BibTeX公司 XML格式引用
\textit{A.Ambainis}等人，《量子信息处理》。18，第4号，第111号文件，第20页（2019年；兹bl 1417.81020）
全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;马科斯·维拉格拉

经典的时间控制量子自动机。 （英语） 兹比尔1522.68264

Fagan，David（编辑）等人，《自然计算的理论与实践》。2018年12月12日至14日，第七届国际会议，TPNC 2018，爱尔兰都柏林。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11324, 266-278 (2018).
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}和\textit{M.Villagra}，莱克特。注释计算。科学。11324、266--278（2018；Zbl 1522.68264）
全文： 内政部
马西斯·雷内拉;萨姆·斯塔顿

丰富范畴理论中的经典控制和量子电路。 （英语） Zbl 1525.68020号

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。第336257-279页（2018）。
MSC公司：68甲18 18 C50 18D20天 68问题55 81页65
PDF格式BibTeX公司 XML格式引用
\textit{M.Rennela}和\textit{S.Staton}，电子。注释Theor。计算。科学。336257-279（2018年；Zbl 1525.68020）
全文： 内政部
鲍勃·科克;法布里奇奥·基诺维塞;斯特凡诺·戈吉奥索;丹·马斯登;罗宾·皮埃德鲁

量子理论和语言学中构图的独特性。 （英语） Zbl 1486.18014号

Coecke，Bob（编辑）等人，《第14届量子物理与逻辑国际会议论文集》，QPL'17，荷兰奈梅亨，2017年7月3-7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）266、249-257（2018年）。
MSC公司：18日第15天 18 C50 03B65号 81页第10页 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{B.Coecke}等人，《电子》。程序。西奥。计算。科学。（EPTCS）266249-257（2018；Zbl 1486.18014）
全文： arXiv公司 链接
艾克·诺依曼;马丁·佩普;托马斯·斯特里彻

基本量子力学中的可计算性。 （英语） Zbl 1451.18016号

日志。方法计算。科学。 14，第2号，第14号论文，20页（2018年）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18 C50 03D78号 81页第10页
PDF格式BibTeX公司 XML格式引用
\textit{E.Neumann}等人，《日志》。方法计算。科学。14，第2号，第14号论文，20页（2018；Zbl 1451.18016）
全文： 内政部 arXiv公司
亚历克斯·基辛格;桑德·尤伊伦

因果结构的范畴语义。 （英语） Zbl 1457.68190号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第35条，第12页（2017年）。
MSC公司：68问题85 03G30型 18 C50 第81页，共16页
PDF格式BibTeX公司 XML格式引用
\textit{A.Kissinger}和\textit{S.Uijlen}，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，冰岛雷克雅未克雷克雅维克大学，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第35条，第12页（2017；Zbl 1457.68190）
全文： 链接
金德勒，盖伊;莱恩·奥唐纳

量子自动机无法检测到有偏差的硬币，即使是在极限范围内。 （英语） Zbl 1441.68058号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第15条，第8页（2017年）。
MSC公司：2012年第68季度 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{G.Kindler}和\textit{R.O'Donnell}，LIPIcs——莱布尼茨国际程序。通知。80，第15条，第8页（2017年；Zbl 1441.68058）
全文： 内政部 arXiv公司
德西奥·克劳斯;乔纳斯·R·贝克尔·阿伦哈特。;佩德罗·梅尔卢西

不可分辨的模态逻辑。 （英语） Zbl 1356.81040号

Aerts，Diederik（编辑）等人，《探索量子力学的意义》。叠加、动态、语义和身份。基于2014年7月23日至25日在意大利卡利亚里举行的第一届量子力学和量子信息国际会议：物理、哲学和逻辑方法。新泽西州哈肯萨克：世界科学（ISBN 978-981-3146-27-3/hbk；978-981-3 146-29-7/电子书）。259-279 (2016).
MSC公司：81第05页 03B45号 03时10分 18 C50
PDF格式BibTeX公司 XML格式引用
\textit｛D.Krause｝等人，在：探索量子力学的意义。叠加、动态、语义和身份。基于2014年7月23日至25日在意大利卡利亚里举行的第一届量子力学和量子信息国际会议：物理、哲学和逻辑方法。新泽西州哈肯萨克：《世界科学》。259--279（2016；Zbl 1356.81040）
全文： 内政部
迪米特里·卡扎克利斯;梅赫努什·萨德扎德;斯蒂芬·普鲁曼;鲍勃·科克

用紧闭范畴和Frobenius代数推理自然语言中的意义。 （英语） Zbl 1355.81013号

Chubb，Jennifer（编辑）等人，量子计算中的逻辑和代数结构。基于2010年3月17日至20日在美国华盛顿特区举行的符号逻辑协会2010年北美年会上举行的一次特别会议。剑桥：剑桥大学出版社（ISBN 978-1-107-03339-9/hbk；978-1-139-51968-7/电子书）。逻辑课堂讲稿45，199-222（2016）。
MSC公司：81第05页 81页第45页 03B65号 18 C50 16升60 81页68 81T45型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kartsaklis}等人，Lect。注释日志。45、199--222（2016；Zbl 1355.81013）
全文： 内政部 arXiv公司
亚历山大·贝洛夫;J.Andres蒙托亚;亚卡里·马茨，阿布泽尔

寻找难以分离的配对：量子方法。 （英语） Zbl 1379.68214号

Han，Yo-Sub（编辑）等，自动机的实现和应用。第21届国际会议，CIAA 2016，韩国首尔，2016年7月19日至22日。诉讼程序。查姆：施普林格（ISBN 978-3-319-40945-0/pbk；978-3-316-40946-7/电子书）。计算机科学9705，213-223课堂讲稿（2016）。
MSC公司：65年第68季度 2005年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Belovs}等人，Lect。注释计算。科学。9705213-223（2016年；Zbl 1379.68214）
全文： 内政部 链接
马科斯·维拉格拉;亚卡里·马茨，阿布泽尔

仿射自动机的语言识别能力和简洁性。 （英语） Zbl 1476.68139号

Amos，Martyn（编辑）等人，《非常规计算与自然计算》。2016年7月11-15日在英国曼彻斯特举行的2016年UCNC第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9726, 116-129 (2016).
MSC公司：65年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Villagra}和\textit{A.Yakary lmaz}，莱克特。注释计算。科学。97261116-129（2016年；兹bl 1476.68139）
全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;亚卡里·马茨，阿布泽尔

仿射计算和仿射自动机。 （英语） 兹伯利1434.68172

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会，CSR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9691, 146-160 (2016).
MSC公司：2009年第68季度 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}和\textit{A.Yakary-lmaz}，莱克特。注释计算。科学。9691、146-160（2016年；Zbl 1434.68172）
全文： 内政部 arXiv公司
克里斯·希恩;马尔蒂·卡沃宁

可逆单子计算。 （英语） Zbl 1351.68100号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319217-237，仅电子版（2015）。
MSC公司：2005年第68季度 18个C20 18 C50 18日第15天 第81页，共15页 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Heunen}和\textit{M.Karvonen}，电子。注释Theor。计算。科学。319、217--237（2015；Zbl 1351.68100）
全文： 内政部 arXiv公司
山崎富代

恒定空间量子计算的复杂性边界。 （英语） 兹比尔1434.68292

Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9168, 426-438 (2015).
MSC公司：65年第68季度 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{T.Yamakami}，莱克托。注释计算。科学。9168426--438（2015年；Zbl 1434.68292）
全文： 内政部 arXiv公司
艾达·盖努蒂诺娃;亚卡里·马茨，阿布泽尔

关于承诺问题的一元概率和量子自动机。 （英语） Zbl 1434.68250号

Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第9168252-263页（2015年）。
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Gainutdinova}和\textit{A.Yakary lmaz}，莱克特。注释计算。科学。9168、252--263（2015年；Zbl 1434.68250）
全文： 内政部 arXiv公司
Masaki Nakanishi;亚卡里·马茨，阿布泽尔

关于承诺问题的经典和量子计数器自动机。 （英语） Zbl 1466.68052号

Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9223, 224-237 (2015).
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Nakanishi}和\textit{A.Yakary-lmaz}，莱克特。注释计算。科学。9223、224--237（2015；Zbl 1466.68052）
全文： 内政部 arXiv公司
Masaki Nakanishi

带有垃圾带的量子下推自动机。 （英语） 兹比尔1432.68238

Italiano、Giuseppe F.（编辑）等，《2015年SOFSEM：计算机科学的理论与实践》。2015年1月24日至29日，第41届计算机科学理论与实践当前趋势国际会议，捷克共和国，Pec pod Snězzo kou。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8939, 352-363 (2015).
MSC公司：65年第68季度 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Nakanishi}，莱克特。注释计算。科学。8939，352--363（2015；Zbl 1432.68238）
全文： 内政部 arXiv公司
罗宾·亚当斯

量子程序和效果语言。 （英语） Zbl 1464.68068号

Coecke，Bob（编辑）等人，《第十一届量子物理与逻辑研讨会论文集》，QPL'14，日本京都，2014年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）172133-153（2014）。
MSC公司：68号30 18 C50 81页68
PDF格式BibTeX公司 XML格式引用
\发短信给电子公司。程序。西奥。计算。科学。（EPTCS）172133--153（2014；Zbl 1464.68068）
全文： arXiv公司 链接
凯蒂·巴尔;维·肯登

量子行走在语言接受方面的表达能力。 （英语） Zbl 1464.81017号

Duncan，Ross（编辑）等人，《第九届量子物理与逻辑研讨会论文集》，QPL'12，比利时布鲁塞尔，2012年10月10日至12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）158，39-51（2014）。
MSC公司：81页68 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.Barr｝和\textit｛V.Kendon｝，电子。程序。西奥。计算。科学。（EPTCS）158，39--51（2014；Zbl 1464.81017）
全文： arXiv公司 链接
斯科贝列夫，V.G。

在一些语言上，以给定的概率被二进制输入字母表的1qubit MO-1QFA接受。 （英语） Zbl 1340.68045号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2014年，第4期，225-227（2014）.
MSC公司：65年第68季度 2005年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{V.G.Skobelev}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2014年，第4期，225-227（2014；Zbl 1340.68045）
阿塞尼·M·舒尔。;亚卡里·马茨，阿布泽尔

具有少量状态的量子、随机和伪随机语言。 （英语） Zbl 1445.68126号

Ibarra，Oscar H.（编辑）等人，《非常规计算与自然计算》。2014年7月14日至18日，第13届国际会议，加拿大安大略省伦敦，2014年UCNC。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。8553, 327-339 (2014).
MSC公司：65年第68季度 2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Shur}和\textit{A.Yakary lmaz}，莱克特。注释计算。科学。8553、327--339（2014；Zbl 1445.68126）
全文： 内政部 arXiv公司
阿尔贝托·贝托尼;克里斯蒂安·乔夫鲁特;弗拉维奥·达莱桑德罗

关于量子自动机和无上下文语言的交集问题的可判定性。 （英语） Zbl 1310.68127号

发现的国际期刊。计算。科学。 25，第8期，1065-1081（2014）.
MSC公司：65年第68季度 2005年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Bertoni}等人，国际法学研究所。计算。科学。25，第8号，1065--1081（2014；Zbl 1310.68127）
全文： 内政部
斯科贝列夫，V.G。

有限1量子比特量子自动机幺正算子的旋转分析。 （英语） Zbl 1313.68070号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2014年第2期，194-201（2014）.
MSC公司：65年第68季度 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\文本{V.G.Skobelev}，视觉。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2014，第2期，194--201（2014；Zbl 1313.68070）
亚卡里·马茨，阿布泽尔;喂，A.C.杰姆;H.Gökalp Demirci

与小型透明量子验证器进行辩论。 （英语） Zbl 1425.68117号

Shur，Arseny M.（编辑）等，《语言理论的发展》。2014年8月26日至29日，俄罗斯叶卡捷琳堡，DLT 2014第18届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8633227-338（2014年）。
MSC公司：2005年第68季度 第68季度10 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Yakarylmaz}等人，莱克特。注释计算。科学。8633，327--338（2014；Zbl 1425.68117）
全文： 内政部 arXiv公司
吉卜兰·拉希德;亚卡里·马茨，阿布泽尔

量子自动机对语境的影响。 （英语） Zbl 1302.68177号

Holzer，Markus（编辑）等人，《自动机的实现和应用》。2014年7月30日至8月2日，第19届国际会议，CIAA 2014，德国吉森。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08845-7/pbk）。《计算机科学讲义》8587318-331（2014）。
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{J.拉希德}和\textit{A.雅卡里·马兹}，莱克特。注释计算。科学。8587、318--331（2014；Zbl 1302.68177）
全文： 内政部 arXiv公司
玛丽亚·保拉·比安奇;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

关于量子态和经典态的单向自动机的威力。 （英语） Zbl 1302.68150号

Holzer，Markus（编辑）等人，《自动机的实现和应用》。2014年7月30日至8月2日，第19届国际会议，CIAA 2014，德国吉森。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08845-7/pbk）。计算机科学课堂讲稿8587，84-97（2014）。
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bianchi}等人，Lect。注释计算。科学。8587，84-97（2014；Zbl 1302.68150）
全文： 内政部
李，杨佳;英明生

关于量子系统可达性的不可判定问题。 （英语） Zbl 1417.68042号

Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 482-496 (2014).
MSC公司：2005年第68季度 65年第68季度 60年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}和\textit{M.Ying}，Lect。注释计算。科学。8704、482--496（2014；Zbl 1417.68042）
全文： 内政部 arXiv公司
希亚拉·马莱托;马里奥·拉塞蒂

量子物理学、拓扑学、形式语言、计算：一种向大卫·希尔伯特致敬的分类观点。 （英语） Zbl 1302.18007号

透视。科学。 22，第1期，98-114（2014）.
MSC公司：18日第15天 05年5月57日 57米15 57平方米 57M50型 2005年第68季度 2012年第68季度 65年第68季度 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Marletto}和\textit{M.Rasetti}，透视。科学。22，第1号，98--114（2014；Zbl 1302.18007）
全文： 内政部
郑生根;乔泽夫·格鲁斯卡;邱道文

半量子有限自动机的状态复杂性。 （英语） Zbl 1407.68269号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8370, 601-612 (2014).
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{S.Zheng}等人，Lect。注释计算。科学。8370601--612（2014；Zbl 1407.68269）
全文： 内政部 arXiv公司
杰米·维卡里

量子算法的拓扑结构。 （英语） Zbl 1366.68067号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。93-102 (2013).
MSC公司：2012年第68季度 18 C50 81页68
PDF格式BibTeX公司 XML格式引用
\textit｛J.Vicary｝，载：2013年第28届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2013，美国洛杉矶新奥尔良杜兰大学，2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。93-102（2013；Zbl 1366.68067）
全文： 内政部 arXiv公司
阿尔贝托·贝托尼;克里斯蒂安·乔夫鲁特;弗拉维奥·达莱桑德罗

量子有限自动机和线性无上下文语言：一个可判定的问题。 （英语） 兹比尔1381.68109

Béal，Marie-Pierre（编辑）等，《语言理论的发展》。2013年6月18日至21日，第17届国际会议，DLT 2013，法国马内拉瓦莱。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38770-8/pbk）。计算机科学课堂讲稿7907，82-93（2013）。
MSC公司：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Bertoni}等人，Lect。注释计算。科学。7907、82-93（2013年；Zbl 1381.68109）
全文： 内政部 arXiv公司
克里斯·希恩（编辑）;梅赫努什·萨德扎德（编辑）;爱德华·格雷芬斯特特（编辑）

量子物理学和语言学。构图的、图解的话语。 （英语） Zbl 1262.81004号

牛津：牛津大学出版社（ISBN 978-0-19-964629-6/hbk）。xx，第409页。(2013).
MSC公司：81-06 81页第45页 81R50美元 03B65号 18 C50 18日第15天 16Txx型 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{C.Heunen}（编辑）等人，《量子物理学和语言学》。构图式的话语。牛津：牛津大学出版社（2013；Zbl 1262.81004）
杰米·维卡里

量子协议的更高语义。 （英语） Zbl 1364.81084号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。606-615 (2012).
MSC公司：81页68 18 C50 18D05日
PDF格式BibTeX公司 XML格式引用
\textit{J.Vicary}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。606-615（2012年；Zbl 1364.81084）
全文： 内政部
川崎岩马

恢复神谕中的字符串：量子和经典。 （英语） Zbl 1358.68136号

Yen，Hsu-Chun（编辑）等，《语言理论的发展》。第16届国际会议，DLT 2012，台湾台北，2012年8月14-17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31652-4/pbk）。计算机科学课堂讲稿7410，23（2012）。
MSC公司：65年第68季度 2012年第68季度 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{K.岩马}，莱克特。注释计算。科学。7410，23（2012；Zbl 1358.68136）
全文： 内政部
郑生根;邱道文;李绿洲;乔泽夫·格鲁斯卡

具有量子和经典状态的单向有限自动机。 （英语） Zbl 1330.68183号

Bordihn，Henning（编辑）等人，《活着的语言》。纪念尤尔根·达索65岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-31643-2/pbk）。计算机科学课堂讲稿7300，273-290（2012）。
MSC公司：65年第68季度 2005年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{S.Zheng}等人，Lect。注释计算。科学。7300、273--290（2012；Zbl 1330.68183）
全文： 内政部 arXiv公司
达斯科·巴甫洛维奇

量子计算中的抽象几何。 （英语） Zbl 1258.81022号

Abramsky，Samson（编辑）等人，《信息流的数学基础》。2008年3月12日至15日，美国路易斯安那州新奥尔良市杜兰大学，Clifford教授物理、几何、逻辑和计算中的信息流。普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-0-8218-4923-1/hbk）。应用数学专题讨论会论文集71，233-267（2012）。
MSC公司：81页68 18日第10天 18天35分 18 C50 68问题55 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{D.Pavlovic}，Proc。交响乐团。申请。数学。71233--267（2012；Zbl 1258.81022）
全文： arXiv公司
山崎富代

单向可逆量子有限自动机与建议。 （英语） Zbl 1351.68144号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2012年3月5日至9日在西班牙科鲁尼亚举行的2012年拉丁美洲旅游协会第六届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28331-4/pbk）。计算机科学讲义7183，526-537（2012）。
MSC公司：65年第68季度 2005年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{T.Yamakami}，莱克托。注释计算。科学。7183、526--537（2012；Zbl 1351.68144）
全文： 内政部 arXiv公司
Gilles Dowek

围绕物理丘吉尔理论：细胞自动机、形式语言和量子理论原理。 （英语） Zbl 1351.68099号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2012年3月5日至9日在西班牙科鲁尼亚举行的2012年拉丁美洲旅游协会第六届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28331-4/pbk）。计算机科学讲义7183，21-37（2012）。
MSC公司：2005年第68季度 65年第68季度 68问题80 81第05页
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}，莱克特。注释计算。科学。7183，21-37（2012；Zbl 1351.68099）
全文： 内政部 哈尔
达斯科·巴甫洛维奇

量子计算的相关玩具模型：理解、互补和匕首混合自治类别。 （英语） Zbl 1348.81174号

Coecke，Bob（编辑）等人，《第六届量子物理与逻辑国际研讨会论文集》（QPL 2009），英国牛津，2009年4月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记270，第2期，121-139（2011）。
MSC公司：81页68 18 C50 18D05日 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{D.Pavlovic}，电子。注释Theor。计算。科学。270，第2号，121--139（2011；Zbl 1348.81174）
全文： 内政部 arXiv公司
Mika Hirvensalo

量子自动机理论——综述。 （英语） Zbl 1350.68171号

Kuich，Werner（编辑）等人，《计算机科学中的代数基础》。在西蒙·博扎帕里迪斯退休之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-24896-2/pbk）。计算机科学课堂讲稿7020，146-167（2011）。
MSC公司：65年第68季度 2005年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Hirvensalo}，莱克特。注释计算。科学。7020、146--167（2011；Zbl 1350.68171）
全文： 内政部
卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

量子自动机和周期事件。 （英语） Zbl 1222.68082号

Martín-Vide，Carlos（编辑），语言方法的科学应用。伦敦：帝国理工学院出版社（ISBN 978-1-84816-544-1/hbk；978-1-848 16-545-8/电子书）。数学、计算、语言和生活：数学语言学和语言理论的前沿2，563-584（2011）。
MSC公司：2012年第68季度 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Mereghetti}和\textit{B.Palano}，数学。计算。语言生活：正面。数学。语言学家。兰格·提奥。2563--584（2011；Zbl 1222.68082）
阿德安·卡贝洛;Joost J.乔斯特恩。

模拟量子上下文的隐藏变量越来越违反Holevo界。 （英语） Zbl 1331.81046号

Calude，Cristian S.（编辑）等人，《非常规计算》。2011年6月6日至10日在芬兰图尔库举行的2011年加州大学第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21340-3/pbk）。计算机科学课堂讲稿6714，64-76（2011）。
MSC公司：第81页，共13页 2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Cabello｝和\textit｛J.Joosten｝，Lect。注释计算。科学。6714、64--76（2011年；Zbl 1331.81046）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件