丹尼尔·波雷洛;北特罗夸德。 线性逻辑变体中的非正规形式。 (英语) Zbl 1398.03208号 J.应用。非类别。日志。 25,第3期,229-255(2015)。MSC公司:03楼52 03B45号 03B47型 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Porello}和\textit{N.Troquard},J.Appl。非类别。日志。25,第3号,229--255(2015;Zbl 1398.03208) 全文: 内政部 arXiv公司
约翰·丹斯特德。;法语,蒂姆;苏菲·平奇纳特;马克·雷诺兹 健壮逻辑的表达性和简洁性。 (英语) Zbl 1400.68137号 J.应用。非类别。日志。 25,第3期,193-228(2015)。MSC公司:68问题85 03B44型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}等人,J.Appl。非类别。日志。25,第3号,193--228(2015;Zbl 1400.68137) 全文: 内政部
苏曼·罗伊 具有邻域模式的持续时间演算。 (英语) Zbl 1242.68169号 J.应用。非类别。日志。 20,编号1-2,81-126(2010)。MSC公司:60年第68季度 03年2月25日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Roy},J.Appl。非类别。日志。20,编号1--2,81-126(2010;Zbl 1242.68169) 全文: 内政部
D.圭列夫。 持续时间演算中的逻辑插值和状态投影。 (英语) Zbl 1181.03013号 J.应用。非类别。日志。 14,第1-2期,181-208(2004)。MSC公司:03B44号 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Guelev},J.应用。非类别。日志。14,第1-2181-208号(2004年;兹bl 1181.03013) 全文: 内政部
D.圭列夫。;当文雄(Dang Van Hung) 在持续时间演算中,投影到状态的相对完整的公理化。 (英语) Zbl 1181.03014号 J.应用。非类别。日志。 14,编号1-2,149-180(2004)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Guelev}和\textit{Dang Van Hung},J.Appl。非类别。日志。14,编号1--2149-180(2004;Zbl 1181.03014) 全文: 内政部
V.戈兰科。;A.蒙塔纳里。;Sciavicco,G。 时间间隔逻辑和持续时间计算的路线图。 (英语) Zbl 1181.03012号 J.应用。非类别。日志。 14,编号1-2,9-54(2004)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,J.Appl。非类别。日志。14,编号1--2,9--54(2004;Zbl 1181.03012) 全文: 内政部 链接
瓦伦丁·戈兰科;安吉洛·蒙塔纳里 时间间隔逻辑和持续时间计算专题前言。 (英语) Zbl 1180.03019号 J.应用。非类别。日志。 14,第1-2、7-8号(2004)。MSC公司:03B44号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{A.Montanari},J.Appl。非类别。日志。14,编号1--2,7--8(2004;Zbl 1180.03019) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 具有四值逻辑的进程代数。 (英语) Zbl 1036.68067号 J.应用。非类别。日志。 10,第1期,27-53(2000)。MSC公司:68问题85 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Appl。非类别。日志。10,第1号,第27--53条(2000年;Zbl 1036.68067) 全文: 内政部 链接