13383 search results - page 270 / 2677 » Abstractions from proofs |
171
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
187
Voted
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
116
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise seg...
156
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...
176
click to vote
COMMA
2006
15 years 8 months ago
2006
Abstract. This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is ...