×

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

最新的 引文 关联
Rooduijn，简;维尼马，伊德

双向无交替演算的焦点式证明。 （英语） Zbl 07810573号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 318-335 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Rooduijn}和\textit{Y.Venema}，莱克特。注释计算。科学。13923118-335（2023年；兹比尔07810573）
全文： 内政部 arXiv公司
克莱门斯·库普克;约翰内斯·马蒂;维尼马，伊德

微积分公式的简洁图形表示。 （英语） Zbl 07830385号

Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第29条，第18页（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Kupke}等人，LIPIcs——莱布尼茨国际程序。通知。216，第29条，第18页（2022；Zbl 07830385）
全文： 内政部
莱昂纳多·帕切科;田中，川崎

弱传递框架上的（mu）-演算的交替层次。 （英语） Zbl 07691324号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13468, 207-220 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Pacheco}和\textit{K.Tanaka}，Lect。注释计算。科学。13468、207--220（2022；Zbl 07691324）
全文： 内政部
阿夫沙里语、巴哈雷语;格雷厄姆·李（Graham E.Leigh）。

模态演算的Lyndon插值。 （英语） Zbl 1530.03072号

奥兹根、艾布克（编辑）等人，《语言、逻辑和计算》。第十三届第比利斯国际研讨会，2019年TbiLLC，格鲁吉亚巴统，2019月16-20日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13206, 197-213 (2022).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{B.Afshari}和\textit{G.E.Leigh}，Lect。注释计算。科学。13206、197--213（2022；Zbl 1530.03072）
全文： 内政部
阿夫沙里语、巴哈雷语;格雷厄姆·E·利。;吉勒莫梅内德斯·图拉塔

循环证明中的一致插值：模态多演算的情况。 （英语） Zbl 07532525号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 335-353 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Afshari}等人，Lect。注释计算。科学。12842、335--353（2021；Zbl 07532525）
全文： 内政部
塞巴斯蒂安·恩奎斯特

混合微积分的循环证明系统。 （英语） Zbl 07585713号

Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：学院出版物。169-188 (2020).
MSC公司：03B45号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.Enqvist}，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。169-188（2020年；Zbl 07585713）
全文： arXiv公司
吉安·卡洛·米兰尼斯;维尼马，伊德

双向模态演算的闭包序数。 （英语） Zbl 1530.03082号

罗莎莉·伊姆霍夫（编辑）等人，《逻辑、语言、信息和计算》。第26届国际研讨会，2019年7月2日至5日，荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。11541, 498-515 (2019).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{G.C.Milanese}和\textit{Y.Venema}，Lect。注释计算。科学。11541898-515（2019年；兹比尔1530.03082）
全文： 内政部
安德烈·戈林;罗马克里希南，C.R。

可分离GPL：具有更多非确定性的可判定模型检查。 （英语） Zbl 1520.68074号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第36条，第16页（2018年）。
MSC公司：60年第68季度 03B44型 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{A.Gorlin}和\textit{C.R.Ramakrishnan}，LIPIcs——莱布尼茨国际程序。通知。118，第36条，第16页（2018；Zbl 1520.68074）
全文： 内政部
卡罗琳娜·莱赫蒂宁

拟多项式时间中奇偶对策求解的模态透视。 （英语） Zbl 1497.68228号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。639-648 (2018).
MSC公司：19年第68季度 03B45号 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Lehtinen}，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。639--648（2018；Zbl 1497.68228）
全文： 内政部
丹尼尔·克恩伯格;马丁·兰格

完全混合的微积分。 （英语） Zbl 1515.68184号

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90，第17条，第16页（2017年）。
MSC公司：60年第68季度 03B44型 03B45号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Kernberger}和\textit{M.Lange}，LIPIcs——莱布尼茨国际程序。通知。90，第17条，第16页（2017；Zbl 1515.68184）
全文： 内政部
费比安·雷特

异步分布式自动机：模式片段的特征。 （英语） Zbl 1442.68096号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第100条，第14页（2017年）。
MSC公司：65年第68季度 03B45号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛F.Reiter｝，LIPIcs——莱布尼茨国际会议记录。通知。80，第100条，第14页（2017年；Zbl 1442.68096）
全文： 内政部 arXiv公司
玛丽亚·乔昂·古韦亚;圣托卡纳莱，路易吉

