1174 search results - page 178 / 235 » A Logical Approach to Abstract Algebra |
ENTCS
2006
13 years 10 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
JELIA
1990
Springer
14 years 2 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
TPHOL
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
ICCS
2009
Springer
14 years 4 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...