×

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

最新 引文 关联
文森佐·西安西亚;Jan Friso，格鲁特;迭戈·拉特拉;梅克·马西克;埃里克·P·德文克。

使用分支双相似性最小化空间模型。 （英语） Zbl 1529.68155号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 263-281 (2023).
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，Lect。注释计算。科学。14000，263--281（2023；Zbl 1529.68155）
全文： 内政部
彼得·吉普森;塔德乌兹·利塔克

对聚束暗示和分离逻辑的代数一瞥。 （英语） Zbl 07823891号

加拉托斯（Galatos）、尼古拉斯（Nikolaos）（ed.）等人，小野弘之（Hiroakira Ono），《子结构逻辑》（substructural logics）。查姆：斯普林格。外部。控制日志。23, 185-242 (2022).
MSC公司：03A05号 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{P.Jipsen}和\textit{T.Litak}，Outst。控制日志。23185-242（2022；Zbl 07823891）
全文： 内政部 arXiv公司
亚历克斯·罗宁·本迪克森;博杰森，比亚克布雷多;汉斯·休特尔;斯迪安·利贝奇

高阶计算的泛型类型系统。 （英语） Zbl 07800868号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，43-59（2022）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Bendixen}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，43-59（2022；Zbl 07800868）
全文： arXiv公司 链接
朱利安·瓦内格

对抗性逻辑。 （英语） Zbl 1524.68105号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 422-448 (2022).
MSC公司：68号30 03B70号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Vanegue}，莱克特。注释计算。科学。13790422--448（2022年；Zbl 1524.68105）
全文： 内政部
约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;Tjark韦伯

标称过渡系统的模态逻辑。 （英语） Zbl 1509.68188号

日志。方法计算。科学。 17，第1号，第6号论文，49页（2021年）.
MSC公司：68问题85 03B45号 03B70号 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Parrow}等人，Log。方法计算。科学。17，第1号，第6号论文，49页（2021；Zbl 1509.68188）
全文： arXiv公司 链接
基拉库米纳米

追踪等价和认知逻辑来表示安全属性。 （英语） Zbl 1511.68185号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 115-132 (2020).
MSC公司：68问题85 03B42号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{K.Minami}，莱克特。注释计算。科学。12136115-132（2020年；Zbl 1511.68185）
全文： 内政部 arXiv公司
托马斯·埃尔哈德

概率相干空间中的微分和距离。 （英语） 兹比尔1528.68063

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。131，第17条，第17页（2019）。
MSC公司：68甲18 03楼52 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Ehrhard}，LIPIcs——莱布尼茨国际程序。通知。131，第17条，第17页（2019年；Zbl 1528.68063）
全文： 内政部
乌戈·达尔拉戈;托马斯·利文提斯

关于概率（λ）项的泰勒展开。 （英语） Zbl 1528.03119号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。131，第13条，第16页（2019年）。
MSC公司：03B40型 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}和\textit{T.Leventis}，LIPIcs——莱布尼茨国际程序。通知。131，第13条，第16页（2019年；Zbl 1528.03119）
全文： 内政部 arXiv公司
皮埃尔·克莱兰堡;雨果·帕奎特

概率（λ）演算的完全抽象模型。 （英语） Zbl 1528.03117号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。119，第16条，第17页（2018年）。
MSC公司：03B40型 68问题85 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Clairambault}和\textit{H.Paquet}，LIPIcs——莱布尼茨国际程序。通知。119，第16条，第17页（2018；Zbl 1528.03117）
全文： 内政部
亚历山大·马德拉;内维斯、雷纳托;马丁斯（Manuel A.Martins）。;路易斯·巴博萨。

层次混合逻辑。 （英语） Zbl 1433.03071号

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 167-184 (2018).
MSC公司：03B70号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Madeira}等人，《电子》。注释Theor。计算。科学。338167--184（2018；Zbl 1433.03071）
全文： 内政部
罗宾·亚当斯;巴特·雅各布斯

概率和贝叶斯推理的类型理论。 （英语） Zbl 1433.68264号

Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。69，第1条，第34页（2018年）。
MSC公司：87年第68季度 03B70号 2015年1月62日 68号30 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{R.Adams}和\textit{B.Jacobs}，LIPIcs——莱布尼茨国际程序。通知。69，第1条，第34页（2018；Zbl 1433.68264）
全文： 内政部 arXiv公司
约瑟夫·霍尔珀（Joseph Y.Halpern）。;罗恩·范德梅登;里卡多·普切拉

认证逻辑的认知基础（扩展抽象）。 （英语） Zbl 1483.03008号

Lang，Jéróme（编辑），《第十六届理性与知识理论方面会议论文集》，TARK 2017，英国利物浦，2017年7月24-26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）251306-323（2017）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}等人，《电子》。程序。西奥。计算。科学。（EPTCS）251、306--323（2017；Zbl 1483.03008）
全文： arXiv公司 链接
Damien Pous;罗特，尤里安

