837 search results - page 21 / 168 » Proof Development with OMEGA |
111
Voted
MKM
2007
Springer
15 years 8 months ago
2007
Springer
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
105
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
124
Voted
ENTCS
2002
15 years 1 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
131
Voted
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
118
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...