×

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

最新的 引文 关联
亚历山大·拉比诺维奇

时间和一阶度量逻辑的表达能力。 （英语） Zbl 07614729号

安德烈亚斯·布拉斯（编辑）等人，《逻辑与计算领域III》，纪念尤里·古雷维奇80岁生日的文章。查姆：斯普林格。莱克特。票据计算。科学。12180, 226-246 (2020).
MSC公司：03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。12180，226--246（2020；Zbl 07614729）
全文： 内政部
亚历山大·拉比诺维奇

一种不同寻常的时间逻辑。 （英语） Zbl 1400.03035号

Chatterjee，Krishnendu（编辑）等人，2013年计算机科学数学基础。2013年8月26日至30日，第38届国际研讨会，MFCS 2013，奥地利克洛斯特内堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40312-5/pbk）。计算机科学课堂讲稿8087，741-752（2013）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。8087、741--752（2013年；Zbl 1400.03035）
全文： 内政部
亚历山大·拉比诺维奇；萨沙·鲁宾

在树枝数不清的树上进行解释。 （英语） Zbl 1364.03017号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。551-560 (2012).
MSC公司：03B15号机组 05二氧化碳
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}和\textit{S.Rubin}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。551-560（2012；Zbl 1364.03017）
全文： 内政部
亚历山大·拉比诺维奇

坎普定理的证明。 （英语） Zbl 1252.03039号

Cégielski，Patrick（编辑）等人，《计算机科学逻辑》（CSL’12）。2012年9月3日至6日，在法国枫丹白露举行的第21届EACSL年会第26届国际研讨会。根据会议上的陈述选择论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-42-2）。LIPIcs–莱布尼茨国际信息学会议录16，516-527，仅电子版（2012）。
MSC公司：03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，LIPIcs——莱布尼茨国际程序。通知。16516-527（2012；Zbl 1252.03039）
全文： 内政部
多里特·帕尔多（奥登特里希）；亚历山大·拉比诺维奇

实域上“几乎未来”时间逻辑的有限基础。 （英语） Zbl 1365.03018号

Rovan，Branislav（编辑）等人，《2012年计算机科学的数学基础》。2012年8月27日至31日，斯洛伐克布拉迪斯拉发，第37届国际研讨会，MFCS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32588-5/pbk）。计算机科学课堂讲稿7464，740-751（2012）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Pardo（Ordentlich）}和\textit{A.Rabinovich}，莱克特。票据计算。科学。7464、740--751（2012年；Zbl 1365.03018）
全文： 内政部
马克·詹金斯；约尔·瓦克宁；亚历山大·拉比诺维奇；詹姆斯·沃雷尔

度量的Church综合问题。 （英语） Zbl 1247.68166号

Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，307-321，仅电子版（2011年）。
MSC公司：60年第68季度 03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Jenkins}等人，LIPIcs——莱布尼茨国际程序。通知。12307-321（2011年；兹bl 1247.68166）
全文： 内政部 链接
Bès，亚历克西斯；亚历山大·拉比诺维奇

标记线性序的可判定展开式。 （英语） Zbl 1287.03025号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，95-107（2010）。
MSC公司：03B25号 06年05月
PDF格式BibTeX公司 XML格式引用
\textit{A.Bès}和\textit{A.Rabinovich}，莱克特。票据计算。科学。6300，95-107（2010年；兹比尔1287.03025）
全文： 内政部 arXiv公司
亚历山大·拉比诺维奇

线性时域上的时间逻辑在PSPACE中。 （英语） Zbl 1287.68081号

库切拉，安东宁（编辑）等人，《可达性问题》。2010年8月28日至29日，第四届国际研讨会，RP 2010，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15348-8/pbk）。计算机科学课堂讲稿622729-50（2010）。
MSC公司：65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。6227、29--50（2010年；Zbl 1287.68081）
全文： 内政部
亚历山大·拉比诺维奇

有限状态和可定义获胜策略的综合。 （英语） Zbl 1250.03015号

Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，359-370，仅电子版（2009年）。
MSC公司：03B25号 05年3月 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，LIPIcs——莱布尼茨国际程序。通知。4359-370（2009年；Zbl 1250.03015）
全文： 内政部 链接
亚历山大·拉比诺维奇

教会问题的决定性延伸。 （英语） Zbl 1257.03034号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771，424-439（2009）。
MSC公司：03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。5771、424--439（2009年；Zbl 1257.03034）
全文： 内政部
Bárány，文斯；凯撒，乌卡斯；亚历山大·拉比诺维奇

