×

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

最新的 引文 关联
蒙特塞拉特赫尔莫;帕基·卢西奥;塞萨尔·桑切斯

安全规范可实现性表。 （英语） Zbl 1529.68159号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 495-513 (2023).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Hermo}等人，Lect。注释计算。科学。14000，495--513（2023；Zbl 1529.68159）
全文： 内政部 arXiv公司
亚历克斯·阿布因;亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥

用于CTL和ECTL的单程基于上下文的表格辅助系统。 （英语） Zbl 1530.03068号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020年9月23日至25日，意大利博岑-博尔扎诺。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。178，第14条，第20页（2020年）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Abuin}等人，LIPIcs——莱布尼茨国际程序。通知。178，第14条，第20页（2020年；Zbl 1530.03068）
全文： 内政部
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥

扩展ECTL（^+）的公平性表示：一种树型单程表方法。 （英语） Zbl 1487.68154号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。120，第5条，22 p.（2018）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Bolotov}等人，LIPIcs——莱布尼茨国际程序。通知。120，第5条，22 p.（2018；Zbl 1487.68154）
全文： 内政部
马克·雷诺兹

LTL表的新规则。 （英语） Zbl 1478.03030号

Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226287-301（2016）。
MSC公司：03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，电子。程序。西奥。计算。科学。（EPTCS）226287-301（2016年；兹bl 1478.03030）
全文： arXiv公司 链接
Michael Sioutis先生;Jean-François康多塔;雅库布Salhi;贝特朗·马祖尔

广义定性时空推理：复杂性和tableau方法。 （英语） Zbl 1471.03019号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 54-69 (2015).
MSC公司：03B35型 03B44号 03B62号 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{M.Sioutis}等人，Lect。注释计算。科学。9323，54-69（2015；Zbl 1471.03019）
全文： 内政部
Gaintzarain，J。;M.赫莫。;卢西奥，P。;纳瓦罗，M。

PLTL的系统语义表。 （英语） Zbl 1278.03041号

Pimentel，Ernesto（编辑），第七届西班牙编程和计算机语言会议记录（PROLE 2007），西班牙萨拉戈萨，2007年9月12日至14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记206，59-73（2008）。
MSC公司：03B44号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{J.Gaintzarain}等人，《电子》。理论注释。计算。科学。206，59-73（2007年；兹bl 1278.03041）
全文： 链接
Joxe Gaintzarain先生;蒙特塞拉特赫莫;帕基·卢西奥;玛丽莎·纳瓦罗;费尔南多·奥雷贾斯

PLTL的无割和无不变序列演算。 （英语） Zbl 1179.03056号

Duparc，Jacques（编辑）等人，《计算机科学逻辑》。2007年9月11日至15日在瑞士洛桑举行的第21届CSL国际研讨会，EACSL第16届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74914-1/pbk）。计算机科学课堂讲稿4646481-495（2007）。
MSC公司：05年3月 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.Gaintzarain}等人，Lect。注释计算。科学。4646481--495（2007年；Zbl 1179.03056）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件