1950 search results - page 114 / 390 » Lambda-Free Logical Frameworks |
201
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
178
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
163
click to vote
CADE
1994
Springer
15 years 11 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
194
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
191
Voted
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Mobile technologies, due to their ubiquitous nature, play an important role in supporting health care. However, it is not easy to design useful integrated mobile services without ...