×

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

最新的 引文 关联
奥尔加·马蒂诺娃;亚历山大·奥霍金

扔石头的时候到了。 （英语） Zbl 07810938号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，北塞浦路斯法马古斯塔，2023年9月19日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 242-253 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Martynova}和\textit{A.Okhotin}，莱克特。注释计算。科学。14151、242--253（2023；Zbl 07810938）
全文： 内政部
奥尔加·马蒂诺娃;亚历山大·奥霍金

双向有限自动机的最短可接受字符串：接近\（2^n\）下限。 （英语） Zbl 07729463号

Bordihn，Henning（编辑）等，形式系统的描述复杂性。第25届IFIP工作组1.02国际会议，DCFS 2023，波茨坦，德国，2023年7月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13918, 134-145 (2023).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{O.Martynova}和\textit{A.Okhotin}，莱克特。注释计算。科学。13918、134--145（2023；Zbl 07729463）
全文： 内政部
小川，水井裕人;亚历山大·奥霍金

事件块输入驱动下推自动机的确定。 （英语） Zbl 07615742号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会，CSR 2022，虚拟活动，2022年6月29日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13296, 256-268 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Ogawa}和\textit{A.Okhotin}，莱克特。注释计算。科学。13296256-268（2022；Zbl 07615742）
全文： 内政部 arXiv公司
奥尔加·马蒂诺娃;亚历山大·奥霍金

图行走自动机上的同态。 （英语） Zbl 07572321号

Caron，Pascal（编辑）等人，《自动机的实现和应用》。第26届国际会议，CIAA 2022，法国鲁昂，2022年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13266, 177-188 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Martynova}和\textit{A.Okhotin}，莱克特。注释计算。科学。13266177-188（2022；Zbl 07572321）
全文： 内政部 arXiv公司
叶卡捷琳娜·谢梅托娃;亚历山大·奥霍金;塞姆扬·格里戈列夫

解析树的有界维语言的有理索引。 （英语） Zbl 07571015号

Diekert，Volker（编辑）等人，《语言理论的发展》。第26届国际会议，DLT 2022，美国佛罗里达州坦帕，2022年5月9日至13日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13257, 263-273 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Shemetova}等人，Lect。注释计算。科学。13257263-273（2022年；兹bl 07571015）
全文： 内政部
奥尔加·马蒂诺娃;亚历山大·奥霍金

图行走自动机并与交的状态复杂性。 （英语） Zbl 07614747号

Han，Yo-Sub（编辑）等，形式系统的描述复杂性。第23届IFIP工作组1.02国际会议，DCFS 2021，虚拟活动，2021年9月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13037, 125-136 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{O.Martynova}和\textit{A.Okhotin}，莱克特。注释计算。科学。13037、125-136（2021；Zbl 07614747）
全文： 内政部
维利亚姆·格弗特;亚历山大·奥霍金

小字母表上双向确定性有限自动机的确定性单向模拟。 （英语） Zbl 07614739号

Han，Yo-Sub（编辑）等人，《形式系统的描述复杂性》。第23届IFIP WG 1.02国际会议，DCFS 2021，虚拟活动，2021年9月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13037, 26-37 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{V.Geffert}和\textit{A.Okhotin}，莱克特。注释计算。科学。13037，26-37（2021；Zbl 07614739）
全文： 内政部
米哈伊尔·克里金;亚历山大·奥霍金

最难的\（\operatorname{LL}（k）\）语言。 （英语） Zbl 1518.68186号

Moreira，Nelma（编辑）等人，《语言理论的发展》。第25届国际会议，DLT 2021，葡萄牙波尔图，2021年8月16-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12811, 304-315 (2021).
MSC公司：65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mrykhin}和\textit{A.Okhotin}，莱克特。注释计算。科学。12811、304--315（2021；Zbl 1518.68186）
全文： 内政部
亚历山大·奥霍金;维克托·塞利瓦诺夫。

嵌套良好的无限字符串上的输入驱动下推自动机。 （英语） Zbl 07493541号

