1805 search results - page 24 / 361 » A Theory of Closure Operators |
93
Voted
MLQ
2006
15 years 3 months ago
2006
This paper is a companion to work of Feferman, J
104
Voted
APAL
2007
15 years 4 months ago
2007
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
135
click to vote
STOC
2010
ACM
15 years 8 months ago
2010
ACM
We propose a new framework for discussing computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represente...
127
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
149
click to vote
FOIS
2006
15 years 5 months ago
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...