10916 search results - page 379 / 2184 » On Constructive Connectives and Systems |
226
click to vote
CLUSTER
2004
IEEE
15 years 11 months ago
2004
IEEE
Single system image(SSI) systems have been the mainstay of high-performance computing for many years. SSI requires the integration and aggregation of all types of resources in a c...
214
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
152
click to vote
APAL
2002
15 years 7 months ago
2002
In this paper we discuss extensions of Feferman's theory T0 for explicit mathematics by the so-called limit and Mahlo axioms and present a novel approach to constructing natu...
194
Voted
IANDC
2000
15 years 7 months ago
2000
Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...
203
click to vote
IEEECIT
2010
IEEE
15 years 6 months ago
2010
IEEE
—The great appliance of engineering makes it different from other common subjects in teaching methods. This paper puts forward a concept of case learning that is constructed with...