12774 search results - page 386 / 2555 » A Framework for Proof Systems |
160
click to vote
ENTCS
2002
15 years 7 months ago
2002
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...
193
click to vote
NGC
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
217
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
210
click to vote
JAPLL
2010
15 years 2 months ago
2010
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
323
click to vote
ESOP
2011
Springer
14 years 11 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...