同伴、共同性和因果关系。 （英语） Zbl 1442.68149号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 106-123 (2017).
MSC公司：68问题85 03B70号 06B23号 08A70号 18立方厘米 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}和\textit{J.Rot}，莱克特。注释计算。科学。10203、106-123（2017；Zbl 1442.68149）
全文： 内政部 链接
巴特·雅各布斯;法比奥·扎纳西

用于贝叶斯学习的谓词/状态转换器语义。 （英语） Zbl 1401.68173号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325185-200（2016）。
MSC公司：68问题55 03B70号 18个C20 2015年1月62日
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}和\textit{F.Zanasi}，电子。注释Theor。计算。科学。325185-200（2016；Zbl 1401.68173）
全文： 内政部
文森佐·西安西亚;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克

闭合空间的空间逻辑和空间模型检查。 （英语） Zbl 1346.68122号

Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700，156-201（2016）讲稿。
MSC公司：60年第68季度 03B70号 54A05型
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，Lect。注释计算。科学。97001156-201（2016年；兹比尔1346.68122）
全文： 内政部
朱塞佩·普里米埃罗

现实主义后果，认知推理，计算正确性。 （英语） Zbl 1376.03010号

Koslow，Arnold（编辑）等人，《通往普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer（ISBN 978-3-319-15367-4/pbk；978-3-316-15368-1/电子书）。《通用逻辑研究》，573-588（2015）。
MSC公司：03A10号 第68季度01
PDF格式BibTeX公司 XML格式引用
\textit{G.Primiero}，in：通向普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer。573-588（2015；Zbl 1376.03010）
全文： 内政部
约瑟夫·布杜

具有分离并行组合的PDL的指数模型性质。 （英语） Zbl 1465.68045号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 129-140 (2015).
MSC公司：68号30 03B70号 19年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Boudou}，莱克特。注释计算。科学。9234、129--140（2015年；Zbl 1465.68045）
全文： 内政部 链接
穆萨布·阿尔图尔基。;何塞·梅塞盖尔

Orc的可执行重写逻辑语义和Orc程序的形式化分析。 （英语） Zbl 1329.68169号

J.日志。阿尔盖布。方法计划。 84，第4期，505-533（2015）.
MSC公司：68问题55 03B70号 2010年第68季度 2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.A.AlTurki}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。84，第4号，505--533（2015；Zbl 1329.68169）
全文： 内政部
卢卡·卡德利;Larsen，Kim G。;拉杜·马达尔

模块化马尔科夫逻辑。 （英语） Zbl 1333.68200号

Aceto，Luca（编辑）等人，自动机，语言和编程。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756380-391（2011）。
MSC公司：87年第68季度 03B70号 60J25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。6756380-391（2011年；Zbl 1333.68200）
全文： 内政部
迪帕克·加格;杰森·富兰克林;迪尔森·卡纳尔;阿努帕姆·达塔

具有接口受限对手的组合系统安全。 （英语） Zbl 1342.68083号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，49-71（2010）。
MSC公司：68号30 03B70号 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛D.Garg｝等人，电子。注释Theor。计算。科学。265，49-71（2010年；兹比尔1342.68083）
全文： 内政部
Jens Chr.Godskesen。

具有静态位置绑定的移动自组织网络的演算。 （英语） Zbl 1291.68286号

Hildebrandt，Thomas（ed.）等人，《第15届并发表达性国际研讨会论文集》（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第161-183期（2009年）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Chr.Godskesen}，电子。注释Theor。计算。科学。242，第1号，161--183（2009；Zbl 1291.68286）
全文： 内政部
米克尔·邦加德;Jens Chr.Godskesen。;比约恩哈根森;汉斯·休特尔

具有位置的高阶微积分的可判定碎片。 （英语） Zbl 1291.68283号

Hildebrandt，Thomas（编辑）等人，《第十五届并发表达能力国际研讨会论文集》（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，113-138（2009）。
MSC公司：68问题85 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bundgaard}等人，《电子》。注释Theor。计算。科学。242，No.1，113--138（2009；Zbl 1291.68283）
全文： 内政部
安德鲁·戈登。;汉斯·休特尔;汉森、雷内·里多夫

对应类型的类型推断。 （英语） Zbl 1294.68110号

Kremer，Steve（编辑）等人，第六届并发安全问题国际研讨会会议记录（SecCo 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第3期，21-36（2009）。
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Gordon}等人，《电子》。注释Theor。计算。科学。242，第3号，21-36（2009；Zbl 1294.68110）
全文： 内政部
郭恒;王汉平;徐忠元;曹永志

