机译:自由多分类代数的可识别性定理的基于同余的证明
Univ Valencia Dept Log & Filosofia Ciencia Av Blasco Ibanez 30-7a Valencia 46010 Spain;
Univ Valencia Dept Matemat Dr Moliner 50 Valencia 46100 Spain;
Free many-sorted algebra; recognizability; congruence;
机译:自由多分类代数的可识别性定理的基于同余的证明
机译:代数$ K $-理论中一些基本定理的代数证明
机译:使用B. Poonen的Bertini定理,所有线性码的简短证据是弱代数 - 几何
机译:基于逻辑翻译的多排序自由描述理论的自动定理证明
机译:代数的基本定理:历史和证明的概述。
机译:定理证明实例和规则的做法流行病学
机译:代数K-理论中几个基本定理的代数证明