×

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

最新的 引文 关联
鲁帕克·马朱姆达尔；拉马纳森·S·蒂尼亚姆。；乔治·泽采

异步共享内存程序的一般可判定性结果：高阶及更高阶。 （英语） Zbl 1467.68040号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 449-467 (2021).
MSC公司：68号30 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，Lect。注释计算。科学。12651449-467（2021年；兹比尔1467.68040）
全文： 内政部 arXiv公司
皮埃尔·克莱兰堡；Andrzej S.穆拉夫斯基。

关于线性递归格式的表示性。 （英语） Zbl 07561694号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019年8月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第50条，第14页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Clairambault}和\textit{A.S.Murawski}，LIPIcs——莱布尼茨国际程序。通知。138，第50条，第14页（2019年；Zbl 07561694）
全文： 内政部
马修·黑格；罗兰·迈耶；塞巴斯蒂安·马斯卡拉；马丁·齐默尔曼

在多项式时间内，下推和可折叠下推系统的安全性相等。 （英语） 兹比尔1512.68154

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第57条，第15页（2018年）。
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hague}等人，LIPIcs——莱布尼茨国际程序。通知。117，第57条，第15页（2018；Zbl 1512.68154）
全文： 内政部 arXiv公司
帕里斯，帕维尔

递归格式对角问题的复杂性。 （英语） Zbl 1491.68101号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第45条，第14页（2018）。
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Parys｝，LIPIcs——莱布尼茨国际会议记录。通知。93，第45条，第14页（2018；Zbl 1491.68101）
全文： 内政部
马修·黑格；罗兰·迈耶；塞巴斯蒂安·马斯卡拉

高阶游戏的域。 （英语） Zbl 1441.68125号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。83，第59条，第15页（2017年）。
MSC公司：65年第68季度 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hague}等人，LIPIcs——莱布尼茨国际程序。通知。83，第59条，第15页（2017年；Zbl 1441.68125）
全文： 内政部 arXiv公司
安卡·穆斯科尔；赫尔穆特·塞德尔；伊戈尔·瓦卢基维奇

动态参数化过程的可达性。 （英语） Zbl 1484.68143号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 424-441 (2017).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Muscholl}等人，Lect。注释计算。科学。10145424--441（2017；Zbl 1484.68143）
全文： 内政部 arXiv公司
萨尔瓦蒂，S。；Walukiewicz，I。

克里文机和高阶方案。 （英语） Zbl 1333.68111号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。第38届国际学术讨论会，ICALP 2011，瑞士苏黎世，2011年7月4日至8日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756162-173（2011）。
MSC公司：2005年第68季度 03B40型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Salvati}和\textit{I.Walukiewicz}，莱克特。注释计算。科学。6756、162--173（2011年；Zbl 1333.68111）
全文： 内政部 链接
阿尼尔·赛斯

高阶多层下推系统上的游戏。 （英语） Zbl 1260.68214号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797203-216（2009）。
MSC公司：65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Seth}，莱克特。注释计算。科学。5797203-216（2009年；Zbl 1260.68214）
全文： 内政部
亚历山大·卡尔佐夫

嵌套下推树上的FO模型检查。 （英语） Zbl 1250.68191号

Králović，Rastislav（编辑）等人，《2009年计算机科学的数学基础》。2009年8月24-28日，斯洛伐克High Tatras，Novy Smokovec，第34届国际研讨会，MFCS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03815-0/pbk）。计算机科学课堂讲稿5734，451-463（2009）。
MSC公司：60年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Kartzow}，莱克特。注释计算。科学。5734451--463（2009年；Zbl 1250.68191）
全文： 内政部
克里斯托弗·布劳德本特；卢克·翁

关于由高阶递归方案生成的全局模型检查树。 （英语） Zbl 1234.68252号

de Alfaro，Luca（编辑），软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。《计算机科学讲义》5504107-121（2009）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Broadbent｝和\textit｛L.Ong｝，Lect。注释计算。科学。5504107-121（2009年；Zbl 1234.68252）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件