范德波尔（Jaco van de Pol）；杰罗·梅杰尔 同步还是交替？结合LearnLib和LTSmin对Mealy机器进行LTL黑盒检查。 （英语） 兹比尔1519.68124 Margaria，Tiziana（编辑）等人，《模型、心态、元：什么、如何以及为什么不？》？在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11200, 417-430 (2019).MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{J.Meijer}，莱克特。注释计算。科学。11200，417--430（2019年；Zbl 1519.68124） 全文： DOI程序
Jan A.Bergstra。；范德波尔（Jaco van de Pol） 四值序列逻辑的微积分。 （英语） Zbl 1227.03028号 西奥。计算。科学。 412，第28号，3122-3128（2011）. 审核人：Albert Hoogewijs（根特） MSC公司：03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.van de Pol}，Theor。计算。科学。412，第28号，3122--3128（2011；Zbl 1227.03028） 全文： DOI程序 链接
卢卡·埃特罗；陈韬略；安娜·英格尔夫斯多蒂；巴斯·卢提克；范德波尔（Jaco van de Pol） 关于优先权的公理化。二、。 （英语） Zbl 1216.68181号 西奥。计算。科学。 412，第28号，3035-3044（2011）.MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。412，第28号，3035--3044（2011；Zbl 1216.68181） 全文： DOI程序
巴哈雷赫巴德班；范德波尔（Jaco Van De Pol）；奥尔加·特维雷蒂纳；汉斯·赞特马 推广DPLL和等式的可满足性。 （英语） Zbl 1121.68102号 Inf.计算。 205，第8期，1188-1211（2007）.MSC公司：68吨15 68T20型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人，《信息计算》。205，第8号，1188--1211（2007；Zbl 1121.68102） 全文： DOI程序 链接
范德波尔（Jaco van de Pol）；奥尔加·特维雷蒂纳 用于等式逻辑和未解释函数的BDD表示。 （英语） Zbl 1156.68481号 Jędrzejowicz，Joanna（编辑）等人，计算机科学数学基础2005。2005年8月29日至9月2日在波兰格但斯克举行的2005年MFCS第30届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28702-7/pbk）。计算机科学课堂讲稿3618769-780（2005）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛J.van de Pol｝和\textit｛O.Tveretina｝，Lect。注释计算。科学。3618769-780（2005年；Zbl 1156.68481） 全文： DOI程序
巴哈雷赫巴德班；范德波尔（Jaco van de Pol） 零、继任者和BDD中的平等。 （英语） Zbl 1064.03009号 Ann.纯粹应用。逻辑 133，编号1-3，101-123（2005）.MSC公司：03B20型 03B25号 03B35型 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol}，Ann.Pure Appl。逻辑133，编号1--3，101-123（2005；Zbl 1064.03009） 全文： DOI程序 链接
Wan Fokkink公司；范德波尔（Jaco van de Pol）；苏吉思·维杰 布尔代数和自然代数的哪两个排序代数有有限基？ （英语） Zbl 1077.03015号 代数大学。 52，第4期，469-485（2004）.MSC公司：03C05号机组 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人，代数大学。52，第4号，469--485（2004；Zbl 1077.03015） 全文： DOI程序
范德波尔（Jaco van de Pol） 两个不同的强规范化证明？ （英语） Zbl 1434.03130号 Dowek，Gilles（编辑）等人，《高阶代数、逻辑和术语重写》。第二次国际研讨会，1995年9月21日至22日，德国帕德博恩，HOA'95。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1074, 201-220 (1996).MSC公司：05年3月 03B40型 03D65年 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}，莱克特。注释计算。科学。1074201--220（1996年；Zbl 1434.03130） 全文： DOI程序
范德波尔（Jaco van de Pol）；赫尔穆特·施维赫滕贝格 严格的终止证明功能。 （英语） Zbl 1063.03505号 Dezani-Ciancaglini，Mariangiola（编辑）等人，《类型lambda计算和应用》。1995年4月10日至12日，英国爱丁堡，1995年TLCA第二届国际会议。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-59048-X）。莱克特。注释计算。科学。902, 350-364 (1995).MSC公司：03B35型 03财年03 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{H.Schwichtenberg}，莱克特。注释计算。科学。902350-364（1995年；兹bl 1063.03505）