...
机译:π演算的自由代数模型
Denotational semantics; Concurrency; Computational monads; Lawvere theories; Nominal sets;
机译:π演算的自由代数模型
机译:在稳定模型的一般理论和答案集编程中重新制定情境演算和事件演算
机译:纤维化的分数演算模型。 Martine Ben Amar和Carlo Bianca对“在纤维化建模中采用统一方法:具有研究观点的评论”的评论
机译:用于π微积分的自由algebra模型
机译:使用基于分数微积分的随机模型来量化多孔和裂缝介质中的非Fickian运输
机译:分数微积分对铁电聚合物复合材料的非线性行为建模:粘弹性和介电
机译:π演算的自由代数模型