×

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

最新的 引文 关联
丹尼斯·佩特尔;Sofronie Stokkermans，维奥利卡;塞巴斯蒂安·瑟内特

局部理论中关于（P）-插值的扩展及其在描述逻辑中插值研究中的应用。 （英语） Zbl 07838500号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 419-437 (2023).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Peuter}等人，Lect。注释计算。科学。14132、419--437（2023；Zbl 07838500）
全文： 内政部
拉马努贾姆，R。;维什纳维桑达拉扬;S.P.苏雷什。

直觉逻辑中析取的复杂性。 （英语） Zbl 1476.03004号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9537, 349-363 (2016).
MSC公司：03B20型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Ramanujam}等人，Lect。注释计算。科学。9537349--363（2016年；兹比尔1476.03004）
全文： 内政部
维奥里卡Sofrone-Stokkerman

关于理论扩展中的插值和符号消除。 （英语） Zbl 1476.03042号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 273-289 (2016).
MSC公司：03C40号
PDF格式BibTeX公司 XML格式引用
\textit{V.Sofronie-Stokkermans}，莱克特。注释计算。科学。9706273-289（2016；Zbl 1476.03042）
全文： 内政部 arXiv公司
Sofronie Stokkermans，维奥利卡

关于局部理论扩展的组合。 （英语） Zbl 1383.03020号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，392-413（2013）。
MSC公司：03B35型 03B62号
PDF格式BibTeX公司 XML格式引用
\textit{V.Sofronie-Stokkermans}，莱克特。注释计算。科学。7797、392--413（2013年；Zbl 1383.03020）
全文： 内政部 arXiv公司
克里斯托弗·林奇

构建巴赫米尔-甘金格模型。 （英语） Zbl 1383.68079号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797285-301（2013）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{C.Lynch}，莱克特。注释计算。科学。7797，285--301（2013；Zbl 1383.68079）
全文： 内政部
托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫

从搜索到计算：工作中的冗余标准和简化。 （英语） Zbl 1383.68076号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学讲义7797169-193（2013）。
MSC公司：68吨15 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Hillenbrand}等人，Lect。注释计算。科学。7797、169--193（2013；Zbl 1383.68076）
全文： 内政部
卡普尔，迪帕克;罗伯特·纽文胡斯;安德烈·沃伦科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉

Harald Ganzinger的遗产：对逻辑和编程的贡献。 （英语） Zbl 1383.68003号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，1-18（2013）。
MSC公司：68-03 01A70型 03B70号 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Kapur}等人，Lect。注释计算。科学。7797，1-18（2013；Zbl 1383.68003）
全文： 内政部
卡斯滕·伊勒曼;维奥里卡Sofrone-Stokkerman

论理论组合中的层次推理。 （英语） Zbl 1291.03018号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，30-45（2010）。
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Ihlemann}和\textit{V.Sofronie-Stokkermans}，莱克特。注释计算。科学。6173，30--45（2010；Zbl 1291.03018）
全文： 内政部 链接
休伯特·科蒙·隆德

安全协议自动验证的挑战。 （英语） Zbl 1165.68403号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，396-409（2008）。
MSC公司：第68季度第60季度 68吨15
PDF格式BibTeX公司 XML格式引用
\文本{H.科蒙·隆德}，勒克特。注释计算。科学。5195396--409（2008年；Zbl 1165.68403）
全文： 内政部
卡斯滕·伊勒曼;瑞典雅各布斯;维奥里卡Sofrone-Stokkerman

关于验证中的局部推理。 （英语） Zbl 1134.68410号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，265-281（2008）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Ihlemann}等人，Lect。注释计算。科学。4963，265--281（2008；Zbl 1134.68410）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件