关于模型检查布尔BI。 （英语） Zbl 1257.03048号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771302-316（2009）。
MSC公司：03B47号 03B25号 03B70号 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Guo}等人，Lect。注释计算。科学。5771、302-316（2009年；Zbl 1257.03048）
全文： 内政部 链接
杰里米·道森。;Tiu，Alwen先生

形式化环境敏感互模拟的观测器理论。 （英语） Zbl 1252.68251号

Berghofer，Stefan（ed.）等人，高阶逻辑中的定理证明。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674180-195（2009）。
MSC公司：68吨15 68个M12 68问题85 03B25号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{J.E.Dawson}和\textit{A.Tiu}，莱克特。注释计算。科学。5674、180--195（2009年；Zbl 1252.68251）
全文： 内政部
你好，托尼;彼得·奥赫恩

用于通信进程的分离逻辑语义。 （英语） Zbl 1286.68352号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，3-25（2008）。
MSC公司：68问题85 68甲15 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}和\textit{P.O'Hearn}，电子。注释Theor。计算。科学。212、3--25（2008年；Zbl 1286.68352）
全文： 内政部
科琳娜·科斯特;梅赫努什·萨德扎德

联合不动点逻辑的模块化游戏。 （英语） Zbl 1279.03056号

Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，71-92（2008）。
MSC公司：03B70号 03B45号 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{C.Cêrstea}和\textit{M.Sadrzadeh}，电子。注释Theor。计算。科学。203，编号5，71-92（2008；Zbl 1279.03056）
全文： 内政部
乔治·巴奇;马里诺·米库兰

膜逻辑中模型检查的不可解释性。 （英语） Zbl 1277.68131号

Danos，Vincent（编辑）等人，第三届计算模型发展国际研讨会论文集（DCM 2007），Wrocław，波兰，2007年7月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第3期，23-37（2008）。
MSC公司：60年第68季度 03B70号 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}和\textit{M.Miculan}，电子。注释Theor。计算。科学。192，第3号，23-37（2008；Zbl 1277.68131）
全文： 内政部
拉杜·马达尔;阿尔贝托，Policriti

基于进程的空间逻辑的完整公理系统。 （英语） Zbl 1173.03307号

Ochmaánski，Edward（编辑）等人，《2008年计算机科学数学基础》。2008年8月25日至29日，第33届国际研讨会，MFCS 2008，波兰托伦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85237-7/pbk）。计算机科学课堂讲稿5162491-502（2008）。
MSC公司：03B70号 03B45号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Mardare}和\textit{A.Policriti}，莱克特。注释计算。科学。5162、491--502（2008；Zbl 1173.03307）
全文： 内政部
杨林敏;王勇;党、哲

多组通信对象上的自动机。 （英语） Zbl 1166.68330号

Calude，Cristian S.（编辑）等人，《非常规计算》。2008年8月25日至28日在奥地利维也纳举行的2008年加州大学第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85193-6/pbk）。计算机科学课堂讲稿5204，242-257（2008）。
MSC公司：65年第68季度 05年3月 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Yang}等人，Lect。注释计算。科学。5204、242--257（2008年；Zbl 1166.68330）
全文： 内政部
爱蒂安·洛兹;朱尔斯维拉德

应用（pi）演算的空间方程逻辑。 （英语） Zbl 1160.03313号

van Breugel，Franck（编辑）等人，CONCUR 2008——并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，387-401（2008）。
MSC公司：03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃里·洛兹}和\textit{J.维拉德}，莱克托。注释计算。科学。5201、387--401（2008年；Zbl 1160.03313）
全文： 内政部
Temesghen Kahsai;马里诺·米库兰

使用标称技术实现spi演算。 （英语） Zbl 1142.68445号

Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。《计算机科学讲义》5028、294-305（2008）。
MSC公司：68问题85 03B70号 68吨15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{T.Kahsai}和\textit{M.Miculan}，莱克特。注释计算。科学。5028294--305（2008年；Zbl 1142.68445）
全文： 内政部
汉斯·休特尔;迈克尔·D·佩德森。

静态等效的逻辑特征。 （英语） Zbl 1316.68096号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173139-157（2007）。
MSC公司：68问题85 03B70号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{H.Hüttel}和\textit{M.D.Pedersen}，电子。注释Theor。计算。科学。173139-157（2007年；兹bl 1316.68096）
全文： 内政部
凯文·沃特金斯;伊利亚诺·塞维萨托;弗兰克·芬宁;大卫·沃克

指定CLF中并发计算的属性。 （英语） Zbl 1278.03069号

Schürmann，C.（编辑），第四届逻辑框架和元语言国际研讨会论文集（LFM 2004），英国科克，2004年7月5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记199，67-87（2008）。
MSC公司：03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Watkins}等人，《电子》。注释Theor。计算。科学。199、67--87（2007年；Zbl 1278.03069）
全文： 内政部
路易斯·凯雷斯;雨果·托雷斯·维埃拉

