×

找到212个文档（结果1-100）

最新的 引文 关联
鲁本·卢比奥；马丁·奥列特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔

QMaude：重写逻辑中的定量规范和验证。 （英语） Zbl 1529.68163号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14000, 240-259 (2023).
MSC公司：第68季度第60季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，Lect。票据计算。科学。14000，240-259（2023；Zbl 1529.68163）
全文： 内政部
卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波；Juan C.Jaramillo。；佩雷斯（Jorge A.Pérez）。

Maude中基于会话的并发：可执行语义和类型检查。 （英语） Zbl 1512.68173号

J.日志。阿尔盖布。方法计划。 133，文章ID 100872，42 p.（2023）.
MSC公司：68问题85 2012年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Ramírez Restrepo}等人，J.Log。阿尔盖布。方法计划。133，文章ID 100872，42 p.（2023；Zbl 1512.68173）
全文： 内政部
马丁·马丁，恩里克；黑山，曼努埃尔；阿德里安·里斯科；胡安·罗德里格斯·霍塔拉；鲁本·卢比奥

使用可执行规范语言验证ROS NavFn规划器。 （英语） Zbl 07665444号

J.日志。阿尔盖布。方法计划。 132，文章ID 100860，23 p.（2023）.
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{E.Martin-Martin}等人，J.Log。阿尔盖布。方法计划。132，文章ID 100860，23 p.（2023；Zbl 07665444）
全文： 内政部
乔治亚娜·卡尔泰斯；侯赛因·霍贾特；穆罕默德·雷扎·穆萨维；昆卡罐Tunç

DyNetKAT：动态网络代数。 （英语） Zbl 07793029号

Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13242, 184-204 (2022).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{G.Caltais}等人，Lect。票据计算。科学。13242，184--204（2022；Zbl 07793029）
全文： 内政部 arXiv公司
洛伦佐·卡普拉

可重构PT网络的标准化莫德. （英语） Zbl 07714983号

Lin，Anthony W.（编辑）等人，《可达性问题》。第16届国际会议，RP 2022，德国凯泽斯劳滕，2022年10月17日至21日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13608, 160-177 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{L.Capra}，莱克特。票据计算。科学。13608、160--177（2022；Zbl 07714983）
全文： 内政部
弗朗西斯科·杜兰；史蒂文·艾克；圣地亚哥埃斯科瓦尔；马丁·奥列特，纳西索；何塞·梅塞格尔；鲁本·卢比奥；卡罗琳·塔尔科特

Maude 3.2（系统描述）中的等式统一和匹配以及符号可达性分析。 （英语） 兹伯利07628207

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13385, 529-540 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，Lect。票据计算。科学。13385、529--540（2022；Zbl 07628207）
全文： 内政部
卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波；佩雷斯（Jorge A.Pérez）。

Maude中基于会话的并发的可执行语义和类型检查。 （英语） Zbl 1514.68182号

Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。13252, 230-250 (2022).
MSC公司：68问题85 2012年第68季度 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Ramírez-Restepo}和\textit{J.A.Pérez}，莱克特。票据计算。科学。13252，230-250（2022；Zbl 1514.68182）
全文： 内政部
何塞·梅塞格尔；斯蒂芬·斯基里克

条件方程程序层次的地面收敛性和完备性。 （英语） Zbl 1514.68039号

Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。13252, 191-211 (2022).
MSC公司：68号30 68甲18 2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。票据计算。科学。13252、191--211（2022；Zbl 1514.68039）
全文： 内政部
何塞·梅塞格尔

通过归纳定理证明检查充分的完备性。 （英语） Zbl 1514.68038号

Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。13252, 171-190 (2022).
MSC公司：68号30 2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。票据计算。科学。13252、171--190（2022年；Zbl 1514.68038）
全文： 内政部
西尔文·平斯基

