停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

乔斯特·J·乔斯顿

乔斯特·约翰内斯·乔斯滕

>主页 >珀森斯

人员信息

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/博尔盖斯BRRBJ24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/BorgesBRRBJ24
阿娜·德·阿尔梅达·博尔赫斯,米雷亚·冈萨雷斯-贝德玛,胡安·何塞·科内杰罗·罗德里格斯,爱德华多·赫莫·雷耶斯,若阿金·卡萨尔斯·布纳尔,乔斯特·J·乔斯顿:
UTC时间，正式验证。清洁石油产品 2024:2-13
【i15】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2402-06487
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2402-06487
乔斯特·J·乔斯顿,曼努埃拉·蒙托亚·加西亚:
朱斯蒂齐亚（Le Nozze di Giustizia）。人工智能、法律、逻辑、语言和计算之间的相互作用，以及交通法规和卫生保健方面的一些案例研究。 CoRR公司 abs/2402.06487(2024)
2023
[公元26年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsyml/BorgesJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsyml/BorgesJ23
阿娜·德·阿尔梅达·博尔赫斯,乔斯特·J·乔斯顿:
逃避瓦尔丹扬定理。 J.塞姆。日志。 88(4):1613-1638(2023)
[i14]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/corr/abs-2307-05658
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-05658
莫里茨·米勒,乔斯特·J·乔斯顿:
算法法基础和561条例案例中的模型检查。 CoRR公司 abs/2307.05658(2023)
[i13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2309-10678
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2309-10678
乔斯特·J·乔斯顿:
与算法对话。 CoRR公司 abs/2309.10678(2023)
2022
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Fernandez-Duque22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Fernandez-Duque22
大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿,费多·帕霍莫夫,康斯特纳蒂诺斯·帕帕菲利波,安德烈亚斯·魏尔曼:
算术和超算术蠕虫大战。 J.日志。计算。 32(8):1558-1584(2022)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mlq/GorisBJM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mlq/GorisBJM22
埃文·戈利斯,马尔塔·比尔科娃,乔斯特·J·乔斯顿,卢卡·米凯克:
可解释逻辑标签技术的理论和应用。数学。日志。问：。 68(三):352-374(2022)
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Fernandez-Duque22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Fernandez-Duque22
大卫·费尔南德斯·杜克,康斯特纳蒂诺斯·帕帕菲利波,乔斯特·J·乔斯顿:
超算术蠕虫大战。 LFCS公司 2022:52-69
[i12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2209-14227
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2209-14227
安娜·德·阿尔梅达·博尔赫斯,米雷亚·冈萨雷斯-贝德玛,胡安·何塞·科内杰罗·罗德里格斯,爱德华多·赫莫·雷耶斯,若阿金·卡萨尔斯·布纳尔,乔斯特·J·乔斯顿:
FV时间：正式验证的Coq库。 CoRR公司 abs/2209.14227(2022)
2021
[公元23年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/BorgesRFBJ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/BorgesRFBJ21
阿娜·德·阿尔梅达·博尔赫斯,胡安·何塞·科内杰罗·罗德里格斯,大卫·费尔南德斯·杜克,米雷娅·冈萨雷斯·贝德马尔,乔斯特·J·乔斯顿:
开车还是不开车：对欧洲交通法规的逻辑和计算分析。 Inf.计算。 280:104636(2021)
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsyml/Joosten21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsyml/Joosten21
乔斯特·J·乔斯顿:
穆恩豪森卓越。 J.塞姆。日志。 86(三):1006-1034(2021)
2020
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsyml/GorisJ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsyml/GorisJ20
埃文·戈利斯,乔斯特·J·乔斯顿:
所有合理算术理论的可解释逻辑中的两个新原则系列。 J.塞姆。日志。 85(1):1-25(2020)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/ReyesJ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/ReyesJ20
爱德华多·赫莫·雷耶斯,乔斯特·J·乔斯顿:
图灵级数的逻辑。圣母院J.正式日志。 61(1):155-180(2020)
[第10条]
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/BorgesJ20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/BorgesJ20
阿娜·德·阿尔梅达·博尔赫斯,乔斯特·J·乔斯顿:
一种模态的量化反射微积分。 AiML公司 2020:13-32
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-10654
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-10654
阿登·卡贝洛,乔斯特·J·乔斯顿:
模拟量子上下文的隐藏变量越来越违反Holevo界。 CoRR公司 abs/2004.10654(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/time/BorgesRFBJ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/BorgesRFBJ19
阿娜·德·阿尔梅达·博尔赫斯,胡安·何塞·科内杰罗·罗德里格斯,大卫·费尔南德斯·杜克,米雷亚·冈萨雷斯-贝德玛,乔斯特·J·乔斯顿:
二级交通罚款：欧洲运输法规中的时间推理。时间 2019:6:1-6:16
2018
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/Fernandez-Duque18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/Farandez-Duque18
大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿:
超限可证明逻辑的欧米伽规则解释。 Ann.纯粹应用。日志。 169(4):333-371(2018)
【c8】
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/BorgesJ18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/BorgesJ18
阿娜·德·阿尔梅达·博尔赫斯,乔斯特·J·乔斯顿:
蠕虫微积分。模态逻辑的进展 2018:13-27
【c7】
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/ReyesJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/ReyesJ18
爱德华多·赫莫·雷耶斯,乔斯特·J·乔斯顿:
图灵-施默尔演算的关系语义。模态逻辑的进展 2018:327-346
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1810-03002
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1810-03002
比约恩·杰斯佩森,安娜·德·阿尔梅达·博尔赫斯,豪尔赫·德尔·卡斯蒂略·蒂尔兹,胡安·何塞·科内杰罗·罗德里格斯,埃里克·桑乔·亚当森,阿莱克斯·索莱·桑切斯,尼卡·波纳,乔斯特·J·乔斯顿:
当逻辑制定法律时。 CoRR公司 abs/1810.03002(2018)
2017
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsyml/Cordon-FrancoFJ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsyml/Cordon-FrancoFJ17
安德烈斯·科尔多恩·佛朗哥,大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿,弗朗西斯科·菲利克斯·拉拉·马汀:
通过超有限反射的预测性。 J.塞姆。日志。 82(三):787-808(2017)
2016
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/Joosten16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/Logica/Joosten16
乔斯特·J·乔斯顿:
算术理论的图林·泰勒展开。 Stud Logica公司 104(6):1225-1243(2016)
2015
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Joosten15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Joosten15
乔斯特·J·乔斯顿:
图灵跨越Provability。 CiE公司 2015:216-225
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/corr/AdamsZRJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AdamsZRJ15
艾丽莎·亚当斯,赫克托·泽尼尔,爱德华多·赫莫·雷耶斯,乔斯特·J·乔斯顿:
交互行为和新兴复杂性。 CoRR公司 abs/1512.07450(2015)
2014
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/DuqueJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/DuqueJ14
大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿:
超限Japaridze代数中的良序。日志。J.IGPL公司 22(6):933-963(2014)
[j15]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/BeklemishevDJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sLogica/BeklemishevDJ14
列夫·贝克列米舍夫,大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿:
关于线性有序模态的Provability Logics。 Stud Logica公司 102(三):541-566(2014)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Reyes J14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ReyesJ14
爱德华多·赫莫·雷耶斯,乔斯特·J·乔斯顿:
自私算法。 CoRR公司 abs/1411.2378(2014)
2013
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/DuqueJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/DuqueJ13
大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿:
双曲线、Veblen级数和序数函数的超限迭代。 Ann.纯粹应用。日志。 164(7-8):785-801(2013)
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsyml/DuqueJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsyml/DuqueJ13
大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿:
超限可证明逻辑的模型。 J.塞姆。日志。 78(2):543-561(2013)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JoostenSZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JoostenSZ13
乔斯特·J·乔斯顿,费尔南多·索勒尔·托斯卡诺,赫克托·泽尼尔:
分形维数与计算复杂性。 CoRR公司 abs/1309.1779(2013)
2012
[公元12年]
- 看法
  - 电子版@uq.edu.au（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/ajc/Cordon-FrancoDF12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ajc/Cordon-FrancoDF12
安德烈斯·科尔多恩·佛朗哥,汉斯·范·迪特马什,大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿,费尔南多·索勒·托斯卡诺:
用于纸牌播放器的安全附加协议。澳大利亚。J库姆。 54:163-176(2012)
[j11]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/GorisJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GorisJ12
埃文·戈利斯,乔斯特·J·乔斯顿:
自校准仪和∑₁句子。日志。J.IGPL公司 20(1):1-21(2012)
[j10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mima/ZenilSJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mima/ZenilSJ12
赫克托·齐尼尔,费尔南多·索勒尔·托斯卡诺,乔斯特·J·乔斯顿:
计算不可约性和不可预测性的经验遭遇。 Minds马赫。 22(三):149-165(2012)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/IcardJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/IcardJ12
托马斯·伊卡德三世,乔斯特·J·乔斯顿:
实现受限的可证明性和可解释性逻辑。圣母院J.正式日志。 53(2):133-154(2012)
【c5】
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/DuqueJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/DuqueJ12
大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿:
无限可论证逻辑的Kripke模型。模态逻辑的进展 2012:185-199
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/DuqueJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/DuqueJ12
大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿:
图灵级数及其井序。 CiE公司 2012:212-221
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1211-1878
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1211-1878
乔斯特·J·乔斯顿:
论复杂性的必要性。 CoRR公司 abs/1211.1878(2012)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-112-3217
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-112-3217
乔斯特·J·乔斯顿:
复杂适合适者。 CoRR公司腹肌/1212.3217(2012)
2011
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/GorisJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GorisJ11
埃文·戈利斯,乔斯特·J·乔斯顿:
所有合理算术理论的可解释性逻辑中的一个新原则。日志。J.IGPL公司 19(1):1-17(2011)
[j7]
- 看法
  - 电子版@oldcitypublishing.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/ijuc/JoostenSZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijuc/JoostenSZ11
乔斯特·J·乔斯顿,费尔南多·索勒尔·托斯卡诺,赫克托·泽尼尔:
小型图灵机微观系统中的程序大小与时间复杂性的较慢和加速现象。国际期刊未经审核。计算。 7(5):353-387(2011)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dcai/AbertCDDJS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dcai/AlbertCDDJS11
迈克尔·H·阿尔伯特,安德烈斯·科尔多恩·佛朗哥,汉斯·范·迪特马什,大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿,费尔南多·索勒尔·托斯卡诺:
解释系统中本地州的安全通信。 DCAI公司 2011:117-124
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 连接器/连接器/电缆J11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/uc/CabelloJ11
阿登·卡贝洛,乔斯特·J·乔斯顿:
模拟量子上下文的隐藏变量越来越违反Holevo界限。加州大学 2011:64-76
[c1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BouJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BouJ11
费利克斯·鲍,乔斯特·J·乔斯顿:
IL的闭合片段是PSPACE Hard。 M4M/LAMAS公司 2011:47-54
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1102-5389
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1102-5389
乔斯特·J·乔斯顿,费尔南多·索勒尔·托斯卡诺,赫克托·泽尼尔:
程序大小与时间复杂性、小型图灵机中的加速和减速现象。 CoRR公司 abs/1102.5389(2011)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1104-3421
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1104-3421
赫克托·泽尼尔,费尔南多·索勒尔·托斯卡诺,乔斯特·J·乔斯顿:
计算不可约性和不可预测性的经验遭遇。 CoRR公司 abs/1104.3421(2011)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1111-0156
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1111-0156
安德烈斯·科尔多恩·佛朗哥,汉斯·范·迪特马尔施,大卫·费尔南德斯·杜克,乔斯特·J·乔斯顿,费尔南多·索勒尔·托斯卡诺:
用于纸牌播放器的安全附加协议。 CoRR公司 abs/1111.0156(2011)
2010
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aml/Joosten10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aml/Joosten10
乔斯特·J·乔斯顿:
ISigma中可计算函数的一致性声明和迭代₁和审慎监管局。架构（architecture）。数学。日志。 49(7-8):773-798(2010)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1010-1328
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1010-1328
乔斯特·J·乔斯顿,费尔南多·索勒尔·托斯卡诺,赫克托·泽尼尔:
图灵佩克纳斯的完整描述和计算。 CoRR公司 abs/1010.1328(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/BilkovaJJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/BilkovaJJ09
马尔塔·比尔科娃,迪克·德琼恩,乔斯特·J·乔斯顿:
审慎监管局的可解释性。 Ann.纯粹应用。日志。 161(2):128-138(2009)
2008
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/GorisJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GorisJ08
埃文·戈里斯,乔斯特·J·乔斯顿:
可解释逻辑的模式问题。日志。J.IGPL公司 16(4):371-412(2008)
2007
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Joosten07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Joosten07网站
乔斯特·J·乔斯顿:
命题证明系统和快速一致性证明程序。圣母院J.正式日志。 48(三):381-398(2007)
2005
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BeklemishevJV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BeklemishevJV05
列夫·贝克列米舍夫,乔斯特·J·乔斯顿,马可·弗沃特:
雅帕里泽可证明逻辑的封闭片段的最终处理。 J.日志。计算。 15(4):447-463(2005)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Joosten05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Josten05
乔斯特·J·乔斯顿:
PRA可解释逻辑的闭合片段，其常数为。圣母院J.正式日志。 46(2):127-146(2005)
2004
【b1】
- 看法
  - 电子版@uu.nl
  - 没有参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 博士/基础搜索/Joosten04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/basesearch/Joosten04
乔斯特·约翰内斯·乔斯顿:
形式化的可解释性。荷兰乌得勒支大学，2004

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。