分布式系统中空间观测的扩展性。 （英语） Zbl 1277.68169号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，131-149（2007）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}和\textit{H.T.Vieira}，电子。注释Theor。计算。科学。175，第3号，131--149（2007；Zbl 1277.68169）
全文： 内政部
丹尼尔·戈拉

通信原语中的同步与异步。 （英语） Zbl 1277.68185号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，87-108（2007）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Gorla}，电子。注释Theor。计算。科学。175，第3号，87--108（2007；Zbl 1277.68185）
全文： 内政部
大卫·皮姆;托夫斯，克里斯

通过资源和过程进行系统建模：哲学、微积分、语义和逻辑。 （英语） 兹比尔1277.68202

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，545-587（2007）。
MSC公司：68问题85 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Pym}和\textit{C.Tofts}，电子。注释Theor。计算。科学。172545--587（2007年；Zbl 1277.68202）
全文： 内政部
阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;阿纳布·罗伊

协议组合逻辑（PCL）。 （英语） Zbl 1277.68033号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，311-358（2007）。
MSC公司：68个M12 03B70号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Datta}等人，《电子》。注释Theor。计算。科学。172311--358（2007；Zbl 1277.68033）
全文： 内政部
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂

关于数据更新的本地推理。 （英语） Zbl 1277.68064号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172133-175（2007）。
MSC公司：68第05页 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，《电子》。注释Theor。计算。科学。172133--175（2007年；Zbl 1277.68064）
全文： 内政部
弗朗西安·戴奇森;穆罕默德·雷扎·穆萨维;西蒙娜·奥尔赞

协议分析的操作和认知方法：弥合差距。 （英语） Zbl 1137.68445号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学讲义4790。人工智能课堂讲稿，226-241（2007）。
MSC公司：68问题85 68个M12 03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛F.Dechesne｝等人，Lect。注释计算。科学。4790226--241（2007年；Zbl 1137.68445）
全文： 内政部 链接
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳

树的上下文逻辑中的辅助消除。 （英语） Zbl 1137.03312号

邵，钟（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807，255-270（2007）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，Lect。注释计算。科学。4807255-270（2007年；Zbl 1137.03312）
全文： 内政部 链接
拉杜·马代尔;科拉多·普里亚米

轩尼诗-米尔纳逻辑的可判定扩展。 （英语） Zbl 1225.03031号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229196-211（2006）。
MSC公司：03B70号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Mardare}和\textit{C.Priami}，莱克特。注释计算。科学。4229196-211（2006；Zbl 1225.03031）
全文： 内政部
霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里

用（out）类型重写微积分。 （英语） Zbl 1272.68173号

Gadducci，Fabio（编辑）等人，WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记71，3-19（2004）。
MSC公司：2012年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{H.Cirstea}等人，《电子》。注释Theor。计算。科学。71、3--19（2004年；Zbl 1272.68173）
全文： 链接
陈、陶璐;韩婷婷;陆健

稳健环境演算的模态逻辑的内涵。 （英语） Zbl 1270.03035号

Focardi，Riccardo（编辑）等人，FGC’03。全球计算基础。2003年6月28日至29日，荷兰埃因霍温，第二届EATCS研讨会会议记录（ICALP 2003卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》85，第1期，25-38（2003）。
MSC公司：03B45号 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，《电子》。注释Theor。计算。科学。85，第1号，25--38（2003；Zbl 1270.03035）
全文： 链接
戴尔·米勒

加密为抽象数据类型（扩展抽象）。 （英语） Zbl 1264.68077号

de Queiroz，Ruy（编辑）等人，《第十届逻辑、语言、信息和计算研讨会论文集》（WoLLIC’2003），Ouro Preto，Minas Gerais，巴西，2003年7月29日至8月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记84，18-29（2003）。
MSC公司：68第25页 03楼52 68问题65
PDF格式BibTeX公司 XML格式引用
\发短信给电子公司。注释Theor。计算。科学。84、18-29（2003年；Zbl 1264.68077）
全文： 内政部
乌尔里克·弗伦德鲁普;汉斯·休特尔;Jesper Nyholm Jensen

加密过程的模态逻辑。 （英语） Zbl 1270.03038号

Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，124-141（2002）。
MSC公司：03B45号 68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{U.Frendrup}等人，《电子》。注释Theor。计算。科学。68，第2号，124--141（2002；Zbl 1270.03038）
全文： 内政部
Jerzy Tiuryn;米切尔·旺德

具有输入输出的非类型lambda-calculus。 （英语） Zbl 1508.68213号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，1996年4月22日至24日，瑞典林雪平。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 317-329 (1996).
MSC公司：68问题55 03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Tiuryn}和\textit{M.Wand}，莱克特。注释计算。科学。1059、317--329（1996年；Zbl 1508.68213）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件