Santhanam，Rahul（编辑）等人，《计算机科学——理论与应用》。2021年6月28日至7月2日，在俄罗斯索契举行的第16届国际计算机科学研讨会，CSR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12730, 349-360 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}和\textit{V.L.Selivanov}，Lect。注释计算。科学。12730349-360（2021年；兹bl 07493541）
全文： 内政部
米哈伊尔·克里金;亚历山大·奥霍金

一维细胞自动机最难的语言。 （英语） Zbl 07405982号

Lepori，Alberto（编辑）等人，《语言与自动机理论与应用》。第15届国际会议，LATA 2021，意大利米兰，2021年3月1日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 118-130 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Mrykhin｝和\textit｛A.Okhotin｝，Lect。注释计算。科学。12638118-130（2021年；兹bl 07405982）
全文： 内政部
塞米扬·彼得罗夫;亚历山大·奥霍金

关于双向确定性有限自动机到明确有限自动机的转换。 （英语） Zbl 07405979号

Lepori，Alberto（编辑）等人，《语言与自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 81-93 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Petrov}和\textit{A.Okhotin}，莱克特。注释计算。科学。12638，81-93（2021；Zbl 07405979）
全文： 内政部
亚历山大·奥霍金;伊利亚·奥尔霍夫斯基

关于LL（k）-线性文法到LL（1）-线性的转换。 （英语） Zbl 07603932号

Fernau，Henning，《计算机科学——理论与应用》。2020年6月29日至7月3日，俄罗斯叶卡捷琳堡，第15届俄罗斯国际计算机科学研讨会，CSR 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12159, 328-340 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}和\textit{I.Olkhovsky}，莱克特。注释计算。科学。12159328--340（2020；Zbl 07603932）
全文： 内政部
亚历山大·奥霍金;伊丽莎维塔·萨日涅娃

二进制语言上GF（2）-逆和GF（1）-星的状态复杂度。 （英语） Zbl 07371296号

Jirásková，Galina（编辑）等人，《形式系统的描述复杂性》。2020年8月24日至26日，第22届国际会议，DCFS 2020，奥地利维也纳。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12442, 142-154 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛A.Okhotin｝和\textit｛E.Sazhneva｝，Lect。注释计算。科学。12442142-154（2020年；兹bl 07371296）
全文： 内政部
斯坦尼斯拉夫·克里姆斯基;亚历山大·奥霍金

双向有限自动机中的较长最短字符串。 （英语） Zbl 07371293号

Jirásková，Galina（编辑）等人，《形式系统的描述复杂性》。第22届国际会议，2020年8月24日至26日，DCFS 2020，奥地利维也纳。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12442, 104-116 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Krymski}和\textit{A.Okhotin}，莱克特。注释计算。科学。12442，104-116（2020；Zbl 07371293）
全文： 内政部
亚历山大·奥霍金;阿列克谢·索罗金

多成分文法上的循环移位。 （英语） Zbl 1437.68087号

Lepori，Alberto（编辑）等人，《语言与自动机理论与应用》。第14届国际会议，2020年3月4日至6日，意大利米兰，LATA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12038, 287-299 (2020).
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}和\textit{A.Sorokin}，莱克特。注释计算。科学。12038，287--299（2020；Zbl 1437.68087）
全文： 内政部
弗拉迪斯拉夫·马卡洛夫;亚历山大·奥霍金

关于GF（2）-语法的表达能力。 （英语） Zbl 1445.68120号

巴巴拉·卡塔尼亚（编辑）等人，《2019年SOFSEM：计算机科学的理论与实践》。第45届计算机科学理论与实践当前趋势国际会议，2019年1月27日至30日，斯洛伐克，11月斯莫科维奇。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11376, 310-323 (2019).
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Makarov}和\textit{A.Okhotin}，莱克特。注释计算。科学。11376、310-323（2019年；Zbl 1445.68120）
全文： 内政部
亚历山大·奥霍金;伊丽莎维塔·萨日涅娃

一元语言上GF（2）-级联和GF（1）-逆的状态复杂度。 （英语） Zbl 1434.68282号