Joshua Guttman：开创性的海滨空间。 （英语） Zbl 1498.68007号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在乔舒亚·古特曼66岁生日之际献给他的散文。查姆：斯普林格。莱克特。票据计算。科学。13066, 348-354 (2021).
MSC公司：68-03 94-03 68平方米25 68伏15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.平斯基}，莱克特。票据计算。科学。13066、348--354（2021；Zbl 1498.68007）
全文： 内政部
马克斯·卡诺维奇；塔贾纳Ban Kirigin；Vivek Nigam先生；安德烈·斯克洛夫；卡罗琳·塔尔科特

关于时间敏感分布式系统验证的复杂性。 （英语） Zbl 1498.68161号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在乔舒亚·古特曼66岁生日之际献给他的散文。查姆：斯普林格。莱克特。票据计算。科学。13066, 251-275 (2021).
MSC公司：第68季度第60季度 64岁以下 65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kanovich}等人，Lect。票据计算。科学。13066、251--275（2021；Zbl 1498.68161）
全文： 内政部 arXiv公司
莎拉·温克勒；乔治·莫瑟

逻辑约束重写的运行时复杂性分析。 （英语） Zbl 07496640号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12561, 37-55 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}和\textit{G.Moser}，莱克特。票据计算。科学。12561，37-55（2021；Zbl 07496640）
全文： 内政部 arXiv公司
何塞·梅塞格尔

莫德的符号计算：一些小吃。 （英语） Zbl 07496639号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12561，3-36（2021）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。票据计算。科学。12561，3--36（2021；Zbl 07496639）
全文： 内政部
鲁本·卢比奥；马丁·奥列特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔

Maude中的策略、模型检查和分支时间属性。 （英语） Zbl 1528.68233号

J.日志。阿尔盖布。方法计划。 123，文章ID 100700，28 p.（2021）.
MSC公司：第68季度第60季度 03B44号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，J.Log。阿尔盖布。方法计划。123，文章ID 100700，28 p.（2021；Zbl 1528.68233）
全文： 内政部 arXiv公司
多米尼克·克伦普；菲利普·伦岑

\（mathbb{K}）和KIV：针对任意编程语言的演绎验证。 （英语） Zbl 07415135号

Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12669, 98-119 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Klumpp}和\textit{P.Lenzen}，莱克特。票据计算。科学。12669、98——119（2021；Zbl 07415135）
全文： 内政部
安东尼奥·冈萨雷斯-伯格尼奥（Antonio González-Burgueño）；彼得·塞巴·奥维茨基

使用ANP和PDL中的异构设备规范和分析安全仪式。 （英语） 兹比尔1528.68049

J.日志。阿尔盖布。方法计划。 122，文章ID 100685，27 p.（2021）.
MSC公司：68平方米25 03B70号 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{A.González-Burgueño}和\textit{P.C.lveczky}，J.Log。阿尔盖布。方法计划。122，文章ID 100685，27 p.（2021；Zbl 1528.68049）
全文： 内政部 哈尔
劳尔·古铁雷斯；萨尔瓦多卢卡斯

多项：自动验证终止属性（系统描述）。 （英语） Zbl 07614689号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12167436-447（2020年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。票据计算。科学。12167436--447（2020；Zbl 07614689）
全文： 内政部
萨缪尔·布鲁；罗伊·克罗；伊莎贝拉·马斯特罗埃尼

多语言的等式逻辑和范畴语义。 （英语） Zbl 07516372号

Patricia Johann（编辑），《第36届编程语义数学基础会议论文集》，MFPS XXXVI，虚拟会议，2020年6月2-6日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。352, 79-103 (2020).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛S.Buro｝等人，电子。注释Theor。计算。科学。352、79-103（2020；Zbl 07516372）
全文： 内政部
阿帕里西奥·桑切斯，达米安；圣地亚哥埃斯科瓦尔；朱莉娅·萨皮娜

构造器符号下基于变量的方程统一。 （英语） Zbl 07455704号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32538-51（2020年）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{D.Aparicio-Sánchez}等人，《电子》。程序。西奥。计算。科学。（EPTCS）325，38-51（2020；兹bl 07455704）
全文： arXiv公司 链接
洛科·德尼古拉；Gianluigi法拉利；罗萨里奥Pugliese；弗朗西斯科·蒂埃齐