树上MLO中的基数量词。 （英语） Zbl 1257.03062号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771117-131（2009）。
MSC公司：03C80号 03B25号 03B70号 05年3月 03E15年 03E50型
PDF格式BibTeX公司 XML格式引用
\textit{V.Bárány}等人，Lect。票据计算。科学。5771、117--131（2009年；Zbl 1257.03062）
全文： 内政部
约尔·瓦克宁；亚历山大·拉比诺维奇；詹姆斯·沃雷尔

有时限的验证。 （英语） 兹比尔1254.68151

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710496-510（2009）。
MSC公司：60年第68季度 03B25号 05年3月 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}等人，Lect。票据计算。科学。5710496-510（2009年；Zbl 1254.68151）
全文： 内政部
亚历山大·拉比诺维奇

具有计数和普努利模态的度量时间逻辑的复杂性。 （英语） Zbl 1171.03313号

Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。《计算机科学讲义》5215，93-108（2008）。
MSC公司：03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。5215，93--108（2008；Zbl 1171.03313）
全文： 内政部
亚历山大·拉比诺维奇；阿米特·肖姆拉特

序数一元理论中的选择和一致化问题：综述。 （英语） Zbl 1133.03313号

Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800，571-588（2008）。
MSC公司：03B15号机组 03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}和\textit{A.Shomrat}，莱克特。票据计算。科学。4800、571--588（2008年；Zbl 1133.03313）
全文： 内政部
亚历山大·拉比诺维奇；沃尔夫冈·托马斯

教会问题的逻辑完善。 （英语） Zbl 1179.03038号

Duparc，Jacques（编辑）等人，《计算机科学逻辑》。2007年9月11日至15日在瑞士洛桑举行的第21届CSL国际研讨会，EACSL第16届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74914-1/pbk）。计算机科学课堂讲稿4646，69-83（2007）。
MSC公司：03B70号 05年3月 60年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}和\textit{W.Thomas}，莱克特。票据计算。科学。4646，69-83（2007年；兹bl 1179.03038）
全文： 内政部
斯特凡·德姆里；亚历山大·拉比诺维奇

具有until和since超过序数的时序逻辑的复杂性。 （英语） Zbl 1137.03308号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，531-545（2007）。
MSC公司：03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Demri}和\textit{A.Rabinovich}，莱克特。票据计算。科学。4790、531--545（2007年；Zbl 1137.03308）
全文： 内政部 哈尔
亚哈龙·阿巴迪；亚历山大·拉比诺维奇；穆利·萨吉夫

多种逻辑的可决定碎片。 （英语） Zbl 1137.03302号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，17-31（2007）。
MSC公司：03B10号机组 03B25号 03B35型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Abadi}等人，Lect。票据计算。科学。4790，17-31（2007；Zbl 1137.03302）
全文： 内政部
格雷塔·约什；亚历山大·拉比诺维奇；穆利·萨吉夫；安托万·梅耶；艾哈迈德·博阿贾尼

链接数据结构中可访问模式的逻辑。 （英语） Zbl 1121.03040号

J.日志。阿尔盖布。程序。 73，编号1-2，111-142（2007）.
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Yorsh｝等人，J.Log。阿尔盖布。程序。73，编号1--2，111-142（2007；Zbl 1121.03040）
全文： 内政部 arXiv公司
亚历山大·拉比诺维奇；沃尔夫冈·托马斯

带有一元谓词的自然数排序的可判定理论。 （英语） Zbl 1225.03013号

埃西克，佐尔坦（编辑），《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会，第15届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45458-8/pbk）。计算机科学讲义4207，562-574（2006）。
MSC公司：03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}和\textit{W.Thomas}，莱克特。票据计算。科学。4207、562--574（2006；Zbl 1225.03013）
全文： 内政部
亚历山大·拉比诺维奇

带参数的Church综合问题。 （英语） Zbl 1167.03026号

埃西克，佐尔坦（编辑），《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会，第15届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45458-8/pbk）。计算机科学课堂讲稿4207，546-561（2006）。
MSC公司：05年3月 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。42071546-561（2006年；兹bl 1167.03026）
全文： 内政部 arXiv公司
亚历山大·拉比诺维奇

实时逻辑的可决定性和表达能力。 （英语） Zbl 1140.03304号

Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学课堂讲稿4202，32（2006）。
MSC公司：03B44号 03B25号 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。4202、32（2006年；Zbl 1140.03304）
全文： 内政部
约拉姆·赫什菲尔德；亚历山大·拉比诺维奇

实时表达的时序逻辑。 （英语） Zbl 1132.03323号

Králović，Rastislav（编辑）等人，《2006年计算机科学的数学基础》。2006年8月28日至9月1日在斯洛伐克斯塔拉莱斯纳举行的2006年MFCS第31届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37791-3/pbk）。计算机科学讲稿4162492-504（2006）。
MSC公司：03B44号 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Hirshfeld}和\textit{A.Rabinovich}，莱克特。票据计算。科学。4162492--504（2006年；Zbl 1132.03323）
全文： 内政部
约拉姆·赫什菲尔德；亚历山大·拉比诺维奇