Hospodár，Michal（编辑）等人，《形式系统的描述复杂性》。第21届IFIP工作组1.02国际会议，2019年7月17日至19日，斯洛伐克科希策，DCFS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11612, 248-259 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Okhotin｝和\textit｛E.Sazhneva｝，Lect。注释计算。科学。11612、248-259（2019年；Zbl 1434.68282）
全文： 内政部 哈尔
亚历山大·奥霍金

图形行走自动机：它们从哪里来，又被绑定到哪里。 （英语） 兹比尔1434.68281

Hospodár，Michal（编辑）等人，自动机的实现和应用。2019年7月22日至25日在斯洛伐克科希策举行的CIAA 2019第24届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11601, 10-29 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}，莱克特。注释计算。科学。11601、10--29（2019年；Zbl 1434.68281）
全文： 内政部
埃戈尔·多布朗拉沃夫;尼基塔·多布朗拉沃夫;亚历山大·奥霍金

关于双向有限自动机所接受的最短字符串的长度。 （英语） Zbl 1497.68256号

Hofman，Piotrek（编辑）等人，《语言理论的发展》。第23届国际会议，DLT 2019，波兰华沙，2019年8月5-9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11647, 88-99 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Dobronravov}等人，Lect。注释计算。科学。11647、88-99（2019年；Zbl 1497.68256）
全文： 内政部
马丁·维德，卡洛斯（编辑）;亚历山大·奥霍金（编辑）;达纳·夏皮拉（编辑）

语言和自动机理论及应用。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议，会议记录。 （英语） Zbl 1423.68031号

计算机科学课堂讲稿11417.查姆：施普林格（ISBN 978-3-030-13434-1/pbk；978-3-0.30-13435-8/电子书）。十七、470页。(2019).
MSC公司：68-06 65年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Martín-Vide}（编辑）等人，《语言和自动机理论与应用》。2019年3月26-29日在俄罗斯圣彼得堡举行的第13届LATA国际会议，会议记录。查姆：施普林格（2019；Zbl 1423.68031）
全文： 内政部
亚历山大·奥霍金;凯·萨洛马

输入驱动下推自动机的进一步闭包性质。 （英语） Zbl 1435.68180号

Konstantinidis，Stavros（编辑）等人，《形式系统的描述复杂性》。第20届IFIP工作组1.02国际会议，2018年7月25日至27日，加拿大NS哈利法克斯，DCFS 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10952, 224-236 (2018).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}和\textit{K.Salomaa}，莱克特。注释计算。科学。10952，224--236（2018；Zbl 1435.68180）
全文： 内政部 哈尔
加琳娜·吉尔亚斯科娃;亚历山大·奥霍金

确定性有限自动机上明确操作的状态复杂性。 （英语） Zbl 1435.68171号

Konstantinidis，Stavros（编辑）等人，《形式系统的描述复杂性》。第20届IFIP工作组1.02国际会议，2018年7月25日至27日，加拿大NS哈利法克斯，DCFS 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10952, 188-199 (2018).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Jirásková}和\textit{A.Okhotin}，莱克特。注释计算。科学。10952、188--199（2018年；Zbl 1435.68171）
全文： 内政部 哈尔
加琳娜·吉尔亚斯科娃;亚历山大·奥霍金

朝向输入驱动下推自动机的精确状态复杂度边界。 （英语） 兹比尔1517.68201

Hoshi，Mizuho（编辑）等，《语言理论的发展》。第22届国际会议，DLT 2018，日本东京，2018年9月10日至14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11088, 441-452 (2018).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Jirásková}和\textit{A.Okhotin}，莱克特。注释计算。科学。11088、441--452（2018；Zbl 1517.68201）
全文： 内政部
亚历山大·奥霍金

一个关于连接语法的故事。 （英语） Zbl 1517.68169号

Hoshi，Mizuho（编辑）等，《语言理论的发展》。第22届国际会议，DLT 2018，日本东京，2018年9月10日至14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11088, 36-59 (2018).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}，莱克特。注释计算。科学。11088，36-59（2018；Zbl 1517.68169）
全文： 内政部
贾科·卡里（编辑）;亚历山大·奥霍金（编辑）

特刊：第42届计算机科学理论与实践当前趋势国际会议（SOFSEM 2016）。前言。 （英语） Zbl 1392.68022号

