×

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

最新的 引文 关联
阿卜杜拉扎克·阿巴;安娜·卡瓦尔坎蒂;杰里米·雅各布

通过将tock-CSP自动转换为时间自动机进行时间推理。 （英语） 兹比尔1498.68147

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13130, 70-86 (2021).
MSC公司：第68季度第60季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Abba}等人，Lect。注释计算。科学。13130，70-86（2021；Zbl 1498.68147）
全文： 内政部 arXiv公司
徐向哲;吴金华;王玉婷;尹振国;李鹏飞

指令编码器和解码器的自动生成和验证。 （英语） Zbl 1493.68223号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 728-751 (2021).
MSC公司：第68季度第60季度 68号30 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{X.Xu}等人，Lect。注释计算。科学。12760728--751（2021年；Zbl 1493.68223）
全文： 内政部
OA许可证
塔克迪斯，Syeda Hira;格温·克莱恩

关于翻译查询缓冲区的推理。 （英语） Zbl 1403.68037号

Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，490-508（2017）。
MSC公司：68N25号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.H.Taqdees}和\textit{G.Klein}，EPiC Ser。计算。46、490--508（2017；Zbl 1403.68037）
全文： 内政部
菲利普·加德纳;杜鹃花拉德;舵手，马克;亚当·赖特

并发库的抽象局部推理：注意差距。 （英语） Zbl 1337.68069号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308，147-166，仅电子版（2014）。
MSC公司：68号30 03B70号 68第05页 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}等人，《电子》。注释Theor。计算。科学。308147--166（2014年；Zbl 1337.68069）
全文： 内政部
阿马尔·艾哈迈德;马蒂亚斯·布鲁姆

通过多语言语义提供对等的CPS翻译。 （英语） Zbl 1323.68088号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN Notices 46，No.9，431-444（2011）。
MSC公司：68甲18 68N20型 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Ahmed}和\textit{M.Blume}，in：第16届ACM SIGPLAN函数编程国际会议论文集，ICFP'11，日本东京，2011年9月19-21日。纽约州纽约市：计算机协会（ACM）。431--444（2011；Zbl 1323.68088）
全文： 内政部
迈克尔·格林伯格;本杰明·皮尔斯。;斯蒂芬妮·威里奇

合同已明确。 （英语） Zbl 1312.68133号

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。353-364 (2010).
MSC公司：第68季度第60季度 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Greenberg}等人，《第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。353--364（2010；Zbl 1312.68133）
全文： 内政部
汤米·詹胡宁

采样程序：重新访问抽象约束程序的稳定模型语义。 （英语） Zbl 1237.68206号

Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学会议录7，94-103，仅电子版（2010年）。
MSC公司：68T27型 68立方英尺 第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{T.Janhunen}，LIPIcs——莱布尼茨国际程序。通知。7、94-103（2010年；Zbl 1237.68206）
全文： 内政部 链接
拉胡尔·库马尔;埃里克·默瑟。;安妮特·邦克

改进实时序列图到时序逻辑的转换。 （英语） Zbl 1339.68168号

Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第1期，137-152（2009）。
MSC公司：第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Kumar}等人，《电子》。注释Theor。计算。科学。250，编号1，137--152（2009；Zbl 1339.68168）
全文： 内政部
OA许可证
让-巴蒂斯特·特里斯坦;泽维尔·勒罗伊

翻译验证器的形式验证，指令调度优化的案例研究。 （英语） Zbl 1295.68074号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。17-27 (2008).
MSC公司：68N20型 68号30 第68季度第60季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.-B.Tristan}和\textit{X.Leroy}，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。17-27（2008年；Zbl 1295.68074）
全文： 内政部
林洪平;迈拉·阿彻

支持PVS中策略开发的翻译模板。 （英语） Zbl 1277.68243号

Archer，Myler（编辑）等人，第六届自动扣除策略国际研讨会论文集（strategies 2006），西雅图，华盛顿州，美国，2006年8月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第11期，59-79（2007）。
MSC公司：68吨15 65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Lim}和\textit{M.Archer}，电子。注释Theor。计算。科学。174，第11号，59--79（2007；Zbl 1277.68243）
全文： 内政部
塞巴斯蒂安·巴丁;阿兰·芬克尔;杰罗姆·勒鲁

在实践中加速计数器自动机。 （英语） Zbl 1126.68452号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988576-590（2004）。
MSC公司：65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bardin}等人，Lect。注释计算。科学。2988576--590（2004年；Zbl 1126.68452）
全文： 内政部
蒂莫·拉塔瓦拉;阿明·比尔;凯乔·赫尔扬科;汤米，琼蒂拉

简单的有界LTL模型检查。 （英语） Zbl 1117.68432号

Hu，Alan J.（编辑）等，《计算机辅助设计中的形式化方法》。2004年11月15日至17日，第五届国际会议，FMCAD 2004，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23738-0/pbk）。计算机科学课堂讲稿3312186-200（2004）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Latvala}等人，Lect。注释计算。科学。3312186-200（2004年；Zbl 1117.68432）
全文： 内政部
Paula J.Pingree。;埃里克·米克

