611 search results - page 12 / 123 » Yuri, Logic, and Computer Science |
CSR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
125
click to vote
TLCA
1993
Springer
15 years 1 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
61
Voted
DLT
2009
14 years 7 months ago
2009
We aim to generalize B
65
Voted
DIS
1998
Springer
15 years 1 months ago
1998
Springer