2501 search results - page 75 / 501 » Logics with Rank Operators |
86
Voted
NDSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...
97
Voted
LISP
2008
15 years 20 days ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
91
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean `the reasoner has at least n different beliefs'. The resul...
97
Voted
IJAR
2008
15 years 22 days ago
2008
This paper presents new techniques for performing logical operations on type-2 fuzzy sets. These techniques make significant use of geometric methods to give, for the first time, ...
ICFP
2006
ACM
16 years 20 days ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...