×

找到5个文档(结果1-5)

幺半群、同余和形式语言的构成。 (英语) Zbl 1423.68298号

科学。Ann.计算机。科学。 25,第2期,171-209(2015); 勘误表同上,第26号,第123-124页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机和共方程的正则变体。 (英语) Zbl 1432.68270号

Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 224-237 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

语言的多样性和共变性(扩展抽象)。 (英语) Zbl 1334.68139号

Kozen,Dexter(ed.)等人,第29届编程语义数学基础会议论文集(MFPS XXIX),美国洛杉矶新奥尔良,2013年6月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》298,7-28(2013)。
MSC公司:70年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份