2137 search results - page 198 / 428 » Proving Abstract Non-interference |
129
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
135
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
122
Voted
MFCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
157
click to vote
MKM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
129
Voted
MKM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...