×

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

最新的 引文 关联
喂，艾哈迈特·塞拉尔·杰姆

计算的能量复杂性。 （英语） Zbl 07786591号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 3-11 (2023).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.C.C.说}，Lect。注释计算。科学。13960，3-11（2023；Zbl 07786591）
全文： DOI程序
基提波·法拉卡恩;Attrapadung、Nuttapong;松浦康达

高效的不经意评估协议和DFA的有条件秘密公开。 （英语） Zbl 1509.68082号

Ateniese，Giuseppe（编辑）等人，《应用密码学和网络安全》。第20届国际会议，ACNS 2022，意大利罗马，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13269, 605-625 (2022).
MSC公司：2010年第68季度 65年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{K.Phalakarn}等人，Lect。注释计算。科学。13269、605--625（2022；Zbl 1509.68082）
全文： DOI程序
奥利弗·A·S·里昂。;凯·萨洛马

站点定向删除的非确定性状态复杂性。 （英语） Zbl 07572322号

Caron，Pascal（编辑）等人，《自动机的实现和应用》。第26届国际会议，CIAA 2022，法国鲁昂，2022年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13266, 189-199 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.A.S.Lyon}和\textit{K.Salomaa}，莱克特。注释计算。科学。13266189-199（2022；Zbl 07572322）
全文： DOI程序
Chan、Swee Hong;莱昂内尔·莱文

阿贝尔网络IV.非停顿网络的动力学。 （英语） Zbl 1485.05074号

美国数学学会回忆录1358.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-5141-7/pbk；978-1-4740-7024-1/电子书）。vii，89页。(2022).
MSC公司：05C25号 20K01型 2014年11月20日 20毫米35 37B15号机组 37E15型 2010年第68季度 68问题80 82C20个
PDF格式BibTeX公司 XML格式引用
\textit{S.H.Chan}和\textit{L.Levine}，阿贝尔网络IV.非停顿网络的动力学。普罗维登斯，RI:美国数学学会（AMS）（2022；Zbl 1485.05074）
全文： DOI程序 arXiv公司
山崎富代

单向量子有限状态传感器流数据的量子逻辑深度和浅度（初步报告）。 （英语） Zbl 07553911号

Kostitsyna、Irina等人，《非传统计算和自然计算》。第19届国际会议，2021年10月18日至22日，芬兰埃斯波，UCNC 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12984, 177-193 (2021).
MSC公司：2007年第68季度 2009年第68季度 2010年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Yamakami}，莱克托。注释计算。科学。12984、177--193（2021；Zbl 07553911）
全文： DOI程序
Chang，Yi-Jun先生;斯图登，简;朱卡·索米拉

简要声明：通过自动机理论的透镜解决分布式图形问题。 （英语） Zbl 07760530号

Attiya，Hagit（编辑），第34届分布式计算国际研讨会，DISC 2020，虚拟会议，2020年10月12日至16日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。179，第41条，第3页（2020年）。
MSC公司：68宽15 2010年第68季度 65年第68季度 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{Y.-J.Chang}等人，LIPIcs——莱布尼茨国际程序。通知。179，第41条，第3页（2020；Zbl 07760530）
全文： DOI程序
希尔德·维托·利马·佩雷拉

高效的基于AGCD的矩阵和向量同态加密算法。 （英语） 兹伯利07314279

Conti，Mauro（编辑）等人，《应用密码学和网络安全》。2020年10月19-22日在意大利罗马举行的ACNS 2020第18届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12146, 110-129 (2020).
MSC公司：68平方米25 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{H.V.L.Pereira}，莱克特。注释计算。科学。12146、110-129（2020；Zbl 07314279）
全文： DOI程序 链接
阿基里斯·A·贝罗斯。;比约恩Kjos-Hanssen;Yogi、Daylan Kaui

自动复杂性的平面有向图。 （英语） Zbl 1527.68153号

