The theory of ends, pushdown automata, and second-order logic 论文
1985Theoretical Computer Science引用 317
semigroups and automata theoryLogic, programming, and type systemsGeometric and Algebraic Topology
详细信息
- 发表期刊/会议
- Theoretical Computer Science
- 发表日期
- 1985-01-01
- 发表年份
- 1985
关键词
semigroups and automata theoryLogic, programming, and type systemsGeometric and Algebraic Topology