HiVy工具集。 （英语） Zbl 1103.68632号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学课堂讲稿3114466-469（2004）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{P.J.Pingree}和\textit{E.Mikk}，莱克特。注释计算。科学。3114、466--469（2004；Zbl 1103.68632）
全文： 内政部
扎里娜·舒库尔;马里兰州阿卜杜拉·辛。;阿尼塔·班

M2Z：将自然语言软件规范翻译为Z的工具。 （英语） Zbl 1015.68734号

George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2495, 406-410 (2002).
MSC公司：68单位99 68N99型 第68页第50页 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Shukur}等人，Lect。注释计算。科学。2495406--410（2002年；Zbl 1015.68734）
全文： 链接
阿米尔·普努利;约夫·罗德;奥弗·施特里克曼;迈克尔·西格尔

通过小域实例化确定等式公式。 （英语） Zbl 1046.68605号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633, 455-469 (1999).
MSC公司：第68季度第60季度 68吨15 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Pnueli}等人，Lect。注释计算。科学。1633455-469（1999年；Zbl 1046.68605）
Jean-Christophe Filliátre

类型理论中命令式程序的证明。 （英语） Zbl 0944.03021号

Altenkirch，Thorsten（编辑）等人，《证明和程序的类型》。98型国际研讨会。Kloster Irsee，德国，1999年3月27日至31日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1657, 78-92 (1999).
MSC公司：03B70号 68甲18 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-C.Filliátre}，莱克特。注释计算。科学。1657，78-92（1999；Zbl 0944.03021）
A.莱奇。

子递归类和自生自动机的枚举。二： 索引复杂性和翻译复杂性。 （英语） Zbl 0583.03024号

Sitzungsber.公司。，阿布特二世。阿卡德。威斯。，数学-大自然。Kl。 193, 135-158 (1984).
审核人：A.A.穆林
MSC公司：05年3月 68问题80 第68季度第60季度 03D45号 20日03时 03日第10天
PDF格式BibTeX公司 XML格式引用
\textit{A.Leitsch}，Sitzungsber。，阿布特二世。阿卡德。威斯。，数学-大自然。Kl.193，135--158（1984；Zbl 0583.03024）
Rózsa佩特

计算机理论中的递归函数。Transl.公司。作者：I.Juhasz。 （英语） Zbl 0464.68002号

Ellis Horwood计算机及其应用系列。奇切斯特：Ellis Horwood Limited。奇切斯特等：霍尔斯特德出版社：约翰·威利父子公司的一个部门。（与Akademiai Kiado合编，匈牙利科学院出版社，布达佩斯）160 p.£17.50（1981）。
MSC公司：68-02 68N01型 20日03时 65年第68季度 03D60年 68瓦99 2005年第68季度
PDF格式BibTeX公司 XML格式
英格伯特·库普卡（编辑）
[G.奈斯。;纳格尔，R。;A.Blaser。;美国绍尔。;Rohlfing，H。;F.沃尔夫。;E·梅勒。;博德，G。;Barthel，T。;A.Rocholl。;A.-W.舍尔。;T.Schünemann。;H·汉梅尔。;佩纳德（P.Pernards）。;埃格洛夫，P。;鲍尔菲尔德，W.-L。;J·赫克。;尼迈耶，G。;Höpfner，R。;Hörbst，E。;B.古拉克。]

对话技术。1.ACM德国分会研讨会，上午29点。星期三30。1977年4月，汉堡。 （英语） Zbl 0398.68006号

应用计算机科学。公元10年。慕尼黑，维恩：卡尔·汉斯·弗拉格。256 S.DM 38.00（1978）。
MSC公司：68-06 68新元 68N99型 68第20页
PDF格式BibTeX公司 XML格式
E.I.戈里亚切夫。

FORTRAN-IV翻译程序中的存储分配算法。 （英语。俄文原件） Zbl 0431.68034号

莫斯科。大学计算机。数学。赛博。 1977年，第3期，92-99（1977）; 由Vestn翻译。莫斯科。州立大学。XV 1977年，第3期，87-92（1977年）。
MSC公司：68N25号
PDF格式BibTeX公司 XML格式引用
\textit｛E.I.Goryachev｝，莫斯科。大学计算机。数学。赛博。1977年，第3期，92-99（1977；Zbl 0431.68034）；由Vestn翻译。莫斯科。州立大学。XV 1977年，第3期，87-92（1977年）
瓦库洛夫斯卡娅，G.V。;O.S.库拉吉纳。

Maschinelles u bersetzen（弗朗索·西施·鲁西施）。三： Beschreibung des Programmes公司。 （俄语、英语、德语） Zbl 0136.38905号

问题。基伯恩。 5, 245-262 (1961); 问题。控制论5，321-348（1964）；问题。Kybernetik 5，279-302（1964）。
MSC公司：第68页第50页
PDF格式BibTeX公司 XML格式引用
\textit{G.V.Vakulovskaya}和\textit{O.S.Kulagina}，Probl。基伯恩。5245--262（1961年；Zbl 0136.38905）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件