特定于域的分布式系统工程的正式方法。 （英语） Zbl 1494.68022号

J.日志。阿尔盖布。方法计划。 111，文章ID 100511，第37页（2020）.
MSC公司：64岁以下 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，J.Log。阿尔盖布。方法计划。111，文章ID 100511，37 p.（2020；Zbl 1494.68022）
全文： 内政部 arXiv公司
弗朗西斯科·杜兰；史蒂文·艾克；圣地亚哥埃斯科瓦尔；马丁·奥列特，纳西索；何塞·梅塞格尔；鲁本·卢比奥；卡罗琳·塔尔科特

莫德的编程和符号计算。 （英语） Zbl 1494.68109号

J.日志。阿尔盖布。方法计划。 110，文章ID 100497，58 p.（2020）.
MSC公司：2012年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100497，58 p.（2020；Zbl 1494.68109）
全文： 内政部 arXiv公司
鲁宾·鲁比奥；马丁·奥列特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔

模型检查策略控制重写系统。 （英语） Zbl 1528.68234号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第34条，第18页（2019年）。
MSC公司：第68季度第60季度 03B44号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，LIPIcs——莱布尼茨国际程序。通知。131，第34条，第18页（2019年；Zbl 1528.68234）
全文： 内政部
圣地亚哥埃斯科瓦尔；朱莉娅·萨皮娜

大多数通用变体统一器。 （英语） Zbl 07453112号

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306154-167（2019）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}和\textit{J.Sapiña}，电子。程序。西奥。计算。科学。（EPTCS）306154-167（2019年；Zbl 07453112）
全文： arXiv公司 链接
海克尔，瑞科；莱恩·兰伯斯；Maryam Ghaffari萨达特

图形转换系统分析：本地与基于翻译的技术。 （英语） 兹伯利07453086

Echahed，Rachid（ed.）等人，第十届图形计算模型国际研讨会论文集，2019年GCM，荷兰埃因霍温，2019月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）309，1-22（2019）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}等人，《电子》。程序。西奥。计算。科学。（EPTCS）309，1--22（2019；Zbl 07453086）
全文： arXiv公司 链接
鲁本·卢比奥；马丁·奥列特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔

Maude中的参数化策略规范。 （英语） Zbl 1444.68104号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。11563, 27-44 (2019).
MSC公司：第68季度第60季度 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，Lect。票据计算。科学。11563、27-44（2019年；Zbl 1444.68104）
全文： 内政部 哈尔
劳尔·古铁雷斯；萨尔瓦多卢卡斯

使用AGES自动生成逻辑模型。 （英语） Zbl 07178982号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11716, 287-299 (2019).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。票据计算。科学。11716、287--299（2019；Zbl 07178982）
全文： 内政部
艾琳娜·莫瑞卡；Nguyen、Hoang Nga；马库斯·罗根巴赫

移动安全的软件模型检查–\（\mathbb{K}\）中的共谋检测。 （英语） Zbl 1508.68214号

del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10869, 3-25 (2018).
MSC公司：第68季度第60季度 68N25号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{I.M.As′voae}等人，Lect。票据计算。科学。10869，3--25（2018；Zbl 1508.68214）
全文： 内政部
多里安·多迪耶；Trinh Ngoc Quoc Bao公司；Kazuhiro绪方

对命令式编程语言编译器进行形式验证的一种证明分数方法。 （英语） Zbl 1504.68037号

田聪（编辑）等，结构化面向对象形式语言和方法。2017年11月16日，中国西安，2017年第七届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10795, 200-217 (2018).
MSC公司：68N20型 68甲15 68问题65
PDF格式BibTeX公司 XML格式引用
\textit｛D.Daudier｝等人，Lect。票据计算。科学。10795，200-217（2018；Zbl 1504.68037）
全文： 内政部
戴维·巴恩斯；Cremers，卡斯；梅多斯，凯瑟琳

