6978 search results - page 65 / 1396 » On Proofs in System P |
CAISE
2004
Springer
14 years 3 months 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 ...
TCC
2004
Springer
14 years 3 months 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 ...
CADE
2010
Springer
13 years 10 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 ...
JAR
2010
13 years 8 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...
IJBC
2008
13 years 9 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,...