\（\aleph_1）和模态演算。 （英语） Zbl 1434.03070号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第38条，第16页（2017）。
MSC公司：03B45号 03B70号 03E10年
PDF格式BibTeX公司 XML格式引用
\textit{M.J.Gouveia}和\textit{L.Santocanale}，LIPIcs——莱布尼茨国际程序。通知。82，第38条，第16页（2017年；Zbl 1434.03070）
全文： 内政部
巴托克·克林;Łelyk，马特乌斯

模态\（\mu\）-原子演算。 （英语） Zbl 1434.03071号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第30条，第21页（2017年）。
MSC公司：03B45号 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}和\textit{M.Łelyk}，LIPIcs——莱布尼茨国际程序。通知。82，第30条，第21页（2017；Zbl 1434.03071）
全文： 内政部
阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林

通过线性时间演算中的证明搜索走向完备性：Büchi包含的情况。 （英语） Zbl 1401.68193号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。377-386 (2016).
MSC公司：60年第68季度 03B45号 03B70号 05年3月 07年3月
PDF格式BibTeX公司 XML格式引用
\textit｛A.Doumane｝等人，载于：2016年第31届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2016，美国纽约市，2016年7月5日至8日。纽约州纽约市：计算机协会（ACM）。377--386（2016；Zbl 1401.68193）
全文： 内政部
Larsen，Kim G。;拉杜·马达尔;薛冰田

概率演算：可判定性和完全公理化。 （英语） Zbl 1434.03072号

Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。65，第25条，第18页。(2016).
MSC公司：03B45号 03B25号 03B48号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，LIPIcs——莱布尼茨国际程序。通知。65，第25条，第18页（2016；Zbl 1434.03072）
全文： 内政部
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马，伊德

余代数不动点逻辑的完备性。 （英语） Zbl 1370.03085号

Regnier，Laurent（编辑）等人，2016年8月29日至9月1日，法国马赛CSL’16，第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-022-4）。LIPIcs–莱布尼茨国际信息学学报62，第7条，第19页。(2016).
MSC公司：03G30型 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.Enqvist}等人，LIPIcs——莱布尼茨国际程序。通知。62，第7条，第19页（2016；Zbl 1370.03085）
全文： 内政部
卡罗琳娜·莱赫蒂宁;桑德拉·奎克特

通过公式构造确定模态交替层次的第一级。 （英语） Zbl 1434.03073号

Kreutzer，Stephan（编辑），第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。41, 457-471 (2015).
MSC公司：03B45号 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Lehtinen}和\textit{S.Quickert}，LIPIcs——莱布尼茨国际程序。通知。41、457--471（2015年；Zbl 1434.03073）
全文： 内政部
Larsen，Kim G。;拉杜·马达尔;薛冰田

无交替加权微积分：可判定性和完备性。 （英语） Zbl 1351.68164号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319289-313，仅电子版（2015）。
MSC公司：60年第68季度 03B45号 第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，《电子》。注释Theor。计算。科学。319289-313（2015年；兹比尔1351.68164）
全文： 内政部
法孔多·卡雷罗;维尼马，伊德

微积分中的PDL：一个语法和自动机理论表征。 （英语） Zbl 1385.03035号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。74-93（2014年）。
MSC公司：03B70号 03B45号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Carreiro}和\textit{Y.Venema}，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。74-93（2014年；兹bl 1385.03035）
法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马，伊德;法比奥·扎纳西

弱MSO：自动机和表达模双相似性。 （英语） Zbl 1401.03065号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第27号论文，第10页（2014年）。
MSC公司：05年3月 03B15号机组 03B45号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Carreiro}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第27号论文，第10页（2014；Zbl 1401.03065）
全文： 内政部 arXiv公司
米科拉伊·博扬奇克;克里斯托夫·迪特曼;斯蒂芬·克鲁泽

模态演算的分解定理和模型检验。 （英语） 兹比尔1394.68222

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第17号文件，第10页（2014年）。
MSC公司：60年第68季度 03B45号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojanczyk}et al.，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第17号论文，第10页（2014；Zbl 1394.68222）
全文： 内政部 arXiv公司
维尼马，伊德

