阿普特,克日什托夫R。;奥尔德罗格(Ernst-Rüdiger Olderog) 霍尔50年的逻辑。 (英语) Zbl 1427.68008号 正式Asp。计算。 31,第6号,751-807(2019).MSC公司:68-03 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.-R.Olderog},正式Asp。计算。31,第6号,751--807(2019;Zbl 1427.68008) 全文: 内政部 arXiv公司 链接
阿普特,克日什托夫R。;尼西姆·弗朗西兹;Shmuel Katz 评估分布式编程语言的公平性。 (英语) Zbl 0659.68023号 分布计算。 2,第4期,226-241(1988).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《分布计算》。2,第4号,226--241(1988;Zbl 0659.68023) 全文: 内政部
Krysztof R.阿普特。;A.普努利。;J.斯塔维。 重新审查公平终止——有延迟。 (英语) Zbl 0542.68015号 西奥。计算。科学。 33, 65-84 (1984).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,Theor。计算。科学。33、65-84(1984年;Zbl 0542.68015) 全文: 内政部
阿普特,克日什托夫R。 霍尔逻辑十年:一项调查。II: 非决定论。 (英语) Zbl 0523.68015号 西奥。计算。科学。 28, 83-109 (1984).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},Theor(西奥)。计算。科学。28,83--109(1984年;Zbl 0523.68015) 全文: 内政部