Sciweavers

LOGCOM
2006

The Expressivity of Quantifying over Regions

13 years 3 months ago
The Expressivity of Quantifying over Regions
We categorize in recursion-theoretic terms the expressivity of a number of first-order languages that allow quantification over regions in Euclidean space. Specifically we show the following:
Ernest Davis
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where LOGCOM
Authors Ernest Davis
Comments (0)