表达模双相似度：一个联合脑的观点。 （英语） Zbl 1354.03023号

Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑5的杰出贡献》，33-65（2014）。
MSC公司：03B45号 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{Y.Venema}，Outst（奥斯特）。控制日志。5、33——65（2014；Zbl 1354.03023）
全文： 内政部 链接
亚历山德罗·法奇尼;维尼马，伊德;法比奥·扎纳西

模态演算无交替片段的一个特征定理。 （英语） Zbl 1366.03186号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。478-487 (2013).
MSC公司：03B45号 03B25号 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Facchini}等人，in：2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学，2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集，2013年LICS。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。478--487（2013年；Zbl 1366.03186）
全文： 内政部
阿夫沙里语、巴哈雷语;格雷厄姆·李（Graham E.Leigh）。

关于模态\（\mu\）演算的闭包序数。 （英语） Zbl 1356.03064号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，30-44（2013）。
MSC公司：03B45号 03B70号 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{B.Afshari}和\textit{G.E.Leigh}，LIPIcs——Leibniz国际程序。通知。23、30-44（2013；Zbl 1356.03064）
全文： 内政部
克里斯蒂安·格雷斯;阿迪娜·玛格达·弗洛里亚;John-Jules Ch.梅耶。

全混合微积分，它的互模拟不变性及其在论证中的应用。 （英语） Zbl 1361.68231号

Fisher，Michael（编辑）等人，《多智能体系统中的计算逻辑》。第十三届国际研讨会，CLIMA XIII，法国蒙彼利埃，2012年8月27日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32896-1/pbk）。计算机科学课堂讲稿7486。《人工智能课堂讲稿》，181-194（2012）。
MSC公司：68T27型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{C.Grate}等人，Lect。注释计算。科学。7486，181--194（2012；Zbl 1361.68231）
全文： 内政部
马丁·霍夫曼;马丁·兰格

自动机理论和逻辑。（自动化理论与逻辑） （德语） 兹比尔1257.68003

eXamen.新闻。柏林：施普林格出版社（ISBN 978-3-642-18089-7/pbk；978-3-442-18090-3/电子书）。x、 240页。(2011).
审核人：Klaus D.Kiermeier（柏林）
MSC公司：68-01 68-02 03-01 03B25号 03B44型 03B70号 05年3月 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{M.Lange}，《自动化与逻辑》。柏林：施普林格出版社（2011；Zbl 1257.68003）
全文： 内政部
Amélie Gheerbrant

线性时间（mu）-演算的结巴变片段的完全公理化。 （英语） Zbl 1254.03025号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24日至27日。伦敦：学院出版物（ISBN 978-1-84890-013-4）。140-155 (2010).
MSC公司：03B44型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Gheerprant}，in：模态逻辑的进展。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24-27日。伦敦：学院出版物。140-155（2010年；Zbl 1254.03025）
杰格，格哈德

模态定点逻辑。 （英语） Zbl 1214.03016号

Esparza，Javier（编辑）等人，《可靠性和安全性的逻辑和语言》。根据2009年8月4日至16日在德国马克托伯多夫第30届国际暑期学校的演示文稿选出的论文。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-099-5/hbk；978-1-60750-100-8/电子书）。北约和平与安全科学系列D：信息与通信安全25，129-154（2010）。
MSC公司：03B45号 03B42号 03B70号 35楼03号 03层45
PDF格式BibTeX公司 XML格式引用
\textit{G.Jäger}，北约科学。和平安全。序列号。D、 信息通信。安全。25129--154（2010；Zbl 1214.03016）
全文： 内政部
西蒙·克莱默;卡图西亚帕拉米德斯;罗伯特·塞加拉;安德里亚·图里尼;克里斯特尔·布劳恩

概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 （英语） 兹比尔1186.68325

J.应用。非类别。日志。 19，第4期，489-516（2009）.
MSC公司：87年第68季度 03B45号 03B70号 68T42型 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{S.Kramer}等人，J.Appl。非类别。日志。19，第4号，489--516（2009；Zbl 1186.68325）
全文： 内政部
贝内维特斯，马里奥·R·F·。;MenaschéSchechter，L。

