...
机译:概率系统的痕量语义的健全和完全公理化
probabilistic systemstrace semanticsaxiomatizationcoalgebra;
机译:连续概率转移系统的余弦轨迹语义
机译:概率Mu演算:可判定性和完全公理化
机译:健全而完整的多数公理化-逻辑
机译:分隔持续的声音和完整的公理化
机译:身份保护和可追溯性:从谷物角度(农业质量体系的状态/可追溯性/认证体系)的最新状态。
机译:PROTAX-Sound:自动动物声音识别的概率框架
机译:概率系统的痕量语义的合理和完全公理化
机译:具有记忆的程序之间操作等效的完整公理化