连续时间度量模式的表达。 （英语） Zbl 1185.03021号

Grigoriev，Dima（编辑）等人，《计算机科学——理论与应用》。2006年6月8日至12日在俄罗斯圣彼得堡举行的首届国际计算机科学研讨会，CSR 2006。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34166-8/pbk）。计算机科学课堂讲稿3967211-220（2006）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Hirshfeld}和\textit{A.Rabinovich}，莱克特。票据计算。科学。3967211-220（2006年；Zbl 1185.03021）
全文： 内政部 arXiv公司
格雷塔·约什；亚历山大·拉比诺维奇；穆利·萨吉夫；安托万·梅耶；艾哈迈德·博阿贾尼

链接数据结构中可访问模式的逻辑。 （英语） Zbl 1180.68131号

Aceto，Luca（编辑）等人，《软件科学和计算结构基础》。2006年3月25日至31日在奥地利维也纳举行的第九届国际会议FOSSACS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33045-3/pbk）。计算机科学课堂讲稿392194-110（2006）。
MSC公司：68第05页 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Yorsh}等人，Lect。票据计算。科学。3921、94-110（2006年；Zbl 1180.68131）
全文： 内政部
丹尼尔·博基尔；约拉姆·赫什菲尔德；亚历山大·拉比诺维奇；阿纳托尔·斯利森科

概率嵌套游戏。 （英语） Zbl 1270.03050号

Nestmann，Uwe（编辑）等人，EXPRESS’02。第九届并发表现力国际研讨会论文，2002年8月19日，捷克共和国布尔诺。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，第4-14页（2002年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Beauquier}等人，《电子》。注释Theor。计算。科学。68，第2、4--14号（2002年；Zbl 1270.03050）
全文： 内政部
丹尼尔·博基尔；亚历山大·拉比诺维奇；阿纳托尔·斯利森科

具有可判定模型检查的概率逻辑。 （英语） Zbl 1021.03013号

朱利安·布拉德菲尔德（编辑），《计算机科学逻辑》。第16届国际研讨会，CSL 2002，EACSL第11届年会，苏格兰爱丁堡，英国，2002年9月22日至25日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2471, 306-321 (2002).
MSC公司：03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Beauquier}等人，Lect。票据计算。科学。2471306--321（2002；Zbl 1021.03013）
全文： 链接
亚历山大·拉比诺维奇

时间逻辑的表达能力。 （英语） Zbl 1012.03027号

Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第13届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2421, 57-75 (2002).
MSC公司：03B44号 68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。2421，57-75（2002年；兹bl 1012.03027）
全文： 链接
亚历山大·拉比诺维奇；沙哈尔·茂兹

为什么这么多时间逻辑爬上了树？ （英语） Zbl 0996.68112号

尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1893, 629-639 (2000).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}和\textit{S.Maoz}，莱克特。票据计算。科学。1893629-639（2000年；Zbl 0996.68112）
约拉姆·赫什菲尔德；亚历山大·拉比诺维奇

定量时间逻辑。 （英语） 兹伯利0943.03017

Flum，Jörg（编辑）等人，《计算机科学逻辑》。第十三届国际研讨会，CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1683, 172-187 (1999).
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Hirshfeld}和\textit{A.Rabinovich}，莱克特。票据计算。科学。1683172--187（1999；Zbl 0943.03017）
约拉姆·赫什菲尔德；亚历山大·拉比诺维奇

可判定韵律逻辑的框架。 （英语） Zbl 0939.03023号

Wiedermann，Jiří（编辑）等人，《自动化、语言和编程》。第26届国际学术讨论会，ICALP’99。捷克共和国布拉格，1999年7月11日至15日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1644, 422-432 (1999).
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Hirshfeld}和\textit{A.Rabinovich}，莱克特。票据计算。科学。1644、422--432（1999；Zbl 0939.03023）
亚历山大·拉比诺维奇

动作时序逻辑的表达完整性。 （英语） Zbl 0912.03011号

Brim，Luboš（编辑）等人，《计算机科学的数学基础》，1998年。第23届国际研讨会，MFCS’98。1998年8月24日至28日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1450, 229-238 (1998).
MSC公司：03B45 2010年第68季度 03B70号 03B15号机组 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。1450、229--238（1998年；Zbl 0912.03011）
亚历山大·拉比诺维奇

关于持续时间和平均值计算的表达完整性。 （英语） Zbl 0911.68138号

Palamidessi，C.（编辑）等人，EXPRESS’97。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。第7、14页（1997年）。
MSC公司：60年第68季度 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，in：EXPRESS'97。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔。第14页（1997；Zbl 0911.68138）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件