图形属性的模态表达。 （英语） Zbl 1277.03026号

Ayala-Rincón，M.（ed.）等人，《逻辑和语义框架及其应用第二次研讨会论文集》（LSFA 2007），巴西乌罗普雷托，2007年8月28日至29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记205，31-47（2008）。
MSC公司：03B70号 03B44型 03B45号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.R.F.Benevides}和\textit{L.MenaschéSchechter}，电子。注释Theor。计算。科学。205、31-47（2008年；Zbl 1277.03026）
全文： 内政部
田边，Yoshinori;高桥，Koichi;Masami Hagiya

一种用于无交替模态\（\mu\）-结石的决策程序。 （英语） Zbl 1244.03074号

Areces，Carlos（编辑）等人，《模态逻辑的进展》。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物（ISBN 978-1-904987-68-0/pbk）。341-362 (2008).
MSC公司：03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Tanabe}等人，in：模态逻辑的进展。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物。341-362（2008年；兹bl 1244.03074）
莫舍·瓦尔迪。;托马斯·威尔克

自动机：从逻辑到算法。 （英语） Zbl 1234.03026号

Flum，Jörg（编辑）等人，《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-5356-576-6/pbk）。《逻辑与游戏中的文本》2，629-736（2008）。
审核人：罗杰·维勒梅尔（蒙特利尔）
MSC公司：05年3月 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}和\textit{T.Wilke}，文本日志。游戏2629-736（2008；Zbl 1234.03026）
斯蒂芬·克鲁泽;马丁·兰格

非常规定点逻辑和游戏。 （英语） Zbl 1217.68138号

Flum，Jörg（编辑）等人，《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-5356-576-6/pbk）。《逻辑和游戏中的文本》2423-456（2008）。
MSC公司：60年第68季度 03B44型 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kreutzer}和\textit{M.Lange}，文本日志。游戏2423-456（2008；Zbl 1217.68138）
盖尔·方丹

微积分的连续片段。 （英语） Zbl 1156.03325号

迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，139-153（2008）。
MSC公司：03B70号 03B45号 05年3月 06B35号
PDF格式BibTeX公司 XML格式引用
\textit{G.Fontaine}，莱克特。注释计算。科学。5213、139--153（2008年；Zbl 1156.03325）
全文： 内政部
雅克·杜帕克;亚历山德罗·法奇尼

描述\（\mu\）-演算的无交互片段的Wadge层次结构。I.以下级别（ω{1}）。 （英语） 兹比尔1142.03338

Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028186-195（2008）。
MSC公司：03B45号 05年3月 03E15年
PDF格式BibTeX公司 XML格式引用
\textit{J.Duparc}和\textit{A.Facchini}，莱克特。注释计算。科学。5028186--195（2008年；Zbl 1142.03338）
全文： 内政部
乔瓦娜·达戈斯蒂诺

统一插值、互模拟量词和不动点。 （英语） Zbl 1226.03033号

10 Cate，Balder D.（编辑）等人，《逻辑、语言和计算》。第六届第比利斯逻辑、语言和计算国际研讨会，2005年TbiLLC，格鲁吉亚巴统，2005年9月12-16日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-75143-4/pbk）。计算机科学课堂讲稿4363。人工智能课堂讲稿，96-116（2007）。
MSC公司：03B45号 03B70号 03C80号
PDF格式BibTeX公司 XML格式引用
\textit{G.D'Agostino}，莱克特。注释计算。科学。4363，96-116（2007；Zbl 1226.03033）
全文： 内政部
拉杰夫·阿鲁尔;斯瓦拉特·乔杜里;马杜苏丹，P。

局部和全局程序流的不动点演算。 （英语） 兹比尔1370.68051

2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-027-2）。153-165（2006年）。
MSC公司：68号30 03B45号 03B70号 65年第68季度 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，摘自：第33届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'06，查尔斯顿，南卡罗来纳州，美国，2006年1月11-13日。纽约州纽约市：计算机协会（ACM）。153-165（2006年；Zbl 1370.68051）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件