保罗·巴尔丹;法比奥·加杜奇 Petri网是二元体:非确定性网络理论的新代数基础。 (英语) Zbl 1417.68114号 学报信息。 56,第1号,61-92(2019). 审核人:Jörg Desel(哈根) MSC公司:68问题85 18B20型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{F.Gadducci},Acta Inf.56,No.1,61-92(2019;兹bl 1417.68114) 全文: 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 重新审视因果关系。 (英语) Zbl 1307.68053号 学报信息。 52,第1期,第5-33页(2015年).MSC公司:68问题85 68问题55 18层20 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,《信息学报》52,第1期,第5--33页(2015年;Zbl 1307.68053) 全文: 内政部 链接
Robert M.科伦布。;丹普尼,C.N.G。;迈克尔·约翰逊 范畴理论推理是信息系统中的一种抽象机制。 (英语) Zbl 1031.68137号 学报信息。 38,第1期,1-44页(2001年).MSC公司:68单位35 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Colomb}等人,Acta Inf.38,No.1,1-44(2001;Zbl 1031.68137) 全文: 内政部
皮耶保罗·德加诺;何塞·梅塞盖尔;乌戈·蒙塔纳里 公理化网络计算和过程的代数。 (英语) Zbl 0849.68087号 学报信息。 33,第7期,641-667(1996).MSC公司:68问题85 18日第10天 PDF格式BibTeX公司 XML格式 全文: 内政部
拉兹万·迪亚科内斯库 用于等式逻辑编程的基于类别的模块化。 (英语) Zbl 0849.68012号 学报信息。 33,第5期,477-510(1996). 审核人:R.Diaconescu(布库雷什蒂) MSC公司:68N17号 68问题55 18立方厘米 03B70号 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},Acta Inf.33,No.5,477--510(1996;Zbl 0849.68012) 全文: 内政部
J.F.科斯塔。;塞尔纳达斯,A。;塞尔纳达斯,C。 超越子类型的对象继承。 (英语) 兹比尔0790.68065 学报信息。 31,第1期,5-26(1994).MSC公司:68问题55 第68季度第60季度 18立方厘米 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Costa}等人,《学报》第31期,第1期,第5--26页(1994年;Zbl 0790.68065) 全文: 内政部
Johannes Reichardt 确定性语法和语法形态。 (英语) Zbl 0599.68058号 学报信息。 23, 567-583 (1986). 审核人:通用 MSC公司:65年第68季度 68N20型 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Reichardt},Acta Inf.23,567--583(1986;Zbl 0599.68058) 全文: 内政部
施耐德,H.J。;埃里格·H·。 部分图的语法。 (英语) Zbl 0329.68061号 学报信息。 6, 297-316 (1976).MSC公司:65年第68季度 18B20型 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Schneider}和\textit{H.Ehrig},《信息学报》6,297--316(1976;Zbl 0329.68061) 全文: 内政部
克劳斯,V。 在Vollständigkeitsatz für计划和Schaltkreise。(程序和开关电路的完备性定理。)。 (德语) Zbl 0227.94021号 学报信息。 1, 64-78 (1971).MSC公司:94立方厘米 18B20型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Claus},Acta Inf.1,64--78(1971;Zbl 0227.94021) 全文: 内政部