所罗门·西克特;哈维尔·埃斯帕尔扎 线性时序逻辑和非常弱的交替自动机的有效规范化过程。 （英语） Zbl 07299516号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。831-844 (2020). 引用于三文件 MSC公司： 68倍 计算机科学 03B44号 时间逻辑 关键词：确定性自动机;线性时序逻辑;标准形;弱交替自动机 软件：伊莎贝尔/HOL;猫头鹰;存档正式证据 PDF格式BibTeX公司 XML格式引用 \textit{S.Sickert}和\textit{J.Esparza}，摘自：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。831--844（2020年；Zbl 07299516） 全文： 内政部 arXiv公司