汉斯·约尔格·克鲁斯基;萨宾·库斯克;亚伦·赖伊 将Petri网变体转换为上下文相关的融合文法。 (英语) Zbl 1487.68139号 Inf.计算。 286,文章ID 104780,15 p.(2022).MSC公司:2012年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}等人,《信息计算》。286,文章ID 104780,15 p.(2022;Zbl 1487.68139) 全文: 内政部
汉斯·约尔格·克鲁斯基;格列泽戈兹·罗森贝格 通过反应系统中的图形浏览进行图形变换。 (英语) Zbl 1435.68135号 J.日志。阿尔盖布。方法计划。 109,文章ID 100481,22 p.(2019).MSC公司:2012年第68季度 2007年第68季度 65年第68季度 68问题80 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{G.Rozenberg},J.Log。阿尔盖布。方法计划。109,文章ID 100481,22 p.(2019;Zbl 1435.68135) 全文: 内政部
汉斯·约尔格·克鲁斯基;萨宾·库斯克;亚伦·赖伊 平行图变换的一个简单概念及其观点。 (英语) 兹比尔1383.68033 Heckel,Reiko(编辑)等人,《图形转换、规范和网络》。为了纪念哈特穆特·埃里格。查姆:施普林格(ISBN 978-3-319-75395-9/pbk;978-3-3169-75396-6/电子书)。计算机科学讲义10800,61-82(2018)。MSC公司:第68季度10 05C85号 2012年第68季度 65年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}等人,Lect。注释计算。科学。10800,61-82(2018;Zbl 1383.68033) 全文: 内政部
汉斯·约尔格·克鲁斯基;萨宾·库斯克;亚伦·赖伊 融合文法:一种生成图形语言的新方法。 (英语) Zbl 1425.68167号 de Lara,Juan(编辑)等人,《图形变换》。2017年7月18日至19日,作为2017年STAF的一部分,在德国马尔堡举行了第十届国际会议,即2017年ICGT。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10373, 90-105 (2017).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}等人,Lect。注释计算。科学。10373、90-105(2017年;Zbl 1425.68167) 全文: 内政部
汉斯·约尔格·克鲁斯基;萨宾·库斯克 多项式图的可变换性。 (英语) Zbl 1243.68226号 西奥。计算。科学。 429, 193-201 (2012).MSC公司:68兰特 65年第68季度 2017年第68季度 05立方31 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{S.Kuske},Theor。计算。科学。429193-201(2012;Zbl 1243.68226) 全文: 内政部
雷纳特·克莱姆皮恩·亨里克斯;汉斯·约尔格·克鲁斯基;萨宾·库斯克 图形转换单元的类型。 (英语) Zbl 1116.68555号 Ehrig,Hartmut(编辑)等人,《图形变换》。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23207-9/pbk)。计算机科学课堂讲稿3256112-127(2004)。MSC公司:68兰特 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Klempien-Hinrichs}等人,Lect。注释计算。科学。32561112-127(2004年;兹bl 1116.68555) 全文: 内政部
法兰克·德雷维斯;Sigrid Ewert公司;雷纳特·克莱姆皮恩·亨里克斯;汉斯·约尔格·克鲁斯基 从网格图片语法计算光栅图像。 (英语) Zbl 1141.68432号 J.汽车。语言梳。 8,第3期,499-519(2003).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}等人,J.Autom。Lang.梳。8,第3号,499--519(2003;Zbl 1141.68432)
法兰克·德雷维斯;汉斯·约尔格·克鲁斯基;丹尼斯·拉波雷 否定拼贴语言上下文无关性的标准。 (英语) Zbl 1044.68089号 西奥。计算。科学。 290,第3期,1445-1458(2003).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}等人,Theor。计算。科学。290,第3号,1445--1458(2003;Zbl 1044.68089) 全文: 内政部
法兰克·德雷维斯;Sigrid Ewert公司;雷纳特·克莱姆皮恩·亨里克斯;汉斯·约尔格·克鲁斯基 从网格图片语法计算光栅图像。 (英语) Zbl 0989.68063号 Yu,Sheng(编辑)等,自动机的实现和应用。2000年7月24日至25日,加拿大安大略省伦敦,CIAA 2000第五届国际会议。修订论文。柏林:斯普林格。莱克特。注释计算。科学。2088, 113-121 (2001).MSC公司:2012年第68季度 65年第68季度 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}等人,Lect。注释计算。科学。2088113-121(2001;Zbl 0989.68063) 全文: 链接
法兰克·德雷维斯;雷纳特·克莱姆皮恩·亨里克斯;汉斯·约尔格·克鲁斯基 表驱动和上下文敏感的拼贴语言。 (英语) Zbl 0996.68095号 Rozenberg,Grzegorz(编辑)等,《语言理论的发展》。基础、应用程序和前景。第四届国际会议记录,1999年7月6日至9日,德国亚琛。新加坡:世界科学。326-337(2000年)。MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}等人,in:语言理论的发展。基础、应用程序和前景。第四届国际会议记录,德国亚琛,1999年7月6-9日。新加坡:世界科学。326--337(2000年;Zbl 0996.68095)
雷纳特·克莱姆皮恩·亨里克斯;汉斯·约尔格·克鲁斯基;斯特凡·陶本伯格 将相互递归函数系统正确翻译为TOL拼贴语法。 (英语) Zbl 0948.68107号 Ciobanu,Gabriel(编辑)等人,《计算理论基础》。第12届国际研讨会,FCT’99。罗马尼亚伊阿希,1999年8月30日至9月3日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1684, 350-361 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Klempien-Herinichs}等人,Lect。注释计算。科学。1684、350-361(1999年;Zbl 0948.68107)
阿斯蒂西亚诺,E。(编辑);Kreowski,H.-J。(编辑);Krieg-Brückner,B。(编辑) 系统规范的代数基础。 (英语) Zbl 0973.68002号 IFIP现状报告。柏林:斯普林格。xii,616页(1999年)。MSC公司:68-02 65年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}(编辑)等,系统规范的代数基础。柏林:施普林格出版社(1999;Zbl 0973.68002)
法兰克·德雷维斯;汉斯·约尔格·克鲁斯基;丹尼斯·拉波雷 否定拼贴语言无语境性的标准。 (英语) Zbl 1507.68166号 Chlebus,Bogdan S.(编辑)等人,《计算理论基础》。第11届国际研讨会,1997年9月1日至3日,波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1279, 169-178 (1997).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}等人,Lect。注释计算。科学。1279,169-178(1997年;兹bl 1507.68166) 全文: 内政部
A.哈贝尔。;Kreowski,H.-J。;劳特曼,C。 相容图、有限图和归纳图属性的比较。 (英语) Zbl 0771.68079号 西奥。计算。科学。 110,第1期,145-168(1993).MSC公司:2012年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Habel}等人,Theor。计算。科学。110,第1号,145--168(1993;Zbl 0771.68079) 全文: 内政部
埃里格·H·。;A.哈贝尔。;H·J·克鲁斯基。 介绍图形语法及其在语义网络中的应用。 (英语) Zbl 0706.68066号 计算。数学。申请。 23,编号6-9,557-572(1992). 审核人:H.埃里格 MSC公司:2012年第68季度 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,计算。数学。申请。23,编号6--9557--572(1992;Zbl 0706.68066) 全文: 内政部
汉斯·约尔格·克鲁斯基 并行超边缘替换。 (英语) Zbl 0771.68075号 Lindenmayer系统。对理论计算机科学、计算机图形学和发育生物学的影响,271-282(1992)。 审核人:G.Paun(布库雷什蒂) MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski},in:林登迈耶系统。对理论计算机科学、计算机图形学和发育生物学的影响。柏林等:Springer-Verlag。271--282(1992年;Zbl 0771.68075)
哈贝尔,A。;Kreowski,H.-J。;沃格勒,W。 超边置换生成的图集的可判定有界性问题。 (英语) Zbl 0706.68070号 西奥。计算。科学。(出现)。 审核人:A.哈贝尔 MSC公司:2012年第68季度 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式
A.哈贝尔。;Kreowski,H.-J。;普拉普,D。 丛林评估。 (英语) Zbl 0706.68069号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 15,第1期,37-60(1991). 审核人:A.哈贝尔 MSC公司:2012年第68季度 65年第68季度 68号01 68问题55 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Habel}等人,Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.15,No.1,37--60(1991;Zbl 0706.68069)
A.哈贝尔。;Kreowski,H.-J。;劳特曼,C。 相容图、有限图和归纳图属性的比较。 (英语) Zbl 0706.68068号 西奥。计算。科学。(出现)。 审核人:A.哈贝尔 MSC公司:2012年第68季度 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基 系统规范的数学方面。 (英语) Zbl 0744.68100号 牛市。EATCS公司 44, 144-146 (1991).MSC公司:68问题65 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Kreowski},公牛。EATCS 44、144——146(1991年;兹bl 0746.8100)
汉斯·约尔格·克鲁斯基;格列泽戈兹·罗森贝格 关于结构化图文法。二、。 (英语) Zbl 0725.68063号 信息科学。 52,第3期,221-246(1990).MSC公司:2012年第68季度 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{G.Rozenberg},《信息科学》。52,第3号,221--246(1990;Zbl 0725.68063) 全文: 内政部
汉斯·约尔格·克鲁斯基;格列泽戈兹·罗森贝格 关于结构化图文法。一、。 (英语) Zbl 0716.68056号 信息科学。 52,第2期,185-210(1990). 审核人:G.鲍恩 MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{G.Rozenberg},《信息科学》。52,第2号,185--210(1990;Zbl 0716.68056) 全文: 内政部
阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;沃尔特·福格勒 超边替换图语言上决策问题的元定理。 (英语) Zbl 0674.68047号 学报信息。 26,第7号,657-677(1989). 审核人:A.哈贝尔 MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Habel}等人,《学报》第26期,第7期,第657--677页(1989年;Zbl 0674.68047) 全文: 内政部
阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基 超边缘替换产生的漂亮图案。 (英语) Zbl 0651.68099号 计算机科学中的图论概念。第十三届国际研讨会,Staffelstein/FRG 1987,Lect。注释计算。科学。314, 32-45 (1988).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式
阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;沃尔特·福格勒 对于超边缘替换图形语言,兼容的图形属性是可以判定的。 (英语) Zbl 0664.68076号 牛市。EATCS公司 33, 55-62 (1987). 审核人:H.J.Schneider公司 MSC公司:65年第68季度 05C65号 68兰特 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{A.Habel}等人,公牛。EATCS 33,55--62(1987;Zbl 0664.68076)
阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基 请允许我们向您介绍:Hyperedge替换。 (英语) Zbl 0643.68106号 图文法及其在计算机科学中的应用,第三届国际研讨会,沃伦顿/弗吉尼亚州,1986年,莱克托。注释计算。科学。291, 15-26 (1987).MSC公司:65年第68季度 05C65号 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基;威尔哈姆,安妮 并行已经是并发了吗?II: 图语法中的非顺序过程。 (英语) Zbl 0643.68024号 图文法及其在计算机科学中的应用,第三届国际研讨会,沃伦顿/弗吉尼亚州,1986年,莱克托。注释计算。科学。291, 361-377 (1987).MSC公司:68N25号 65年第68季度 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基 并行已经是并发了吗?一: 图文法中的推导。 (英语) Zbl 0643.68023号 图文法及其在计算机科学中的应用,第三届国际研讨会,沃伦顿/弗吉尼亚州,1986年,莱克托。注释计算。科学。291, 343-360 (1987).MSC公司:68N25号 65年第68季度 PDF格式BibTeX公司 XML格式
阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基 边缘替换生成的图形语言的特征。 (英语) Zbl 0636.68100号 西奥。计算。科学。 51, 81-115 (1987).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Habel}和\textit{H.-J.Krowski},Theor。计算。科学。51、81-115(1987年;Zbl 0636.68100) 全文: 内政部
阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基 超边替换生成的超图语言的一些结构方面。 (英语) Zbl 0635.68077号 STACS 87,计算机科学的理论方面,Proc。第4年。交响乐团。,帕索/FRG 1987,Lect。注释计算。科学。247, 207-219 (1987).MSC公司:65年第68季度 68号01 68问题85 05C65号 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基 规则树表示边缘替换系统中的派生。 (英语) 兹比尔0635.68083 L的书,dedic。A.Lindenmayer场合。第60个生日,217-232(1986)。 审核人:G.格里戈拉斯 MSC公司:65年第68季度 68兰特 05二氧化碳 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基;安妮·威尔哈姆 网络过程对应于图文法中的派生过程。 (英语) Zbl 0607.68058号 西奥。计算。科学。 44, 275-305 (1986). 审核人:W.夸索维奇 MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{A.Wilharm},Theor。计算。科学。44275--305(1986年;Zbl 0607.68058) 全文: 内政部
汉斯·约尔格·克鲁斯基;格列泽戈兹·罗森贝格 关于节点重写图语法的注释。 (英语) Zbl 0544.68052号 信息处理。莱特。 18, 21-24 (1984). 审核人:A.Maggiolo-Schettini先生 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{G.Rozenberg},Inf.Process。莱特。18、21——24(1984年;Zbl 0544.68052) 全文: 内政部
汉斯·约尔格·克鲁斯基 图形语法推导过程。 (英语) Zbl 0538.68016号 计算机科学中的图形概念,Proc。《国际研讨会》,奥斯纳布吕克,1983年,136-150(1983年)。 审核人:A.Maggiolo-Schettini先生 MSC公司:68N25号 65年第68季度 PDF格式BibTeX公司 XML格式
阿内格丽特·哈贝尔;汉斯·乔尔格·克鲁斯基 边缘替换生成的上下文无关图语言。 (英语) 兹伯利0522.68071 图语法及其在计算机科学中的应用,第二期国际研讨会,Haus Ohrbeck/Ger。1982年,Lect。注释计算。科学。第153143-158页(1983年)。MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式
詹森,D。;Kreowski,H.-J。;G.罗森伯格。;埃里格·H·。 节点-标签控制图转换的并发性。 (英语) Zbl 0538.68057号 计算机科学中的图形概念,Proc。第八届会议,Neunkirchen/Ger。1982, 91-108 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格;汉斯·乔尔格·克鲁斯基;安德烈亚·马焦洛·谢蒂尼;巴里·罗森。;乔泽夫·温科夫斯基 结构转换:代数方法。 (英语) Zbl 0491.68035号 数学。系统。理论 14, 305-334 (1981).MSC公司:68问题65 60年第68季度 65年第68季度 70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,数学。系统。理论14,305--334(1981;Zbl 0491.68035) 全文: 内政部
汉斯·乔尔格·克鲁斯基;格列泽戈兹·罗森贝格 关于有限自动机所接受的图语言的构造性描述。 (英语) Zbl 0487.68069号 计算机科学数学基础1981,Proc。第十交响曲。,Strbske Pleso/捷克。1981年,Lect。注释计算。科学。118, 398-409 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基 Petri网和图文法之间的比较。 (英语) Zbl 0454.68053号 计算机科学中的图形概念,Proc。内部车间,Bad Honnef 1980,Lect。注释计算。科学。100, 306-317 (1981).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式
埃里格·H·。;Kreowski,H.-J。 一种在数据库系统中实现最优和一致调度的图形语法方法。 (英语) 兹比尔0457.68036 离散结构和算法,Proc。研讨会,第五届会议图表理论。概念计算。科学。,柏林1979,223-239(1980)。MSC公司:68平方米 68第20页 68N25号 65年第68季度 PDF格式BibTeX公司 XML格式
埃里格·H·。;Kreowski,H.-J。 图文法理论在数据库系统一致性、同步和调度中的应用。 (英语) Zbl 0456.68096号 信息系统。 5, 225-238 (1980).MSC公司:65年第68季度 68第20页 68N25号 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{H.J.Krowski},信息系统。5225--238(1980年;Zbl 0456.68096) 全文: 内政部
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基 Pushout-properties:对图的粘合结构的分析。 (英语) Zbl 0431.68069号 数学。纳克里斯。 91, 135-149 (1979).MSC公司:65年第68季度 68问题65 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{H.-J.Krowski},数学。纳克里斯。91、135——149(1979年;Zbl 0431.68069) 全文: 内政部
汉斯·约尔格·克鲁斯基 无上下文图语言的泵引理。 (英语) Zbl 0407.68075号 图文法及其在计算机科学和生物学中的应用,Bad Honnef国际研讨会,1978年,Lect。注释计算。科学。73, 270-283 (1979).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式
埃里格·H·。;Kreowski,H.-J。 图语法的代数理论应用于数据库系统中的一致性和同步。 (英语) Zbl 0395.68074号 申请。计算。科学。,Ber.公司。普拉克。信息。 13, 227-243 (1979).MSC公司:65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{H.J.Krowski},应用。计算。科学。,Ber.公司。普拉克。Inf.13,227--243(1979;Zbl 0395.68074)
埃里格·H·。;Kreowski,H.-J。 图文法的代数理论应用于数据库系统的一致性和同步。 (英语) Zbl 0388.68061号 程序。78年工作组研讨会,格拉芬诺尔。康茨。Inf.,Feuerstein 1978年(即将出版)(FB 20,Inst.Software Theor.Inf.,Tech.Univ.,D-1000 Berlin 10.)。MSC公司:65年第68季度 68第05页 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基;Maggiolo-Schettini,A。;B.K.罗森。;Z.温科夫斯基。 从结构派生结构。 (英语) Zbl 0379.68055号 数学。已找到。计算。科学。1978年,程序。第七交响曲。马萨诸塞州扎科帕内。注释计算。科学。64, 177-190 (1978).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基 图文法中派生序列的变换。 (英语) Zbl 0356.68085号 芬丹。计算。理论,程序。国际会议,波兹南·科尼克1977年,莱克特。注释计算。科学。56, 275-286 (1977).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基 在Pumpinglemma für Kanten kontextfreie Graph Sprachen中。 (德语) 兹比尔0354.68101 Bericht第77-15号。柏林技术大学,Fachbereich Informatik(20)。40 S.(1977年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基 图形系统和图形语法的分类方法。 (英语) Zbl 0378.68038号 数学。系统。理论,程序。国际交响乐团。,Udine 1975,莱克托。注释经济。数学。系统。131, 323-351 (1976).MSC公司:65年第68季度 18B20型 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基 Kanonische Ableitungssequenzen für Graph-Grammatiken公司。 (德语) Zbl 0361.68109号 Bericht科技大学,柏林,Fachber。20-Kybernetik第76-26、1-8号(1976年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基 代数图论在计算机科学中的应用。 (英语) Zbl 0357.68081号 程序。Comp.中的Conf.范畴和代数方法。科学。和系统。理论,Haus Ahlenberg(多特蒙德),1976年11月,1-10日(1976年)。MSC公司:65年第68季度 05C30号 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基 最小实现的框架。 (英语) Zbl 0356.94066号 Bericht科技大学,柏林,Fachber。20 Kybernetik,编号76-04,1-24(1976年)。MSC公司:65年第68季度 18B20型 PDF格式BibTeX公司 XML格式
汉斯·约尔格·克鲁斯基 Kanonische Ableitungssequenzen für Graph-Grammatiken公司。 (德语) Zbl 0354.68094号 Bericht编号76-26。柏林。柏林技术大学,Fachbereich Informatik(20),80 S.(1976)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基 对图文法代数理论的贡献。 (英语) Zbl 0354.68093号 Bericht第76-22号。柏林:柏林科技大学,Fachbereich Informatik(20),38 S.(1976)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基 多维信息结构中操作的并行性。 (英语) Zbl 0352.68096号 数学。已找到。计算。科学。,程序。第五届MFCS交响乐团。,格但斯克,1976年,莱克托。注释计算。科学。45, 284-293 (1976).MSC公司:65年第68季度 68第20页 PDF格式BibTeX公司 XML格式
阿里斯蒂德·林登迈耶(编辑);格列泽戈兹·罗森贝格(编辑) [G.罗森伯格。;R.O.埃里克森。;哈特,C。;纳格尔,M。;H·M·马丁内斯。;A.贝尔。;Ede博士。;英国威尔比。;A.帕兹。;弗里杰特斯,D。;埃里格·H·。;Lindenmayer,A。;A.奥尔特曼。;Rosenfeld,A。;刘易斯,J.H。;幸运,H.B。;J·勒克。;H·J·克鲁斯基。;C.P.乌文。;马约,B.H。;J.J.贝泽姆。;A.萨洛马。;J·伯斯特。;尼尔森,M。;A.埃伦菲赫特。;Johansen,P。;朱哈尼·卡胡马基;尤尔根森,H。;Opartny,J。;卡雷尔·库利克;H·A·莫勒。;伍德,D。;鲁霍宁,K。;瓦伊奇,W.J。;H.J.舒尔。;蒂尔林,G。;Soittola,M。;范·吕文(J.Van Leeuwen)。;维坦伊,P.M.B。;美国戈尔兹。;J·霍兰德。;A.R.史密斯。] 自动化、语言、开发。 (英语) Zbl 0346.92001号 阿姆斯特丹-纽约-牛津:North-Holland Publishing Company。八、 529页46.00美元;英国国防部。120.00 (1976).MSC公司:92B05型 65年第68季度 65年第68季度 68岁20岁 00亿Bxx 92-02 68-02 68-06 91E99型 92-06 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基 自动机和系统理论中简化和最小化的系统方法。 (英语) Zbl 0343.94025号 J.计算。系统。科学。 12, 269-304 (1976).MSC公司:65年第68季度 18日第15天 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{H.-J.Krowski},J.Compute。系统。科学。12、269--304(1976;Zbl 0343.94025) 全文: 内政部
Kreowski,H.-J。;埃里格·H·。 伪闭范畴中自动机的最小化概念。 (英语) Zbl 0341.94022号 数学。系统。理论,程序。国际交响乐团。,Udine 1975,莱克托。注释经济。数学。系统。131, 359-374 (1976).MSC公司:65年第68季度 18B20型 18日第15天 PDF格式BibTeX公司 XML格式
埃里格·H·。;Kreowski,H.-J。 Church-Roser定理导致了图语法的平行和规范导数。 (英语) 兹伯利0367.68055 柏林理工大学,法赫伯。20-Kybernetik第75-27号,第1-16页(1975年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基 伪闭范畴中的幂自动机和初始自动机。 (英语) Zbl 0305.94045号 范畴理论应用。计算。控制,程序。第一名国际学生。交响乐团。,1974年,洛杉矶。计算机科学笔记。25, 144-150 (1975). 审核人:Hartmut Ehrig(柏林) MSC公司:65年第68季度 18B20型 18日第15天 PDF格式BibTeX公司 XML格式
埃里格·H·。;Kiermeier,K.-D。;Kreowski,H.-J。;库内尔,W。 自动机的普遍理论。直截了当的方法。 (英语) Zbl 0289.94023号 Teubner Studienbücher公司。信息科技。斯图加特:B.G.特布纳。240 p.,有许多图和示例,卡丁车。DM 22.80(1974)。 审核人:霍斯特·赖切尔(德累斯顿) MSC公司:65年第68季度 18B20型 68-02 18-02 PDF格式BibTeX公司 XML格式
埃里格·H·。;Kreowski,H.-J。;P挡泥板,M。 Kategorielle Theorye der Reduktion,Minimierung und Asa quivalenz von Automaten公司。 (德语) Zbl 0247.94031号 数学。纳克里斯。 59105-124(1974年).MSC公司:65年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,数学。纳克里斯。59105-124(1974年;Zbl 0247.94031) 全文: 内政部