8512 search results - page 13 / 1703 » Computing Theory With Relevance |
TPHOL
1996
IEEE
14 years 3 days ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
SIGLEX
1991
13 years 11 months ago
1991
A computationally relevant theory of lexical semantics must take into consideration both the form and the content of three different static knowledge sources -- the lexicon, the o...
DEON
2010
Springer
14 years 23 days ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
SAGT
2009
Springer
14 years 2 months ago
2009
Springer
