佩德罗·巴尔塔扎尔;保罗·马特乌斯 概率命题逻辑的时间化。 （英语） Zbl 1211.03042号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿5407，46-60（2009）。MSC公司：03B48号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baltazar}和\textit{P.Mateus}，莱克特。注释计算。科学。5407，46-60（2009年；兹bl 1211.03042） 全文： 内政部
佩德罗·巴尔塔扎尔;保罗·马特乌斯;拉贾戈帕尔·纳加拉扬;尼古拉斯·帕帕尼科劳 外部概率计算树逻辑。 （英语） Zbl 1279.03054号 Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，95-110（2007）。MSC公司：03B70号 03B44号 87年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baltazar}等人，《电子》。理论注释。计算。科学。190，第3号，95--110（2007；Zbl 1279.03054） 全文： 内政部