彼得·塞巴·奥维茨基;何塞·梅塞盖尔 实时淡紫色的语义和语用。 (英语) Zbl 1115.68095号 高-订购符号。计算。 20,第1-2号,161-196(2007).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer},高-订购符号。计算。20,编号1--2,161-196(2007;Zbl 1115.68095) 全文: 内政部
安托万·米内 八角形抽象域。 (英语) Zbl 1105.68069号 高-订购符号。计算。 19,第1期,31-100(2006).MSC公司:68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Miné},高-订购符号。计算。19、第1号、第31--100号(2006;Zbl 1105.68069) 全文: 内政部 哈尔