亚历山大·拉比诺维奇 用一元谓词展开\((\mathbb{N},<)\)的Church问题。 (英语) Zbl 1285.03005号 Inf.计算。 218, 1-16 (2012). 审核人:Mihai Prunescu(布加勒斯特) MSC公司:03B25号 03B15号机组 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。218,1--16(2012;Zbl 1285.03005) 全文: 内政部
亚历山大·拉比诺维奇 有限状态和可定义获胜策略的综合。 (英语) 兹比尔1250.03015 Kannan,Ravi(ed.)等人,2009年12月15日至17日在印度坎普尔举行的IARCS软件技术和理论计算机科学基础年会(FSTTCS 2009)。瓦登:达格斯图尔宫(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) 全文: 内政部
亚历山大·拉比诺维奇 可数序数的教会问题。 (英语) Zbl 1168.03006号 日志。方法计算。科学。 5,第2期,论文5,19页(2009年).MSC公司:03B25号 05年3月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},日志。方法计算。科学。5,第2号,论文5,19页(2009年;Zbl 1168.03006) 全文: 内政部