×

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

最新的 引文 关联
奥尔纳库普弗曼;所罗门·西克特

证明无法表达。 （英语） Zbl 07410435号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 385-405 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛O.Kupferman｝和\textit｛S.Sickert｝，Lect。注释计算。科学。12650385--405（2021；Zbl 07410435）
全文： 内政部 arXiv公司
奥尔纳·库普弗曼;奥费尔·莱斯科维茨

关于重复语言。 （英语） Zbl 07559430号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第59条，第14页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{O.Leshkowitz}，LIPIcs——莱布尼茨国际程序。通知。170，第59条，第14页（2020；Zbl 07559430）
全文： 内政部
克里斯托夫·Löding;安东·皮罗戈夫

确定Büchi自动机的新优化和启发式方法。 （英语） Zbl 1437.68101号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781317-333（2019年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Löding}和\textit{A.Pirogov}，莱克特。注释计算。科学。11781317--333（2019年；Zbl 1437.68101）
全文： 内政部 arXiv公司
亚历山大·韦内特

基于树自动机的VLDL可满足性和模型检查。 （英语） Zbl 1491.68114号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第47条，第13页（2018年）。
MSC公司：60年第68季度 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Weinert}，LIPIcs——莱布尼茨国际程序。通知。93，第47条，第13页（2018；Zbl 1491.68114）
全文： 内政部 arXiv公司
乌迪·博克;奥尔纳·库普弗曼;Micha Skrzypczak

游戏自动机的确定性如何？ （英语） Zbl 1491.68096号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第18条，第14页（2018年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}等人，LIPIcs——莱布尼茨国际程序。通知。93，第18条，第14页（2018；Zbl 1491.68096）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格

交替Büchi游戏的（O（n^2））时间算法。 （英语） Zbl 1421.68110号

Rabani，Yuval（编辑），第23届ACM-SIAM离散算法年度研讨会论文集，SODA 2012，日本京都，2012年1月17日至19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1386-1399 (2012).
MSC公司：68兰特 05C85号 68瓦40 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{M.Henzinger}，摘自：第23届年度ACM-SIAM离散算法研讨会论文集，SODA 2012，日本京都，2012年1月17-19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1386——1399（2012；Zbl 1421.68110）
全文： arXiv公司 链接
乌迪·博克;奥尔纳库普弗曼

寻求将Büchi严格翻译为co-Bu chi automata。 （英语） Zbl 1287.68092号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学课堂讲稿6300，147-164（2010）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛U.Boker｝和\textit｛O.Kupferman｝，Lect。注释计算。科学。6300、147--164（2010年；Zbl 1287.68092）
全文： 内政部
彼得·柯林斯;伊万·萨普雷夫。

离散时间和连续空间动态系统的可计算CTL（^{*}）。 （英语） Zbl 1260.68229号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797107-119（2009）。
MSC公司：60年第68季度 03B44号 03D75号
PDF格式BibTeX公司 XML格式引用
\textit{P.Collins}和\textit{I.S.Zaprev}，莱克特。注释计算。科学。5797、107——119（2009年；Zbl 1260.68229）
全文： 内政部 链接
莫舍·瓦尔迪。

重温自动化理论模型检查。 （英语） Zbl 1132.68483号

Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。《计算机科学讲义》4349137-150（2007）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。4349137-150（2007年；Zbl 1132.68483）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件