3552 search results - page 300 / 711 » Proof theory in the abstract |
140
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
154
click to vote
AML
2004
15 years 6 months ago
2004
Abstract. Product logic is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0, 1], while Cancellative hoop logic CHL ...
134
click to vote
ANOR
2002
15 years 6 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
157
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
146
click to vote
SCL
2010
15 years 5 months ago
2010
Abstract. In this paper we consider a boundary stabilization problem for the wave equation with interior delay. We prove an exponential stability result under some Lions geometric ...