发现的国际期刊。计算。科学。 29，第4期，457-459（2018）.
MSC公司：68-06 68季度xx 68兰特 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Kari}（编辑）和\textit{A.Okhotin}（主编），Int.J.Found。计算。科学。29，第4号，457--459（2018；Zbl 1392.68022）
全文： 内政部
叶卡捷琳娜·巴基诺娃;阿尔特姆·巴沙林;伊戈尔·巴特马诺夫;康斯坦丁·吕波特;亚历山大·奥霍金;伊丽莎维塔·萨日涅娃

GF（2）上的形式语言。 （英语） Zbl 1434.68226号

Klein，Shmuel Tomi（编辑）等人，《语言和自动机理论与应用》。2018年4月9日至11日，第12届国际会议，LATA 2018，以色列拉马特甘。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10792, 68-79 (2018).
MSC公司：65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Bakinova}等人，Lect。注释计算。科学。10792，68-79（2018年；Zbl 1434.68226）
全文： 内政部
亚历山大·奥霍金

形式语法的基本原则和反复出现的思想。 （英语） Zbl 1504.68091号

Klein，Shmuel Tomi（编辑）等人，《语言和自动机理论与应用》。2018年4月9日至11日，第12届国际会议，LATA 2018，以色列拉马特甘。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10792, 36-59 (2018).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}，莱克特。注释计算。科学。10792，36-59（2018；Zbl 1504.68091）
全文： 内政部
亚历山大·奥霍金;凯·萨洛马

输入驱动下推自动机的商运算。 （英语） Zbl 1426.68153号

Pighizini，Giovanni（编辑）等，《形式系统的描述复杂性》。2017年7月3日至5日在意大利米兰举行的第19届IFIP WG 1.02国际会议，DCFS 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10316, 299-310 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}和\textit{K.Salomaa}，莱克特。注释计算。科学。10316、299--310（2017；Zbl 1426.68153）
全文： 内政部 哈尔
亚历山大·奥霍金;凯·萨洛马

编辑输入驱动下推自动机的距离邻域。 （英语） Zbl 1489.68133号

Weil，Pascal（编辑），《计算机科学——理论与应用》。2017年6月8日至12日，第十二届俄罗斯国际计算机科学研讨会，CSR 2017，俄罗斯喀山。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10304, 260-272 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}和\textit{K.Salomaa}，莱克特。注释计算。科学。10304260-272（2017；Zbl 1489.68133）
全文： 内政部
德米特里·伊特西克森;亚历山大·奥霍金;奥帕林，维塞沃洛德

部分字符串可回避性的计算和证明复杂性。 （英语） Zbl 1398.68196号

Faliszewski，Piotr（编辑）等人，第41届计算机科学数学基础国际研讨会，2016年MFCS，波兰克拉科夫，2016年8月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-016-3）。LIPIcs–莱布尼茨国际信息学论文集58，第51条，第13页（2016年）。
MSC公司：2017年第68季度 20层03 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.Itsykson}等人，LIPIcs——莱布尼茨国际程序。通知。58，第51条，第13页（2016年；Zbl 1398.68196）
全文： 内政部
亚历山大·奥霍金

连接语法中最难的语言。 （英语） Zbl 1475.68143号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会，CSR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9691, 340-351 (2016).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}，莱克特。注释计算。科学。9691340-351（2016；Zbl 1475.68143）
全文： 内政部
米哈伊尔·巴拉什;亚历山大·奥霍金

具有上下文的语法的广义LR解析。 （英语） Zbl 1466.68049号

Beklemishev，Lev D.（编辑）等人，《计算机科学——理论与应用》。2015年7月13日至17日，第十届俄罗斯国际计算机科学研讨会，CSR 2015，俄罗斯Listvyanka。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9139, 67-79 (2015).
MSC公司：2012年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{M.Barash}和\textit{A.Okhotin}，莱克特。注释计算。科学。9139，67-79（2015；Zbl 1466.68049）
全文： 内政部
杰弗里·沙利特（编辑）;亚历山大·奥霍金（编辑）

