当前位置:文档下载 > 所有分类 > Birkhoff Theorem for Many Sorted Algebras
侵权投诉

Birkhoff Theorem for Many Sorted Algebras

Summary. In this article Birkhoff Variety Theorem for many sorted algebras is proved. A class of algebras is represented by predicate P. Notation P[A], where A is an algebra, means that A is in class P. All algebras in our class are many sorted over many s

第1页

免费下载Word文档免费下载:Birkhoff Theorem for Many Sorted Algebras

(下载1-6页,共6页)

我要评论

TOP相关主题

返回顶部