12774 search results - page 131 / 2555 » A Framework for Proof Systems |
125
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
123
click to vote
APAL
2008
15 years 4 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...
162
click to vote
SYNASC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
146
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
136
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...