DMCA

On the Computability of Region-Based Euclidean Logics

by Yavor Nenov , Ian Pratt-hartmann
Citations:2 - 1 self