形式系统的描述复杂性。2015年6月25日至27日，加拿大安大略省滑铁卢，第17届DCFS国际研讨会。诉讼程序。 （英语） Zbl 1314.68016号

计算机科学课堂讲稿9118.查姆：施普林格（ISBN 978-3-319-19224-6/pbk；978-3-316-19225-3/电子书）。xii，第293页。(2015).
MSC公司：68-06 65年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Shallit}（编辑）和\textit{A.Okhotin}（主编），形式系统的描述复杂性。2015年6月25日至27日在加拿大安大略省滑铁卢举行的第17届DCFS国际研讨会。诉讼程序。查姆：斯普林格（2015；Zbl 1314.68016）
全文： 内政部
米哈伊尔·巴拉什;亚历山大·奥霍金

具有双面上下文的语法。 （英语） Zbl 1464.68135号

埃西克、佐尔坦（编辑）等，《第14届国际自动机和形式语言会议论文集》，AFL’14，塞格德，匈牙利，2014年5月27日至29日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）15194-108（2014）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Barash}和\textit{A.Okhotin}，电子。程序。西奥。计算。科学。（EPTCS）151、94--108（2014；Zbl 1464.68135）
全文： arXiv公司 链接
朱哈尼Karhumäki;亚历山大·奥霍金

关于识别等长语言的有限自动机的确定爆破。 （英语） Zbl 1323.68341号

Calude，Cristian S.（编辑）等人，《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际，为他撰写的论文。查姆：施普林格（ISBN 978-3-319-13349-2/pbk；978-3-316-13350-8/电子书）。计算机科学课堂讲稿8808，71-82（2014）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Karhumäki}和\textit{A.Okhotin}，莱克特。注释计算。科学。880871-82（2014年；Zbl 1323.68341）
全文： 内政部
维利亚姆·格弗特;亚历山大·奥霍金

将双向交替有限自动机转换为单向非确定性自动机。 （英语） Zbl 1425.68200号

Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8634, 291-302 (2014).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Geffert}和\textit{A.Okhotin}，莱克特。注释计算。科学。8634，291--302（2014；Zbl 1425.68200）
全文： 内政部
亚历山大·奥霍金;凯·萨洛马

具有有限不确定性的输入驱动下推自动机（邀请论文）。 （英语） 兹比尔1425.68224

Shur，Arseny M.（编辑）等，《语言理论的发展》。2014年8月26日至29日，俄罗斯叶卡捷琳堡，DLT 2014第18届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8633, 84-102 (2014).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}和\textit{K.Salomaa}，莱克特。注释计算。科学。8633，84-102（2014；Zbl 1425.68224）
全文： 内政部
赫尔穆特·尤根森（编辑）;朱哈尼Karhumäki（编辑）;亚历山大·奥霍金（编辑）

形式系统的描述复杂性。2014年8月5日至8日，第16届国际研讨会，DCFS 2014，芬兰图尔库。诉讼程序。 （英语） Zbl 1292.68006号

计算机科学课堂讲稿8614.柏林：施普林格出版社（ISBN 978-3-319-09703-9/pbk）。xii，365页。(2014).
MSC公司：68-06 65年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Jürgensen}（ed.）等人，形式系统的描述复杂性。2014年8月5-8日，芬兰图尔库，DCFS 2014第16届国际研讨会。诉讼程序。柏林：施普林格出版社（2014；Zbl 1292.68006）
全文： 内政部
米哈伊尔·巴拉什;亚历山大·奥霍金

具有单侧上下文的线性语法及其自动机表示。 （英语） Zbl 1405.68159号

Pardo，Alberto（编辑）等人，拉丁语2014：理论信息学。第十一届拉丁美洲研讨会，乌拉圭蒙得维的亚，2014年3月31日至4月4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54422-4/pbk）。计算机科学讲义8392190-201（2014）。
MSC公司：2012年第68季度 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{M.Barash}和\textit{A.Okhotin}，莱克特。注释计算。科学。8392、190--201（2014年；Zbl 1405.68159）
全文： 内政部 链接
迈克尔·昆克;亚历山大·奥霍金

图行走自动机中计算的可逆性。 （英语） 兹比尔1398.68317

