258 search results - page 4 / 52 » Proof Styles in Operational Semantics |
ENTCS
2006
14 years 9 months ago
2006
96
Voted
IS
2006
14 years 9 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
ENTCS
2006
14 years 9 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
77
Voted
JANCL
2007
14 years 9 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
CSR
2006
Springer
15 years 1 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...