The theory of ends, pushdown automata, and second-order logic 论文

1985Theoretical Computer Science引用 317
DOI
semigroups and automata theoryLogic, programming, and type systemsGeometric and Algebraic Topology
Logic, programming, and type systemssemigroups and automata theoryGeometric and Algebraic Topology
关系图谱

The theory of ends, pushdown automata, and second-order logic · 相关事件

暂无数据