Concepedia

Axiomatizing the next-interior fragment of dynamic topological logic

Philip Kremer, Grigori Mint︠s︡, V. I. Rybakov

1997 · 10 citations · 0 references

Concepts