...
Coalgebra; minimal coalgebra; Moore-automata; Products; Modal logic; Coalgebraic logic;
机译:关于极小代数
机译:π演算的结构化的代数和最小的高清自动机
机译:有关Cockgtered Coolgebras,Conilpotent Coolgebras和Hopf代数的注释
机译:π-微积分,结构化的聚池和最小高清自动机
机译:高阶代数和余数。
机译:健康状况调查表中的最小变化:最小可检测变化和最小重要变化之间的区别
机译:π演算的结构化的代数和最小的高清自动机