Gopal，T.V.（编辑）等人，《计算模型的理论和应用》。第15届年会，TAMC 2019，日本北九州，2019年4月13日至16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11436, 59-73 (2019).
MSC公司：68兰特 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Beros}等人，Lect。注释计算。科学。11436、59-73（2019年；Zbl 1527.68153）
全文： DOI程序 arXiv公司
布拉尼斯拉夫·罗万;萨多夫斯克，西蒙

关于信息的有用性：框架和NFA案例。 （英语） Zbl 1514.68110号

Böckenhauer，Hans-Joachim（编辑）等人，《低海拔和高海拔之间的冒险》。在尤拉吉·霍姆科维奇60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11011, 85-99 (2018).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Rovan}和\textit{Š.Sádovskí}，莱克特。注释计算。科学。11011，85-99（2018；Zbl 1514.68110）
全文： DOI程序
耶胡达·阿费克;尤瓦尔·埃梅克;诺亚·科利坎特

在有限状态机网络中选择领导者。 （英语） Zbl 1497.68031号

Schmid，Ulrich（编辑）等人，第32届分布式计算国际研讨会，DISC 2018，美国路易斯安那州新奥尔良，2018年10月15日至19日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。121，第4条，第17页（2018年）。
MSC公司：64岁以下 2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Afek}等人，LIPIcs——莱布尼茨国际程序。通知。121，第4条，第17页（2018；Zbl 1497.68031）
全文： DOI程序 arXiv公司
酒井、玉树;胜本、水池;Attrapadung、Nuttapong;花冈、果一郎

基于属性的签名，用于基于标准假设的无界语言。 （英语） Zbl 1446.94156号

Peyrin，Thomas（编辑）等人，《密码学进展——2018年亚洲密码》。第24届密码学和信息安全理论与应用国际会议，澳大利亚昆士兰州布里斯班，2018年12月2-6日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11273, 493-522 (2018).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Sakai}等人，Lect。注释计算。科学。11273、493--522（2018；Zbl 1446.94156）
全文： DOI程序
弗朗西斯·乔治·卡巴莱。;亨利·N·阿多纳。;佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。

关于尖峰神经P系统和有限自动机的注记。 （英语） Zbl 1415.68073号

自然计算。 15，第4期，533-539（2016）.
MSC公司：2005年第68季度 11B85号 2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.G.C.Cabarle}等人，《自然计算》。15，第4号，533--539（2016；Zbl 1415.68073）
全文： DOI程序 链接
埃利斯·塔姆

Kameda-Weiner方法的新解释和推广。 （英语） Zbl 1388.68182号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 116，12 p.（2016）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Tamm}，LIPIcs——莱布尼茨国际程序。通知。55，第116条，第12页（2016年；Zbl 1388.68182）
全文： DOI程序
V.N.多尔戈夫。;B.F.梅尔尼科夫。;梅尔尼科娃，A.A。

基本有限自动机的循环和相关问题。 （俄语。英文摘要） Zbl 1373.68281号

维斯特。沃罗涅日。戈斯。州立大学。菲兹。材料。 2016年第4期，95-111（2016）.
MSC公司：65年第68季度 05C20号 05C38号 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{V.N.Dolgov}等人，Vestn。沃罗涅日。戈斯。州立大学。菲兹。材料2016，编号4，95-111（2016；Zbl 1373.68281）
亚历山大·贝洛夫;J.Andres蒙托亚;亚卡里·马茨，阿布泽尔

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

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

通过惰性马尔可夫链嵌入计算退化序列中的正则表达式。 （英语） Zbl 1332.92007年

Chen，Ke（编辑）等人，《在计算数学和计算几何之间建立联系》。第三届计算数学和计算几何国际会议论文，CMCGS 2014，新加坡，2014年2月3-4日。查姆：施普林格（ISBN 978-3-319-16138-9/hbk；978-3-3169-16139-6/电子书）。施普林格数学与统计学论文集124235-246（2016）。
MSC公司：92B15号机组 92D10型 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{G.Nuel}和\textit{V.Delos}，施普林格程序。数学。Stat.124，235--246（2016；Zbl 1332.92007）
全文： DOI程序
纳塔利亚·库什克;叶夫图申科，尼娜