Chatterjee，Krishnendu（编辑）等人，2013年计算机科学数学基础。2013年8月26日至30日，第38届国际研讨会，MFCS 2013，奥地利克洛斯特内堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40312-5/pbk）。计算机科学课堂讲稿8087，595-606（2013）。
MSC公司：65年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kunc}和\textit{A.Okhotin}，莱克特。注释计算。科学。8087、595--606（2013；Zbl 1398.68317）
全文： 内政部
亚历山大·奥霍金

改进了单边上下文语法的范式。 （英语） Zbl 1390.68370号

Jürgensen，Helmut（ed.）等人，形式系统的描述复杂性。2013年7月22日至25日在加拿大安大略省伦敦举行的2013年DCFS第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39309-9/pbk）。计算机科学课堂讲稿8031205-216（2013）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}，莱克特。注释计算。科学。8031205-216（2013；Zbl 1390.68370）
全文： 内政部
杰·阿图尔;亚历山大·奥霍金

单字字母表上的无歧义连接语法。 （英语） Zbl 1381.68106号

Béal，Marie-Pierre（编辑）等，《语言理论的发展》。2013年6月18日至21日，第17届国际会议，DLT 2013，法国马内拉瓦莱。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38770-8/pbk）。计算机科学课堂讲稿7907277-288（2013）。
MSC公司：2012年第68季度 65年第68季度 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeż}和\textit{A.Okhotin}，莱克特。注释计算。科学。7907727-288（2013年；兹比尔1381.68106）
全文： 内政部
杰·阿图尔;亚历山大·奥霍金

关于明确连接文法中非终结符的数量。 （英语） Zbl 1304.68089号

Kutrib，Martin（编辑）等人，《形式系统的描述复杂性》。2012年7月23日至25日在葡萄牙布拉加举行的第14届DCFS 2012国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31622-7/pbk）。计算机科学课堂讲稿7386，183-195（2012）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeż}和\textit{A.Okhotin}，莱克特。注释计算。科学。7386、183--195（2012；Zbl 1304.68089）
全文： 内政部
托米·莱赫蒂宁;亚历山大·奥霍金

保持确定性上下文无关语言的同态。 （英语） Zbl 1370.68210号

Yen，Hsu-Chun（编辑）等，《语言理论的发展》。第16届国际会议，DLT 2012，台湾台北，2012年8月14-17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31652-4/pbk）。计算机科学课堂讲稿7410，154-165（2012）。
MSC公司：70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Lehtinen}和\textit{A.Okhotin}，Lect。注释计算。科学。7410，154--165（2012；Zbl 1370.68210）
全文： 内政部
亚历山大·奥霍金

Chomsky-Schützenberger定理的非增强变体。 （英语） Zbl 1370.68211号

Yen，Hsu-Chun（编辑）等，《语言理论的发展》。第16届国际会议，DLT 2012，台湾台北，2012年8月14日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31652-4/pbk）。计算机科学课堂讲稿7410121-129（2012）。
MSC公司：70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}，莱克特。注释计算。科学。7410121-129（2012年；Zbl 1370.68211）
全文： 内政部
亚历山大·奥霍金;朴晓雪;凯·萨洛马

输入驱动下推自动机的描述复杂性。 （英语） Zbl 1367.68176号

Bordihn，Henning（编辑）等人，《活着的语言》。纪念尤尔根·达索65岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-31643-2/pbk）。计算机科学讲义7300186-206（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Okhotin}等人，Lect。注释计算。科学。7300、186--206（2012；Zbl 1367.68176）
全文： 内政部
弗兰兹·巴德;亚历山大·奥霍金

求解语言方程和不方程，并应用于描述逻辑和一元集约束的不统一。 （英语） Zbl 1352.68124号

Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180107-121（2012）。
MSC公司：65年第68季度 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{F.Baader}和\textit{A.Okhotin}，莱克特。注释计算。科学。7180107-121（2012；Zbl 1352.68124）
全文： 内政部
米哈伊尔·巴拉什;亚历山大·奥霍金

在无上下文语法中定义上下文。 （英语） Zbl 1351.68127号

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

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件