×

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

最新的 引文 关联
Aceto，卢卡;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Ingólfsdóttir，安娜;巴斯·卢提克

获得并行组合的有限公理化是否需要两个二进制运算符？ （英语） Zbl 1508.68239号

ACM事务处理。计算。日志。 23，第4条，第22条，第56页（2022年）.
MSC公司：68问题85 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，ACM Trans。计算。日志。23，第4号，第22条，56页（2022年；Zbl 1508.68239）
全文： 内政部 arXiv公司 链接
克拉夫茨克，尼古拉斯;简·佩莱斯卡

使用符号有限状态机进行穷尽的面向属性的基于模型的测试。 （英语） Zbl 1522.68331号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 84-102 (2021).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Krafczyk}和\textit{J.Peleska}，莱克特。注释计算。科学。13085，84-102（2021；Zbl 1522.68331）
全文： 内政部
直纪小林;格里戈里·费迪尤科维奇;阿尔蒂·古普塔

固定点逻辑的折叠/展开转换。 （英语） Zbl 1483.68196号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 195-214 (2020).
MSC公司：60年第68季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Kobayashi}等人，Lect。注释计算。科学。12079、195--214（2020；Zbl 1483.68196）
全文： 内政部
弗雷德里克·朗;拉杜·马特埃斯库;弗朗科·马扎蒂

与结合弱模态和强模态的时间逻辑充分一致。 （英语） Zbl 1483.68233号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 57-76 (2020).
MSC公司：68问题85 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Lang}等人，Lect。注释计算。科学。12079，57-76（2020；Zbl 1483.68233）
全文： 内政部
库卡斯·扎伊卡;Kop，辛西娅

多形高阶终止。 （英语） Zbl 1528.68157号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第12条，第18页（2019年）。
MSC公司：2012年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{Ł.Czajka}和\textit{C.Kop}，LIPIcs——莱布尼茨国际程序。通知。131，第12条，第18页（2019年；Zbl 1528.68157）
全文： 内政部 arXiv公司
赫琳·基什内尔

重写策略和战略性重写程序。 （英语） Zbl 1321.68331号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，380-403（2015）。
MSC公司：2012年第68季度 03B70号 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Kirchner}，莱克特。注释计算。科学。9200、380——403（2015年；Zbl 1321.68331）
全文： 内政部 哈尔
蒙克·范·维尔登堡;米歇尔·雷尼尔斯（Michel A.Reniers）。

具有一阶逻辑的结构操作语义。 （英语） Zbl 1339.68161号

Hennessy，Matthew（编辑）等人，《结构操作语义第五次研讨会论文集》（SOS 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第4期，85-106（2009）。
MSC公司：68问题55 03B10号机组 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.van Weerdenburg}和\textit{M.A.Reniers}，电子。注释Theor。计算。科学。229，第4号，85-106（2009；Zbl 1339.68161）
全文： 内政部
巴哈雷赫巴德班

一种用于决策图的项重写技术。 （英语） Zbl 1291.68243号

Corradini，Andrea（编辑），第五届术语和图形计算国际研讨会论文集（TERMGRAPH 2009），英国约克，2009年3月22日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》253，第4期，39-54（2009）。
MSC公司：60年第68季度 2012年第68季度 68兰特 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Badban}，电子。注释Theor。计算。科学。253，编号4，39-54（2009；Zbl 1291.68243）
全文： 内政部
奥利弗·弗里德曼;马丁·兰格

在实践中解决平价游戏。 （英语） Zbl 1258.68077号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799182-196（2009）。
MSC公司：65年第68季度 05年3月 60年第68季度 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{O.Friedmann}和\textit{M.Lange}，莱克特。注释计算。科学。5799、182--196（2009年；Zbl 1258.68077）
全文： 内政部
西蒙娜·奥尔赞;威格·威瑟林克;Tim A.C.Willemse。

参数化布尔方程系统的静态分析技术。 （英语） Zbl 1234.68263号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505230-245（2009）。
MSC公司：60年第68季度 03B70号 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Orzan}等人，Lect。注释计算。科学。5505230--245（2009年；Zbl 1234.68263）
全文： 内政部
奥尔加·特维雷蒂纳;威格·威瑟林克

EufDPLL–一种检查等式逻辑公式可满足性的工具。 （英语） Zbl 1336.68167号

Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，405-420（2009）。
MSC公司：60年第68季度 03B70号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{O.Tveretina}和\textit{W.Wesselink}，电子。注释Theor。计算。科学。225、405--420（2008年；Zbl 1336.68167）
全文： 内政部
弗朗西安·戴奇森;西蒙娜·奥尔赞;王燕京

动力学克里普克模型的改进。 （英语） Zbl 1161.68616号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160111-125（2008）。
MSC公司：68问题85 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.Dechesne}等人，Lect。注释计算。科学。5160、111-125（2008年；Zbl 1161.68616）
全文： 内政部 链接
弗雷德里克·布兰基;Jean-Pierre Jouannaud;阿尔伯特·鲁比奥

可计算性路径排序：任务的结束。 （英语） Zbl 1156.68568号

卡明斯基，迈克尔（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，1-14（2008）。
MSC公司：68吨15 03B35型 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Blanqui}等人，Lect。注释计算。科学。5213，1-14（2008；Zbl 1156.68568）
全文： 内政部 链接
汉斯·赞特马;Jan Friso，格鲁特

将等式逻辑转换为命题逻辑。 （英语） Zbl 1261.03070号

Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，162-173（2003）。
MSC公司：03B35型 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{H.Zantema}和\textit{J.F.Groote}，电子。注释Theor。计算。科学。86，第1号，162--173（2003；Zbl 1261.03070）
全文： 内政部
弗兰克，普芬宁

逻辑框架的实践。 （英语） Zbl 1508.68075号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，瑞典林雪平，1996年4月22日至24日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 119-134 (1996).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Pfenning}，莱克特。注释计算。科学。1059、119--134（1996年；Zbl 1508.68075）
全文： 内政部
Jean-Pierre Jouannaud;阿尔伯特·鲁比奥

高阶项的递归路径排序，格式为\（\eta\）-long\（\beta\）-normal。 （英语） Zbl 1503.68119号

Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 108-122 (1996).
MSC公司：2012年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Jouannaud}和\textit{A.Rubio}，莱克特。注释计算。科学。1103、108-122（1996年；Zbl 1503.68119）
全文： 内政部
范德波尔（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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件