2152 search results - page 57 / 431 » On Automating the Calculus of Relations |
LICS
1987
IEEE
15 years 4 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
102
Voted
CL
2002
Springer
15 years 13 days ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
93
Voted
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...
109
Voted
IJAR
2002
15 years 12 days ago
2002
The mathematics of belief functions can be handled with the use of the matrix notation. This representation helps greatly the user thanks to its notational simplicity and its effi...
91
Voted
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...