通过同步自动机描述非确定性有限状态机的归位和识别序列。 （英语） Zbl 1465.68157号

Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9223, 188-198 (2015).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Kushik}和\textit{N.Yevtushenko}，莱克托。注释计算。科学。9223188--198（2015年；Zbl 1465.68157）
全文： DOI程序
塞扎尔·坎帕努;凯萨洛玛

正则语言的不确定性树宽度。 （英语） Zbl 1320.68109号

Shallit，Jeffrey（编辑）等人，《形式系统的描述复杂性》。2015年6月25日至27日，加拿大安大略省滑铁卢，第17届DCFS国际研讨会。诉讼程序。查姆：施普林格（ISBN 978-3-319-19224-6/pbk；978-3-316-19225-3/电子书）。计算机科学讲义9118，46-57（2015）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Cámpeanu}和\textit{K.Salomaa}，莱克特。注释计算。科学。9118、46-57（2015年；Zbl 1320.68109）
全文： DOI程序
阿塞尼·M·舒尔。;亚卡里·马茨，阿布泽尔

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

Ibarra，Oscar H.（编辑）等人，《非传统计算和自然计算》。2014年7月14日至18日在加拿大安大略省伦敦市举行的2014年UCNC第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。8553, 327-339 (2014).
MSC公司：65年第68季度 2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Shur}和\textit{A.Yakary lmaz}，莱克特。注释计算。科学。8553、327--339（2014；Zbl 1445.68126）
全文： DOI程序 arXiv公司
亚卡里·马茨，阿布泽尔;喂，A.C.杰姆;H.Gökalp Demirci

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

Shur，Arseny M.（编辑）等，《语言理论的发展》。2014年8月26日至29日，俄罗斯叶卡捷琳堡，DLT 2014第18届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8633, 327-338 (2014).
MSC公司：2005年第68季度 2010年第68季度 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Yakarylmaz}等人，莱克特。注释计算。科学。8633，327--338（2014；Zbl 1425.68117）
全文： DOI程序 arXiv公司
Ko、Sang-Ki;Han、Yo-Sub

在减少非金融机构的不确定性方面，左翼优于右翼。 （英语） Zbl 1302.68168号

Holzer，Markus（编辑）等人，《自动机的实现和应用》。2014年7月30日至8月2日，第19届国际会议，CIAA 2014，德国吉森。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08845-7/pbk）。计算机科学课堂讲稿8587，238-251（2014）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.-K.Ko}和\textit{Y.-S.Han}，Lect。注释计算。科学。8587、238--251（2014；Zbl 1302.68168）
全文： DOI程序
V.N.多尔戈夫。;B.F.梅尔尼科夫。

通用有限自动机的构造。一： 从定理到实用算法。 （俄语。英文摘要） Zbl 1475.68150号

维斯特。沃罗涅日。戈斯。州立大学。菲兹。材料。 2013年第2期，173-181（2013）.
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.N.Dolgov}和\textit{B.F.Mel'nikov}，Vestn。沃罗涅日。戈斯。州立大学。菲兹。材料2013，编号2，173--181（2013；Zbl 1475.68150）
全文： 链接
盛田贤一

一个确定的双向多头有限自动机可以转换为具有相同头数的可逆自动机。 （英语） Zbl 1451.68156号

Glück，Robert（编辑）等人，可逆计算。2012年7月2日至3日，第四届国际研讨会，RC 2012，丹麦哥本哈根。修订论文。柏林：斯普林格。莱克特。注释计算。科学。7581, 29-43 (2013).
MSC公司：65年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Morita}，莱克托。注释计算。科学。7581，29-43（2013；Zbl 1451.68156）
全文： DOI程序 链接
尤瓦尔·埃梅克;罗杰·瓦滕霍夫

石器时代分布式计算。 （英语） Zbl 1323.68270号

