卡雷尔·库利克二世;彼得·拉贾尼 迭代加权有限转导。 (英语) Zbl 0831.68119号 学报信息。 32,第7号,681-703(1995). 审核人:卡雷尔·库利克(Karel II Culik) MSC公司:68平方英寸10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{P.Rajáni},《学报》第32卷第7期,第681--703页(1995年;Zbl 0831.68119) 全文: 内政部
卡雷尔·库利克;贾科·卡里 图像的有限状态变换。 (英语) Zbl 1412.68125号 Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。944, 51-62 (1995).MSC公司:65年第68季度 68平方英寸10 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik}和\textit{J.Kari},莱克特。票据计算。科学。944、51-62(1995年;Zbl 1412.68125) 全文: 内政部
卡雷尔·库利克二世;朱哈尼·卡胡马基 产生无限单词的迭代设备。 (英语) 兹比尔1494.68132 Finkel,A.(编辑)等人,STACS 92。计算机科学的理论方面。1992年2月13日至15日,法国卡尚,第九届年度研讨会会议记录。柏林:斯普林格。莱克特。票据计算。科学。577, 531-543 (1992).MSC公司:65年第68季度 11比85 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{J.Karhumäki},莱克特。票据计算。科学。577531-543(1992年;Zbl 1494.68132) 全文: 内政部
卡雷尔·库利克二世;朱哈尼·卡胡马基 自动机和HDTOL关系中的循环。 (英语) 兹比尔0701.68079 RAIRO,通知。塞奥尔。申请。 24,第4号,327-337(1990).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{J.Karhumäki},RAIRO,Inform。塞奥尔。申请。24,第4号,327--337(1990;Zbl 0701.68079) 全文: 内政部 欧洲DML
卡雷尔·库利克二世 证明等价问题可判定性的新技术。 (英语) Zbl 0699.68092号 西奥。计算。科学。 71,No.1,29-45(1990).MSC公司:65年第68季度 第68季度第42季度 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{K.库利克二世},Theor。计算。科学。71,No.1,29--45(1990;Zbl 0699.68092) 全文: 内政部
卡雷尔·库利克二世;朱哈尼·卡胡马基 关于确定性多带自动机和变换器的等价问题。 (英语) Zbl 1492.68078号 Monien,Burkhard(编辑)等人,STACS 89。第六届计算机科学理论方面年度研讨会,1989年2月16日至18日,法国联邦政府帕德博恩。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。第349、468-479页(1989年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{J.Karhumäki},莱克特。票据计算。科学。349468-479(1989年;Zbl 1492.68078) 全文: 内政部
卡雷尔·库利克二世 行刑队问题和应用的变化。 (英语) Zbl 0665.68043号 信息处理。莱特。 30,第3期,153-157(1989).MSC公司:68问题80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II},Inf.流程。莱特。30,第3号,153--157(1989;Zbl 0665.68043) 全文: 内政部
卡雷尔·库利克二世;于盛 某些收缩系统的容错方案。 (英语) 兹比尔0656.68055 国际期刊计算。数学。 22,第1期,13-42(1987).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{S.Yu},国际计算机杂志。数学。22,编号1,13-42(1987;Zbl 0656.68055) 全文: 内政部
卡雷尔·库利克二世;于盛;奥斯卡·H·伊巴拉。 具有对数深度的迭代树数组。 (英语) 兹比尔0655.68056 国际期刊计算。数学。 20,第3-4号,187-204(1986).MSC公司:68问题80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}等人,《国际计算杂志》。数学。20,编号3--4,187--204(1986;Zbl 0655.68056) 全文: 内政部
卡雷尔·库利克二世;于盛 实时、伪实时和线性时间ITA。 (英语) Zbl 0619.68050号 西奥。计算。科学。 47, 15-26 (1986).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{S.Yu},Theor。计算。科学。47、15--26(1986年;Zbl 0619.68050) 全文: 内政部
卡雷尔·库利克二世;伊凡·弗里什 拓扑变换作为收缩网络设计中的一种工具。 (英语) Zbl 0584.68068号 西奥。计算。科学。 37, 183-216 (1985). 审核人:拉迪姆·吉鲁舍克(普拉哈) MSC公司:2005年第68季度 05年10月 94C15号机组 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{I.Friš},Theor。计算。科学。37183-216(1985年;兹bl 0584.68068) 全文: 内政部
卡雷尔·库利克二世;J·格鲁斯卡。;莎乐玛,A。 收缩网格自动机。二、。 (英语) Zbl 0571.68042号 国际期刊计算。数学。 16, 3-22 (1984). 审核人:G.韦奇星 MSC公司:65年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}等人,《国际计算杂志》。数学。16,3-22(1984年;兹bl 0571.68042) 全文: 内政部
卡雷尔·库利克二世;乔泽夫·格鲁斯卡;阿托·萨洛马 收缩网格自动机。一、。 (英语) Zbl 0571.68041号 国际期刊计算。数学。 15, 195-212 (1984).MSC公司:65年第68季度 68问题80 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}等人,《国际计算杂志》。数学。15、195--212(1984年;Zbl 0571.68041) 全文: 内政部
卡雷尔·库利克二世;于盛 迭代树自动机。 (英语) Zbl 0544.68055号 西奥。计算。科学。 32, 227-247 (1984).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{S.Yu},Theor。计算。科学。32227--247(1984年;Zbl 0544.68055) 全文: 内政部
卡雷尔·库利克二世;J·格鲁斯卡。;莎乐玛,A。 关于收缩树自动机产生的L语言家族。 (英语) 兹伯利0549.68081 西奥。计算。科学。 23, 231-242 (1983). 审核人:M.昆泽 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Čulik II}等人,Theor。计算。科学。23、231--242(1983年;Zbl 0549.68081) 全文: 内政部
卡雷尔·库利克二世;朱哈尼·卡胡马基 关于DOL语言的Ehrenfeucht猜想。 (英语) Zbl 0544.68050号 RAIRO,Inf.Théor公司。 17, 205-230 (1983). 审核人:G.奥曼 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{J.Karhumäki},RAIRO,Inf.Théor。17205-230(1983年;Zbl 0544.68050) 全文: 欧洲DML
卡雷尔·库利克二世;Jürgensen,H。 VLSI的可编程有限自动机。 (英语) Zbl 0528.68035号 国际期刊计算。数学。 14, 259-275 (1983).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.库利克二世}和textit{H.Jürgensen},国际计算杂志。数学。14、259--275(1983年;Zbl 0528.68035) 全文: 内政部
卡雷尔·库利克二世;头部,汤姆 转喻和语言的平行生成。 (英语) Zbl 0503.68057号 国际期刊计算。数学。 13, 3-15 (1983).MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{T.Head},国际计算机杂志。数学。13、3-15(1983年;Zbl 0503.68057) 全文: 内政部
卡雷尔·库利克二世;阿托·萨洛马 关于通过迭代变形获得的无限单词。 (英语) Zbl 0492.68059号 西奥。计算。科学。 19, 29-38 (1982).MSC公司:65年第68季度 第68季度第42季度 2005年5月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{A.Salomaa},Theor。计算。科学。19、29——38(1982;Zbl 0492.68059) 全文: 内政部
布彻,W。;H·A·莫勒。;卡雷尔·库利克二世;D.沃奇克。 有限语言的简明描述。 (英语) Zbl 0469.68081号 西奥。计算。科学。 14, 227-246 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Bucher}等人,Theor。计算。科学。14、227--246(1981年;Zbl 0469.68081) 全文: 内政部
卡雷尔·库利克二世;戴蒙德,N.D。 语言的时间和空间复杂性类的同态特征。 (英语) Zbl 0444.68035号 国际期刊计算。数学。 8, 207-222 (1980).MSC公司:65年第68季度 03D60年 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{N.D.Diamond},国际计算机杂志。数学。8、207--222(1980;Zbl 0444.68035) 全文: 内政部
卡雷尔·库利克二世;伍德,D。 双确定性表格OL系统。 (英语) Zbl 0426.68073号 国际期刊计算。通知。科学。 8, 335-347 (1979).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.采利克二世}和\textit{D.伍德},国际计算机杂志。通知。科学。8、335--347(1979年;Zbl 0426.68073) 全文: 内政部
卡雷尔·库利克二世;J.L.里奇尔。 ETOL语言的同态等价。 (英语) Zbl 0401.68049号 国际期刊计算。数学。 7, 43-51 (1979).MSC公司:65年第68季度 03D60年 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{J.L.Richier},国际计算机杂志。数学。7、43-51(1979年;Zbl 0401.68049) 全文: 内政部
阿里斯蒂德·林登迈耶;卡雷尔·库利克二世 成长中的细胞系统:通过并行重写生成图形。 (英语) Zbl 0392.92007号 国际通用系统杂志。 5, 45-55 (1979).MSC公司:92B05型 92D10型 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{A.Lindenmayer}和\textit{K.Culik II},《国际遗传学》。5、45-55(1979年;Zbl 0392.92007) 全文: 内政部
卡雷尔·库利克二世;阿托·萨洛马 关于语言同态等价的可判定性。 (英语) Zbl 0389.68042号 J.计算。系统。科学。 17, 163-175 (1978).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{A.Salomaa},J.Compute。系统。科学。17、163--175(1978年;Zbl 0389.68042) 全文: 内政部
卡雷尔·库利克二世;H·A·莫勒。;Th.Ottmann。 在两个符号上填写EOL表格。 (英语) Zbl 0369.68046号 西奥。计算。科学。 6, 69-92 (1978).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Čulik II}等人,Theor。计算。科学。6、69-92(1978年;Zbl 0369.68046) 全文: 内政部
卡雷尔·库利克二世 DOL系统的v-local连接性和其他属性的可判定性。 (英语) Zbl 0369.68044号 信息处理。莱特。 7, 33-35 (1978).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II},Inf.流程。莱特。7,33-35(1978年;兹bl 0369.68044) 全文: 内政部
卡雷尔·库利克二世;H·A·莫勒。;Th.Ottmann。;鲁霍宁,K。;莎乐玛,A。 PDOL形式的同构、形式等价和序列等价。 (英语) 兹比尔0368.68072 西奥。计算。科学。 6, 143-173 (1978).MSC公司:65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{K.Čulik II}等人,Theor。计算。科学。6143--173(1978年;Zbl 0368.68072) 全文: 内政部
卡雷尔·库利克二世;阿里斯蒂德·林登迈耶 用于多细胞开发的并行图形生成和图形递归系统。 (英语) Zbl 0332.68054号 国际通用系统。 3, 53-66 (1976).MSC公司:65年第68季度 68瓦99 92B05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{A.Lindenmayer},国际通用系统。3、53-66(1976年;Zbl 0332.68054) 全文: 内政部
卡雷尔·库利克 计算机算法代数。 (英语) Zbl 0285.68029号 捷克的。数学。J。 23(98), 670-689 (1973).MSC公司:65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik},捷克语。数学。J.23(98),670-689(1973年;Zbl 0285.68029) 全文: 内政部 欧洲DML