Narrow Search
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Automata
1
Fix-points
1
Infinite trees
1
Mostowski
1
Rabin
1
Stone duality
1
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
1
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
1
[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]
1
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
1
[MATH.MATH-GN]Mathematics [math]/General Topology [math.GN]
1
equational theory
1
profinite topology
1
regular language
1
see all ...