图书章节

Representability and Independence 收藏

代表性和独立性
摘要
The following sections are included: Representability of Abstract Fork Algebras Independence of the Axiomatization of Fork
摘要译文
包括以下部分:抽象叉代数的可表示性叉的公理化的独立性
Marcelo Fabián Frias[1]. Representability and Independence. Fork Algebras in Algebra, Logic and Computer Science[M].SG: WS, 2002: 37–48