3552 search results - page 261 / 711 » Proof theory in the abstract |
140
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...
147
click to vote
ECCC
2007
15 years 6 months ago
2007
Abstract. Combining classical approximability questions with parameterized complexity, we introduce a theory of parameterized approximability. The main intention of this theory is ...
159
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...
159
click to vote
AML
2002
15 years 6 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
154
click to vote
BC
1999
15 years 6 months ago
1999
Abstract. This paper discusses similarities between models of adaptive motor control suggested by recent experiments with human and animal subjects, and the structure of a new cont...