The University of Nebraska - Lincoln.;
机译:分类抽象代数逻辑:分类Suszko运算符
机译:在算法的扩展代数框架内将运算符与数据之间的相互关系形式化
机译:分类抽象代数逻辑:PoFunctors类上的闭包算子-亚美尼亚数学杂志
机译:关于多级转移运算符的代数构造(对流扩散反应方程)
机译:伪极限,双伴随和伪代数:共形场论的分类基础。
机译:半简单李代数上的Rota–Baxter算子和后李代数结构
机译:算子扰动理论的代数公式。第2部分。 aplications
机译:在建构微积分中形式化过程代数验证