On the Computability of Region−Based Euclidean Logics
Yavor Nenov and Ian Pratt−Hartmann
Book Title
Computer Science Logic‚ 24th International Workshop‚ CSL 2010‚ 19th Annual Conference of the EACSL‚ Brno‚ Czech Republic‚ August 23−27‚ 2010. Proceedings
Pages
439–453
Year
2010