×

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

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

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

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

一种不同寻常的时间逻辑。 （英语） 兹比尔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 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）
全文： 内政部
亚历山大·拉比诺维奇

线性时域上的时间逻辑在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 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）
全文： 内政部
斯特凡·德姆里;亚历山大·拉比诺维奇

具有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 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年；兹bl 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.Hirschfeld｝和\textit｛A.Rabinovich｝，Lect。注释计算。科学。3967211-220（2006年；Zbl 1185.03021）
全文： 内政部 arXiv公司
亚历山大·拉比诺维奇

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

Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2421, 57-75 (2002).
MSC公司：03B44号 68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。注释计算。科学。2421，57-75（2002；Zbl 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）
约拉姆州赫什菲尔德;亚历山大·拉比诺维奇

定量时间逻辑。 （英语） Zbl 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）
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇

可判定韵律逻辑的框架。 （英语） 兹伯利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）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段