×

找到14个文档（结果1-14）

最新的 引文 关联
乔纳斯·凯撒；碧姬·品特卡；格特·斯莫尔卡

关联系统F和（lambda 2）：Coq、Abella和Beluga的案例研究。 （英语） Zbl 1434.03030号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第21条，第19页（2017年）。
MSC公司：03B35型 03B38型 03B40型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Kaiser｝等人，LIPIcs——莱布尼茨国际期刊。通知。84，第21条，第19页（2017；Zbl 1434.03030）
全文： 内政部
多米尼克·柯斯特；格特·斯莫尔卡

从属类型理论中二阶ZF的分类结果。 （英语） Zbl 1468.03012号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日，第八届国际会议，ITP 2017，巴西巴西利亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 304-318 (2017).
MSC公司：03B35型 03B38型 03C35号 03C62号 03E70型 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kirst}和\textit{G.Smolka}，莱克特。注释计算。科学。10499，304--318（2017；Zbl 1468.03012）
全文： 内政部
格特·斯莫尔卡；凯瑟琳·斯塔克

构造型理论中的遗传有限集。 （英语） Zbl 1478.03073号

Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 374-390 (2016).
MSC公司：03E30年 03E70型 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Smolka}和\textit{K.Stark}，莱克特。注释计算。科学。9807374--390（2016；Zbl 1478.03073）
全文： 内政部
克里斯蒂安·多兹卡尔；格特·斯莫尔卡

Coq中的双向自动机。 （英语） Zbl 1478.68122号

Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 151-166 (2016).
MSC公司：65年第68季度 68伏15 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Doczkal}和\textit{G.Smolka}，莱克特。注释计算。科学。9807151--166（2016；Zbl 1478.68122）
全文： 内政部
克里斯蒂安·多兹卡尔；格特·斯莫尔卡

带有事件的混合逻辑的构造性形式化。 （英语） Zbl 1350.68230号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，5-20（2011）。
MSC公司：68吨15 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{C.Doczkal}和\textit{G.Smolka}，莱克特。注释计算。科学。7086，5--20（2011；Zbl 1350.68230）
全文： 内政部
马克·卡明斯基；托马斯·施耐德；格特·斯莫尔卡

模态和混合逻辑的Pratt型决策程序的正确性和最坏情况优化。 （英语） Zbl 1333.03008号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。《人工智能讲义》，196-210（2011）。
MSC公司：03B45号 03B35型 03B62号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kaminski}等人，Lect。注释计算。科学。6793196-210（2011年；兹bl 1333.03008）
全文： 内政部
马克·卡明斯基；格特·斯莫尔卡

带有事件的混合逻辑的终止表。 （英语） Zbl 1291.03019号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能讲义》，240-254（2010）。
MSC公司：03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.卡明斯基}和\textit{G.斯莫尔卡}，莱克特。注释计算。科学。6173240-254（2010年；Zbl 1291.03019）
全文： 内政部
马克·卡明斯基；格特·斯莫尔卡

具有差模态和逆模态的混合逻辑的终止表。 （英语） Zbl 1165.03317号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，210-225（2008）。
MSC公司：03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.卡明斯基}和\textit{G.斯莫尔卡}，莱克特。注释计算。科学。5195、210-225（2008年；Zbl 1165.03317）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件