2013年7月22日至24日，加拿大魁北克省蒙特利尔市，2013年ACM分布式计算原理研讨会论文集，PODC’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2065-8）。137-146 (2013).
MSC公司：2005年第68季度 64岁以下 2010年第68季度 65年第68季度 68问题80 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Emek}和\textit{R.Wattenhofer}，in：第32届ACM分布式计算原理研讨会论文集，PODC’13，加拿大魁北克省蒙特利尔，2013年7月22日至24日。纽约州纽约市：计算机协会（ACM）。137-146（2013年；Zbl 1323.68270）
全文： DOI程序 arXiv公司
玛丽安·盖奥吉;佩恩，古奥热;佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。;Grzegorz罗岑贝格
[A.阿尔哈佐夫。;伊万诺夫，S。;罗杰欣，Y。;Csuhaj-Varjü，E。;潘，L。;T·宋。;Krithivasan，K。;A.拉马努扬。;瓦西尔，G。;A.莱波拉蒂。;G·莫里。;A.E.波雷卡。;C.赞德隆。;N.墨菲。;Riscos-Nüñez，A。;Rius-Font，M。;罗梅罗·吉梅内斯（Romero-Jiménez），阿拉斯加州。;卡瓦列尔，M。;瓦西里，C。;A.B.帕维尔。;Dumitrache，I。;F.伊帕特。;O.Agrigoroaiei。;Aman，B。;乔巴努，G。;张，G。;V·曼卡。;Hinze，T。;F.J.罗梅罗·卡佩罗。;Obtulowicz，A。;Díaz-Pernil，D。;Gutiérrez-Naranjo，硕士。;García-Quismondo，M。;马西亚斯·拉莫斯，L.F。;Martínez-del-Amor，医学硕士。;佩雷兹·赫塔多，I。;瓦伦西亚-卡布雷拉。]

膜计算的研究前沿：开放问题和研究课题。 （英语） Zbl 1292.68065号

发现的国际期刊。计算。科学。 24，第5期，547-623（2013）.
MSC公司：2010年第68季度 68-02 2005年第68季度 65年第68季度 60年第68季度 2017年第68季度 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Gheorghe}等人，《国际法学杂志》发现。计算。科学。24，第5号，547--623（2013；Zbl 1292.68065）
全文： DOI程序
玛丽安·盖奥吉;佛罗伦萨伊帕特;拉卢卡左翼;佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。;阿德里安·厄尔卡努;路易斯·巴伦西亚·卡布雷拉;曼纽尔·加西亚·基斯蒙多;劳伦·米尔勒

使用简单内核P系统的3列问题建模。 （英语） 兹比尔1274.68125

国际期刊计算。数学。 90，第4期，816-830（2013）.
MSC公司：2005年第68季度 2010年第68季度 19年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Gheorghe}等人，《国际计算杂志》。数学。90，编号4816-830（2013；兹bl 1274.68125）
全文： DOI程序 链接
维利亚姆·格弗特;贝德纳罗娃，祖扎纳;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

具有恒定高度下推的非确定性自动机上的布尔语言操作。 （英语） Zbl 1362.68139号

Bulatov，Andrei A.（编辑）等人，《计算机科学——理论与应用》。2013年6月25日至29日，第八届俄罗斯国际计算机科学研讨会，CSR 2013，俄罗斯叶卡捷琳堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38535-3/pbk）。计算机科学课堂讲稿7913，100-111（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Geffert}等人，Lect。注释计算。科学。7913，100-111（2013；Zbl 1362.68139）
全文： DOI程序
贝内德克·纳吉

关于SAT的有效算法。 （英语） Zbl 1388.68130号

Csuhaj Varjú，Erzsébet（编辑）等人，膜计算。2012年8月28日至31日，第13届国际会议，CMC 2012，匈牙利布达佩斯。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-36750-2/pbk）。计算机科学课堂讲稿7762295-310（2013）。
MSC公司：65年第68季度 2005年第68季度 2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Nagy}，莱克特。注释计算。科学。7762、295--310（2013年；Zbl 1388.68130）
全文： DOI程序
新墨西哥州沙巴迪纳。;R.F.加利姆林。

