[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || On cylindric algebraic model theory
Bergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L.
- 作者Bergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L.
- 文件大小2780.14KB
- 发表时间1990
- DOI10.1007/bfb0043078
- 页码37-75