机译:与Saul Kripke一起切丁
机译:限制语言中线性Kripke帧的一阶模态逻辑的算法属性
机译:交叉配方的Kripke语义
机译:二维小子扩散方程的显式Saul'yev有限差分近似
机译:克里普克的怀疑悖论和语义规范性(Saul Kripke)。
机译:回复Kripke&Langer的危害证据评论……
机译:关于扫罗克里普克/思考的思想命名的思考扫铁克里普克语言理解的思考
机译:国家大坝检查计划。 saul Run Dam(NDI号码pa-00251,pennDER Number 43-48),俄亥俄河流域,saul Run,mercer县,宾夕法尼亚州。第一阶段检查报告。