Skip to main content

On the Computability of Region−Based Euclidean Logics

Yavor Nenov and Ian Pratt−Hartmann

Book Title
CSL
Pages
439−453
Year
2010