模型检查安全协议。 （英语） Zbl 1392.68228号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。727-762 (2018).
MSC公司：第68季度第60季度 68个M12 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，in：模型检查手册。查姆：斯普林格。727--762（2018；Zbl 1392.68228）
全文： 内政部
马西里奥·奥·莱莫斯。；尤里·吉尔·丹塔斯；Fonseca，Iguatemi E。；Vivek Nigam先生

关于TDoS攻击选择性防御正式验证的准确性。 （英语） Zbl 1476.68152号

J.日志。阿尔盖布。方法计划。 94，45-67（2018）.
MSC公司：第68季度第60季度 68米11 90B18号机组 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.O.O.Lemos}等人，J.Log。阿尔盖布。方法计划。94、45-67（2018年；Zbl 1476.68152）
全文： 内政部 arXiv公司
马克斯·卡诺维奇；塔贾纳Ban Kirigin；Vivek Nigam先生；安德烈·斯克洛夫；卡罗琳·塔尔科特；兰科·佩罗维奇

受法规约束的活动的改写框架和逻辑。 （英语） Zbl 1364.68333号

数学。结构。计算。科学。 27，第3号，332-375（2017）.
MSC公司：68T27型 第03页 2012年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Kanovich}等人，《数学》。结构。计算。科学。27，第3号，332--375（2017；Zbl 1364.68333）
全文： 内政部
张敏；Frédéric马勒

时钟约束规范语言的可执行语义及其应用。 （英语） Zbl 1396.68072号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。《计算机与信息科学通信》596，37-51（2016）。
MSC公司：第68季度第60季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Zhang}和\textit{F.Mallet}，Commun。计算。信息科学。596、37--51（2016；Zbl 1396.68072）
全文： 内政部 哈尔
何塞·梅塞格尔

初始代数中基于变量的可满足性。 （英语） Zbl 1396.68074号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。《计算机与信息科学通信》596，3-34（2016）。
MSC公司：68问题65 18立方厘米 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，Commun（公共）。计算。信息科学。596，3-34（2016年；兹比尔1396.68074）
全文： 内政部
Alpunte，M。；弗雷奇纳，F。；萨皮尼亚，J。；D.巴利斯。

通过使用\（\mathsf{ABETS}\）切片进行基于断言的分析（系统描述）。 （英语） 兹比尔1379.68088

理论与实践。日志。程序。 16，编号5-6，515-532（2016）.
MSC公司：68N20型 68N17号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，《理论与实践》。日志。程序。16、编号5--6、515--532（2016；Zbl 1379.68088）
全文： 内政部 arXiv公司
弗拉德·鲁苏；多雷尔·卢卡努；erbénuţ\355 ;Ņé，Traian-Florin；安德烈·阿鲁索艾；安德烈·特夫内斯库；格里高·罗什乌

语言定义是重写理论。 （英语） Zbl 1356.68125号

J.日志。阿尔盖布。方法计划。 85，第1部分第1号，98-120（2016）.
MSC公司：2012年第68季度 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Rusu}等人，J.Log。阿尔盖布。方法计划。85，第1号，第1部分，98-120（2016；Zbl 1356.68125）
全文： 内政部 哈尔
斯蒂芬·斯基里克；何塞·梅塞格尔

变量可满足性的元级算法。 （英语） Zbl 1367.68256号

Lucanu，Dorel（编辑），重写逻辑及其应用。2016年4月2日至3日，第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-44801-5/pbk；978-3-3169-44802-2/电子书）。《计算机科学讲义》9942167-184（2016）。
MSC公司：68吨15 18立方厘米 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Skeirik}和\textit{J.Meseguer}，莱克特。票据计算。科学。9942，167--184（2016；Zbl 1367.68256）
全文： 内政部 链接
弗拉德·鲁苏；安德烈·阿鲁索艾

增量证明可达性逻辑公式。 （英语） Zbl 1367.68076号

