加迪·特利兹;詹姆斯·布罗瑟斯顿 使用循环证明自动验证指针程序的时间属性。 （英语） Zbl 1468.68137号 J.汽车。推理 64，第3期，555-578（2020年）。理学硕士：60年第68季度 03B44号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛G.Tellez｝和\textit｛J.Brotherston｝，J.Autom。推理64，No.3，555--578（2020；Zbl 1468.68137） 全文： 内政部 OA许可证
詹姆斯·布罗瑟斯顿;尼科斯·戈罗甘尼斯 通过基对近似消除分离逻辑中的归纳蕴涵。 （英语） Zbl 1471.03062号 De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 287-303 (2015).理学硕士：03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}和\textit{N.Gorogannis}，莱克特。注释计算。科学。9323287--303（2015；Zbl 1471.03062） 全文： 内政部 链接
詹姆斯·布罗瑟斯顿;马克斯·卡诺维奇 命题分离逻辑及其邻域的不确定性。 （英语） Zbl 1295.68166号 美国临床医学杂志 第61号第2条第14条第43页（2014年）。理学硕士：68问题85 03天35分 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}和\textit{M.Kanovich}，J.ACM 61，第2号，第14条，43页（2014；Zbl 1295.68166） 全文： 内政部
詹姆斯·布罗瑟斯顿 显示成串的逻辑。 （英语） Zbl 1282.03011号 螺柱日志。 100，第6期，1223-1254（2012）。 审核人：杰玛·罗伯斯（莱昂） 理学硕士：03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}，Stud.Log。100，第6号，1223--1254（2012；Zbl 1282.03011） 全文： 内政部
詹姆斯·布罗瑟斯顿;迪诺·迪斯特法诺;Rasmus Lerchedahl彼得森 分离逻辑中的自动循环蕴涵证明。 （英语） Zbl 1341.68184号 Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，131-146（2011）。理学硕士：第68页第15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}等人，Lect。注释计算。科学。6803、131--146（2011；Zbl 1341.68184） 全文： 内政部
詹姆斯·布罗瑟斯顿 聚束逻辑的统一显示证明理论。 （英语） 兹比尔1343.03018 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265197-211（2010）。理学硕士：03B47号 03B70号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}，电子。注释Theor。计算。科学。265197-211（2010；Zbl 1343.03018） 全文： 内政部