杨晓晓;张瑜;傅明;冯新余 基于投影时态逻辑的原子块时态编程模型。 （英文） Zbl 1403.68042号 前面。计算。科学。 8，第6号，958-976（2014）.MSC公司：68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人，前面。计算。科学。8、第6号958--976（2014；Zbl 1403.68042） 全文： 内政部
杨晓晓;段振华;马，钱 投影时序逻辑程序的公理语义。 （英文） Zbl 1213.68186号 数学。结构。计算。科学。 20，第5期，865-914（2010）.MSC公司：68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人，数学。结构。计算。科学。20，第5号，865--914（2010；Zbl 1213.68186） 全文： 内政部
穆罕默德·奥尔根（Mehmet A.Orgun）。;刘楚昌;阿巴亚·纳亚克。 使用带有时钟的时序逻辑进行知识表示、推理和集成。 （英文） Zbl 1158.68502号 数学。计算。科学。 2，第1期，143-163（2008）.MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Orgun}等人，《数学》。计算。科学。2，第1号，143--163（2008；Zbl 1158.68502） 全文： 内政部
杨晓晓;段振华 Framed Tempura的操作语义。 （英文） Zbl 1170.68006号 J.日志。阿尔盖布。程序。 78，第1期，22-51（2008）.MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}和\textit{Z.Duan}，J.Log。阿尔盖布。程序。78，编号1，22--51（2008；Zbl 1170.68006） 全文： 内政部
克里斯托斯·诺米科斯;帕诺斯龙多吉安尼斯;马诺利斯Gergatsoulis 线性和分支时间演绎数据库的时间分层测试。 （英文） Zbl 1077.68025号 西奥。计算。科学。 342，编号2-3，382-415（2005）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Nomikos}等人，Theor。计算。科学。342，编号2--3382--415（2005；Zbl 1077.68025） 全文： 内政部
马诺利斯Gergatsoulis;克里斯托斯·诺米科斯 时序逻辑程序设计的证明过程。 （英文） Zbl 1067.68044号 发现的国际期刊。计算。科学。 15，第2期，417-443（2004）.MSC公司：68N17号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Gergatsoulis}和\textit{C.Nomikos}，国际期刊发现。计算。科学。15，第2号，417--443（2004；Zbl 1067.68044） 全文： 内政部
Rondogiannis，P。 时序逻辑编程和循环和测试中的分层否定。 （英文） 兹比尔0974.68028 西奥。计算。科学。 254，编号1-2，663-676（2001）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \文本{P.Rondogiannis}，Theor。计算。科学。254，编号1--2，663--676（2001；Zbl 0974.68028） 全文： 内政部
马诺利斯Gergatsoulis 分支时间逻辑编程语言CACTUS的扩展。 （英文） Zbl 1001.68021号 Gergatsoulis，Manolis（编辑）等人，《集约规划II》。1999年6月28日至30日，希腊雅典，第12届内涵编程语言国际研讨会（ISLIP’99）论文。新加坡：世界科学。117-132 (2000).MSC公司：68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gergatsoulis}，in：集约型编程II。1999年6月28日至30日在希腊雅典举行的第十二届内涵式编程语言国际研讨会（ISLIP’99）上发表的论文。新加坡：世界科学。117-132（2000年；Zbl 1001.68021）
Rondogiannis，P。;Gergatsoulis，M。;Panayiotopoulos，T。 分支时间逻辑编程：语言仙人掌及其应用。 （英文） Zbl 0948.68034号 计算。语言。 24，第3期，155-178（1998）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Rondogiannis}等人，计算。Lang.24，No.3，155--178（1998年；Zbl 0948.68034） 全文： 内政部