安蒂奇,克里斯蒂安 命题逻辑程序的顺序组合。 (英语) Zbl 07842073号 安。数学。Artif公司。智力。 92,第2号,505-533(2024).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Antić},Ann.数学。Artif公司。智力。92,编号2,505--533(2024;Zbl 07842073) 全文: DOI程序 arXiv公司 OA许可证
安蒂奇,克里斯蒂安 流推理的定点语义。 (英语) Zbl 1504.68207号 Artif公司。智力。 288,文章ID 103370,15 p.(2020).MSC公司:68T27型 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Antić},艺术。智力。288,文章ID 103370,15 p.(2020;Zbl 1504.68207) 全文: DOI程序 arXiv公司