Lucanu，Dorel（编辑），重写逻辑及其应用。第11届国际研讨会，WRLA 2016，作为ETAPS的卫星活动，于2016年4月2日至3日在荷兰埃因霍温举行。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-44801-5/pbk；978-3-3169-44802-2/电子书）。计算机科学讲义9942，134-151（2016）。
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Rusu}和\textit{A.Arusoaie}，Lect。票据计算。科学。9942、134--151（2016年；Zbl 1367.68076）
全文： 内政部 哈尔
萨尔瓦多卢卡斯

使用逻辑模型证明通用逻辑中的操作终止。 （英语） 兹比尔1367.68068

Lucanu，Dorel（编辑），重写逻辑及其应用。2016年4月2日至3日，第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-44801-5/pbk；978-3-3169-44802-2/电子书）。计算机科学讲义9942，26-46（2016）。
MSC公司：68号30 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Lucas}，莱克特。票据计算。科学。9942，26-46（2016；Zbl 1367.68068）
全文： 内政部 链接
弗朗西斯科·杜兰；史蒂文·艾克；圣地亚哥埃斯科瓦尔；马丁·奥列特，纳西索；何塞·梅塞格尔；卡罗琳·塔尔科特

内置变量生成和统一，以及它们在Maude 2.7中的应用。 （英语） Zbl 1475.68046号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9706, 183-192 (2016).
MSC公司：68甲15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，Lect。票据计算。科学。9706183--192（2016；Zbl 1475.68046）
全文： 内政部 链接
玛丽亚·阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜

通过运行时断言检查和跟踪切片调试Maude程序。 （英语） Zbl 1348.68027号

J.日志。阿尔盖布。方法计划。 85，第5号，第1部分，707-736（2016）.
MSC公司：68N17号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，J.Log。阿尔盖布。方法计划。85，第5号，第1部分，707--736（2016；Zbl 1348.68027）
全文： 内政部
何塞·梅塞格尔

有序重写和同余闭包。 （英语） Zbl 1475.68142号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9634, 493-509 (2016).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。票据计算。科学。9634，493--509（2016；Zbl 1475.68142）
全文： 内政部
莫里斯·比克。；亚历山德罗·范特奇；格内西、斯特凡尼亚；弗朗科·马扎蒂

产品族可变性建模和分析：具有可变性约束的模态转换系统的模型检查。 （英语） Zbl 1351.68170号

J.日志。阿尔盖布。方法计划。 85，第2期，287-315（2016）.
MSC公司：第68季度第60季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，J.Log。阿尔盖布。方法计划。85，第2号，287--315（2016；Zbl 1351.68170）
全文： 内政部
阿德里安·帕拉西奥斯；德国维达尔

面向术语重写中基于actor的并发建模。 （英语） Zbl 1428.68204号

Chiba，Yuki（编辑）等人，2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会，WPTE'15。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 19-29 (2015).
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Palacios}和\textit{G.Vidal}，OASIcs--OpenAccess服务器。通知。46、19-29（2015年；Zbl 1428.68204）
全文： 内政部
马丁·奥列特，纳西索；弗朗西斯科·杜兰；阿尔贝托·维尔德乔

重写逻辑和莫德中的等式抽象。 （英语） Zbl 1335.68143号

Braga，Christiano（编辑）等人，《形式方法：基础和应用》。2014年9月29日至10月1日在巴西亚利桑那州马塞奥举行的第17届巴西研讨会，SBMF 2014。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-15074-1/pbk）。计算机科学课堂讲稿8941，17-31（2015）。
MSC公司：第68季度第60季度 03B70号 68甲15 2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛N.Martí-Oliet｝等人，Lect。票据计算。科学。8941，17-31（2015；Zbl 1335.68143）
全文： 内政部
阿德里安·里斯科；细辛、伊琳娜·玛丽卡；米哈伊尔·阿萨沃埃

Maude中语义规范的内存策略分析。 （英语） Zbl 1473.68056号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9527, 293-310 (2015).
MSC公司：68号30 68甲15 2012年第68季度 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Riesco}等人，Lect。票据计算。科学。9527、293--310（2015年；Zbl 1473.68056）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件