Sciweavers

98 search results - page 1 / 20
» A Proof Theoretic Approach to Operational Semantics
Sort
View
60
Voted
ENTCS
2006
102views more  ENTCS 2006»
14 years 10 months ago
A Proof Theoretic Approach to Operational Semantics
Dale Miller
CSR
2006
Springer
15 years 2 months ago
Logic of Proofs for Bounded Arithmetic
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 ...
Evan Goris
78
Voted
LICS
2005
IEEE
15 years 3 months ago
Proof-Theoretic Approach to Description-Logic
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
Martin Hofmann
71
Voted
DLOG
2008
15 years 20 days ago
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest f...
Franz Baader, Novak Novakovik, Boontawee Suntisriv...
FMCAD
2004
Springer
15 years 3 months ago
Proof Styles in Operational Semantics
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
Sandip Ray, J. Strother Moore