约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;Tjark韦伯 标称过渡系统的模态逻辑。 (英语) Zbl 1509.68188号 日志。方法计算。科学。 17,第1号,第6号论文,49页(2021年)。MSC公司:68问题85 03B45号 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Parrow}等人,Log。方法计算。科学。17,第1号,第6号论文,49页(2021;Zbl 1509.68188) 全文: arXiv公司 链接
杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 Isabelle的Psi-calculi。 (英语) Zbl 1356.68175号 J.汽车。推理 56,第1号,1-47(2016)。MSC公司:第68页第15页 03B35型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Bengtson}等人,J.Autom。推理56,No.1,1-47(2016;Zbl 1356.68175) 全文: 内政部