×
曼纽尔·博迪尔斯基;维德州帕库萨;雅库布·里德瓦尔

定点逻辑中的时间约束满足问题。 （英语） 兹比尔1498.08003

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。237-251 (2020).

引用于三文件

MSC公司：

08A70型 泛代数在计算机科学中的应用
03B70号 计算机科学中的逻辑
08A40号 代数结构、原代数中的运算和多项式

关键词：

马尔采夫条件;定点逻辑;时间约束满足问题
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bodirsky｝等人，在：2020年第35届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2020，虚拟活动，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。237--251（2020；Zbl 1498.08003）
全文： 内政部 arXiv公司