4401 search results - page 139 / 881 » Computing with Default Logic |
DAIS
2003
13 years 10 months ago
2003
Abstract. Grid computing promises the ability to connect geographically and organizationally distributed resources to increase eective computational power, resource utilization, a...
134
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
ENTCS
2006
13 years 9 months ago
2006
The -calculus is destructive: its main computational mechanism
CSR
2010
Springer
14 years 1 months ago
2010
Springer
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : Ï•(t), which have self-referential meanings. In this paper, “prehistoric phenomenaâ€...
BIRTHDAY
2006
Springer
14 years 21 days ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...