关于为具有超时的非确定性有限状态机派生测试套件。 （英语。俄文原件） Zbl 1252.68080号

程序。计算。柔和。 38，第3期，127-133（2012）; 译自Programmirovanie 38，No.3（2012）。
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.V.Shabaldina}和\textit{R.F.Galimullin}，程序。计算。柔和。38，第3号，127--133（2012；Zbl 1252.68080）；译自Programmirovanie 38，No.3（2012）
全文： DOI程序
贝德纳罗娃，祖扎纳;维利亚姆·格弗特;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

消除恒定高度下推自动机中的不确定性。 （英语） Zbl 1304.68092号

Kutrib，Martin（编辑）等人，《形式系统的描述复杂性》。2012年7月23日至25日在葡萄牙布拉加举行的第14届DCFS 2012国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31622-7/pbk）。计算机科学课堂讲稿7386，76-88（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Bednárová}等人，Lect。注释计算。科学。7386，76-88（2012年；兹比尔1304.68092）
全文： DOI程序
纳塔利亚·库什克;El Fakih，哈立德;尼娜·叶夫图申科

非确定性有限状态机的预设和自适应归巢实验。 （英语） 兹比尔1297.68147

Bouchou-Markhoff，Béatrice（编辑）等人，《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22255-9/pbk）。计算机科学讲座笔记6807215-224（2011）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Kushik}等人，Lect。注释计算。科学。6807215--224（2011；Zbl 1297.68147）
全文： DOI程序
波瓦罗夫，G.A。

正则语言的有限变换器和非确定性状态复杂性。 （英语。俄文原件） Zbl 1207.68199号

罗斯，数学。 54，第6期，第19-25页（2010年）; 翻译自Izv。维什。乌切布。扎韦德。，材料2010，第6期，23-31（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.A.Povarov}，俄罗斯数学。54、第6号、第19-25号（2010；Zbl 1207.68199）；翻译自Izv。维什。乌切布。扎韦德。，材料2010，第6号，23-31（2010）
全文： DOI程序
罗森博格（Arnold L.Rosenberg）。

计算理论的支柱。状态、编码、不确定性。 （英语） Zbl 1203.68050号

Universitext（通用文本）纽约州纽约市：施普林格出版社（ISBN 978-0-387-09638-4/pbk）。十七、324页。(2010).
审核人：Marat M.Arslanov（喀山）
MSC公司：2005年第68季度 2010年第68季度 2015年第68季度 2017年第68季度 65年第68季度 65年第68季度 68-01
PDF格式BibTeX公司 XML格式引用
\textit{A.L.Rosenberg}，计算理论的支柱。状态、编码、不确定性。纽约州纽约市：施普林格（2010；Zbl 1203.68050）
全文： DOI程序
B.F.梅尔尼科夫。;塞福琳娜，M.R。

非确定有限自动机等价变换的一些算法。 （英语。俄文原件） 兹比尔1298.68150

俄罗斯数学。 53，第4期，54-57（2009）; 翻译自Izv。维什。乌切布。扎韦德。，材料2009，编号4，67-71（2009）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.F.Mel'nikov}和\textit{M.R.Saifullina}，俄罗斯数学。53，第4号，54-57（2009；Zbl 1298.68150）；翻译自Izv。维什。乌切布。扎韦德。，材料2009，第4号，67--71（2009）
全文： DOI程序
朱拉吉·赫罗姆科维奇;乔治·施尼特

歧义和沟通。 （英语） Zbl 1236.68169号

Albers，Susanne（编辑）等人，STACS 2009。2009年2月26日至28日，德国弗莱堡，第26届计算机科学理论方面国际研讨会。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-09-5）。LIPIcs–莱布尼茨国际信息学会议录3553-564，仅电子版（2009年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.Hromkovič｝和\textit｛G.Schnitger｝，LIPIcs——莱布尼茨国际会议记录。通知。3553-564（2009年；Zbl 1236.68169）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件