施温哈默（Jan Schwinghammer）;拉尔斯·比克达尔;弗朗索瓦·波蒂埃;罗伊斯，伯恩哈德;克里斯蒂安·斯特夫林;杨红seok 阶梯诱导的隐态克里普克模型。 （英语） Zbl 1276.03029号 数学。结构。计算。科学。 23，第1期，1-54页（2013年）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Schwinghammer}等人，数学。结构。计算。科学。23，第1号，1-54（2013；Zbl 1276.03029） 全文： 内政部
拉尔斯·比克达尔;罗伊斯，伯恩哈德;施温哈默（Jan Schwinghammer）;克里斯蒂安·斯特夫林;雅各布·塔姆斯堡;杨红seok 递归世界上的阶跃Kripke模型。 （英语） Zbl 1284.68102号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。119-132 (2011).MSC公司：68甲15 03B70号 68号30 68问题55 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。119-132（2011年；Zbl 1284.68102） 全文： 内政部 链接