马西娅·塞里奥利。；莱安德罗·苏吉塔尼；彼得鲁西奥·维亚纳 呈现基本图形逻辑。 （英语） Zbl 1514.03045号 Basu，Amrita（编辑）等人，《图解表示和推理》。第十二届国际会议，图表2021，虚拟，2021年9月28日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12909, 132-148 (2021).MSC公司：03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Cerioli}等人，Lect。票据计算。科学。12909、132--148（2021；Zbl 1514.03045） 全文： 内政部
保罗·A·S·维洛索。；Sheila R.M.维洛索。；马里奥·贝尼维德斯。 关于模态的图演算。 （英语） Zbl 1401.03047号 西奥。计算。科学。 685, 83-103 (2017). 审核人：Max A.Freund（圣何塞） MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}等人，Theor。计算。科学。685，83-103（2017；Zbl 1401.03047） 全文： 内政部
保罗·A·S·维洛索。；Sheila R.M.维洛索。 关于直觉模态逻辑的图。 （英语） Zbl 1394.03036号 Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，215-233（2016）。MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}和\textit{S.R.M.Velooso}，电子。注释Theor。计算。科学。323215--233（2016；Zbl 1394.03036） 全文： 内政部
保罗·A·S·维洛索。；Sheila R.M.维洛索。；马里奥·贝尼维德斯。 模态逻辑的图方法。 （英语） Zbl 1335.03022号 Fernández，Maribel（编辑）等人，第八届逻辑和语义框架研讨会论文集（LSFA 2013），巴西圣保罗，2013年9月2日至3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305123-139，仅电子版（2014）。MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}等人，《电子》。注释Theor。计算。科学。305123-139（2014年；Zbl 1335.03022） 全文： 内政部
坎通纳，多梅尼科；安德烈亚·福米萨诺；玛丽安娜·尼科洛西·阿斯蒙多；奥莫多，尤金尼奥·乔瓦尼 具有互补性的关系式的图形表示。 （英语） Zbl 1254.03020号 西奥·雷罗。通知。申请。 46，第261-289号（2012年）.MSC公司：03B35型 68吨15 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人，RAIRO，Theor。通知。申请。46，第2号，261--289（2012；Zbl 1254.03020） 全文： 内政部 Numdam编号 欧洲DML
雷娜塔·德·弗雷塔斯；保罗·A·S·维洛索。；Sheila R.M.维洛索。；彼得鲁西奥·维亚纳 关于图形推理。 （英语） 兹比尔1187.68355 Inf.计算。 207，第10号，1000-1014（2009）.MSC公司：68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.de Freitas}等人，《信息计算》。207，第10号，1000--1014（2009；Zbl 1187.68355） 全文： 内政部
雷娜塔·德·弗雷塔斯；Sheila R.M.维洛索。；保罗·A·S·维洛索。；彼得鲁西奥·维亚纳 正叉图演算。 （英语） Zbl 1211.03097号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿5407152-163（2009）。MSC公司：03G15年 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.de Freitas}等人，Lect。票据计算。科学。5407152-163（2009年；Zbl 1211.03097） 全文： 内政部
de Freitas，R。；维洛索，P.A.S。；S.R.M.维洛索。；维亚纳，P。 关于关系代数的图演算。 （英语） Zbl 1155.03313号 Hodges，Wilfrid（编辑）等人，《逻辑、语言、信息和计算》。2008年7月1日至4日在英国爱丁堡举办的2008年WoLLIC第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69936-1/pbk）。计算机科学讲义5110。人工智能课堂讲稿，298-312（2008）。MSC公司：03G15年 03B60号 2007年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.de Freitas}等人，Lect。票据计算。科学。5110、298--312（2008；Zbl 1155.03313） 全文： 内政部
de Freitas、Renata P。；保罗·A·S·维洛索。；Sheila R.M.维洛索。；彼得鲁西奥·维亚纳 用图形进行推理。 （英语） Zbl 1262.03045号 Mints，G.（ed.）等人，《第十三届逻辑、语言、信息和计算研讨会论文集》（WoLLIC 2006），美国加利福尼亚州斯坦福市，2006年7月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记165201-212（2006）。MSC公司：03B60号 03B25号 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{R.P.de Freitas}等人，《电子》。注释Theor。计算。科学。165，201--212（2006；Zbl 1262.03045） 全文： 内政部
安德烈亚·福米萨诺；玛丽安娜·尼科洛西·阿斯蒙多 命题非经典逻辑的有效关系演绎系统。 （英语） Zbl 1186.03044号 J.应用。非类别。日志。 16，第3-4367-408号（2006）.MSC公司：03B45 03B35型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Formisano}和\textit{M.Nicolosi-Asmundo}，J.Appl。非类别。日志。16，编号3--4，367--408（2006；Zbl 1186.03044） 全文： 内政部
丹尼尔·多尔蒂（Daniel J.Dougherty）。；克劳迪奥·古铁雷斯 二元关系的正规形式。 （英语） Zbl 1097.03059号 西奥。计算。科学。 360，编号1-3，228-246（2006）.MSC公司：03G15年 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Dougherty}和\textit{C.Gutiérrez}，Theor。计算。科学。360，编号1--3，228--246（2006；Zbl 1097.03059） 全文： 内政部
安德烈亚·福米萨诺；玛尔塔·西蒙 一个Agg公司支持可视化推理的应用程序。 （英语） Zbl 1262.68078号 Baresi，Luciano（编辑）等人，GT-VMT 2001。图形转换和视觉建模技术（ICALP 2001年卫星研讨会），希腊克里特岛，2001年7月12日至13日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》50，第3期，302-309（2001）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Formisano}和\textit{M.Simeoni}，电子。注释Theor。计算。科学。50，第3号，302--309（2001；Zbl 1262.68078） 全文： 内政部