On Closed Elements in Closure Algebras 论文

1946Annals of Mathematics引用 317

Logic, programming, and type systemsAlgebraic structures and combinatorial modelsAdvanced Algebra and Logic

Advanced Algebra and Logic Logic, programming, and type systems Algebraic structures and combinatorial models

相关技术:Algebraic structures and combinatorial models

2

作者

1

相关技术

0

相关事件

0

相关文章

详细信息

发表期刊/会议: Annals of Mathematics
发表日期: 1946-01-01
发表年份: 1946

关键词

Logic, programming, and type systemsAlgebraic structures and combinatorial modelsAdvanced Algebra and Logic

作者查看全部 (2)

Alfred Tarski

J. C. C. McKinsey

相关技术查看全部 (1)

Algebraic structures and combinatorial models

相关事件

暂无数据

相关文章

暂无数据