机译：关于μ演算的逻辑问题：插值，lyndon和los-tarski
机译：关于μ演算的逻辑问题：插值，lyndon和los-tarski
机译：图解非球面度与Cohen-Lyndon非球面度之间的逻辑区别
机译：命题模态逻辑的统一林登插值属性
机译：使用标记后继计算来证明Craig和Lyndon插值
机译：情境演算中联合能力的逻辑理论。
机译：使用FHIR构建带有逻辑形式和答案注释的临床问题的语料库
机译：特殊功率系列的数值评估，包括Lyndon单词的数量：对阿川型数量和多项式的插值函数的方法
机译：问题问题机器：问题的逻辑和探究微积分
