6978 search results - page 65 / 1396 » On Proofs in System P |
189
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
246
click to vote
TCC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We investigate whether it is possible to obtain any meaningful type of zero-knowledge proofs using a one-message (i.e., noninteractive) proof system. We show that, under ...
168
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...
194
click to vote
JAR
2010
15 years 5 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
178
click to vote
IJBC
2008
15 years 6 months ago
2008
: The main goal of this paper is to introduce part of a new approach of proving the existence of a nontrivial knot on any embedded template. This proof in branched 2-manifold case,...