×

找到42个文档（结果1-42）

最新的 引文 关联
忠赫·哈恩;Cheon、Hyunjoon;Han、Yo-Sub

\三元字母表上Parikh矩阵的（M）等价。 （英语） Zbl 07810930号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 141-152 (2023).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hahn}等人，Lect。注释计算。科学。14151141-152（2023年；兹bl 07810930）
全文： 内政部
Cheon、Hyunjoon;Han、Yo-Sub

语言的弱逆邻域。 （英语） 兹伯利07766934

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13911, 61-73 (2023).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Cheon}和\textit{Y.S.Han}，Lect。注释计算。科学。13911、61-73（2023；Zbl 07766934）
全文： 内政部
Han、Yo-Sub;金圣明;Ko、Sang-Ki;凯·萨洛马

交替有限自动机的存在性和普适宽度。 （英语） 兹比尔07729457

Bordihn，Henning（编辑）等，形式系统的描述复杂性。第25届IFIP工作组1.02国际会议，DCFS 2023，波茨坦，德国，2023年7月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13918, 51-64 (2023).
理学硕士：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{Y.-S.Han}等人，Lect。注释计算。科学。13918，51--64（2023；Zbl 07729457）
全文： 内政部
Sicheol Sung公司;玄均昌;Han、Yo-Sub

如何解决ReDoS问题：回到经典自动机理论。 （英语） Zbl 07572310号

Caron，Pascal（编辑）等人，《自动机的实现和应用》。第26届国际会议，CIAA 2022，法国鲁昂，2022年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13266, 34-49 (2022).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Sung}等人，Lect。注释计算。科学。13266，34-49（2022；Zbl 07572310）
全文： 内政部
玄均昌;忠赫·哈恩;Han、Yo-Sub

关于中缀包含问题的可判定性。 （英语） Zbl 1533.68128号

Diekert，Volker（编辑）等人，《语言理论的发展》。第26届国际会议，DLT 2022，美国佛罗里达州坦帕，2022年5月9日至13日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13257, 115-126 (2022).
理学硕士：第68季度第45季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Cheon}等人，Lect。注释计算。科学。13257115-126（2022年；Zbl 1533.68128）
全文： 内政部
Cheon、Hyunjoon;Han、Yo-Sub

计算用于解析表达式语言的最短字符串和编辑距离。 （英语） 兹伯利07601060

Jonoska，Nataša（编辑）等人，《语言理论的发展》。第24届国际会议，DLT 2020，美国佛罗里达州坦帕，2020年5月11日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12086, 43-54 (2020).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Cheon}和\textit{Y.S.Han}，Lect。注释计算。科学。12086、43-54（2020；Zbl 07601060）
全文： 内政部
Han、Yo-Sub;Ko、Sang-Ki;蒂莫西·吴;凯·萨洛马

多种正则语言的一致字符串问题。 （英语） Zbl 1485.68143号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 196-207 (2017).
理学硕士：第68季度第45季度 65年第68季度 68年第27季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\文本{Y.-S.Han}等人，Lect。注释计算。科学。10168、196--207（2017；Zbl 1485.68143）
全文： 内政部
Han、Yo-Sub;Ko、Sang-Ki

可视下推语言之间的编辑距离。 （英语） 兹比尔1444.68095

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 387-401 (2017).
理学硕士：第68季度第45季度 65年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{Y.-S.Han}和\textit{S.-K.Ko}，Lect。注释计算。科学。10139387--401（2017；Zbl 1444.68095）
全文： 内政部
赵大中;Han、Yo-Sub;蒂莫西·吴;凯·萨洛马

Outfix-guided插入（扩展抽象）。 （英语） Zbl 1436.68166号

Brlek，Srečko（编辑）等人，《语言理论的发展》。2016年7月25日至28日，第20届国际会议，DLT 2016，加拿大蒙特利尔。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9840, 102-113 (2016).
理学硕士：第68季度第45季度 92D20型
PDF格式BibTeX公司 XML格式引用
\textit{D.-J.Cho}等人，Lect。注释计算。科学。9840、102-113（2016年；Zbl 1436.68166）
全文： 内政部
Han、Yo-Sub;Ko、Sang-Ki;凯·萨洛马

带有边际错误的代码语言的泛化。 （英语） Zbl 1434.68255号

Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9168, 264-275 (2015).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.-S.Han}等人，Lect。注释计算。科学。9168、264--275（2015年；Zbl 1434.68255）
全文： 内政部
亚历山大·帕卢达基斯;赵大中;丹尼尔·戈奇;Han、Yo-Sub;Ko、Sang-Ki;凯·萨洛马

二进制字母表上有限语言上排列的状态复杂性。 （英语） Zbl 1432.68241号

Shallit，Jeffrey（编辑）等人，《形式系统的描述复杂性》。2015年6月25日至27日，加拿大安大略省滑铁卢，第17届DCFS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9118, 220-230 (2015).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Palioudakis}等人，Lect。注释计算。科学。9118220--230（2015年；Zbl 1432.68241）
全文： 内政部
海松·埃姆;Han、Yo-Sub;凯·萨洛马

无前缀正则语言的“（k\）并集”和“（k~）交集”的状态复杂性。 （英语） Zbl 1327.68155号

发现的国际期刊。计算。科学。 第211-227号第26页（2015年）.
审核人：马格努斯·斯坦比（图尔库）
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{H.-S.Eom}等人，国际期刊发现。计算。科学。26，第2号，211--227（2015；Zbl 1327.68155）
全文： 内政部
Han、Yo-Sub;凯·萨洛马;于盛

说明无前缀正则语言组合操作的复杂性。 （英语） Zbl 1234.68210号

Dediu，Adrian Horia（编辑）等人，《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00981-5/pbk）。计算机科学课堂讲稿5457398-409（2009）。
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.-S.Han}等人，Lect。注释计算。科学。5457398--409（2009年；Zbl 1234.68210）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件