CENTRIA, Universidade Nova de Lisboa, Portugal;
CENTRIA, Universidade Nova de Lisboa, Portugal;
机译:行为等效逻辑的预一致和参数化归纳
机译:FL上子结构逻辑的代数化,参数化局部推导定理和插值
机译:逻辑程序的参数化语义-统一框架
机译:参数化均衡逻辑
机译:标点平衡与中国污染治理的逻辑:地级分析。
机译:具有模糊逻辑的Petri网(PNFL):逆向工程和参数化
机译:具有模糊逻辑的Petri网(PNFL):逆向工程和参数化
机译:平衡电荷态分布宽度对重反射谱参数化的影响