2303 search results - page 337 / 461 » On the logic of argumentation theory |
166
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
155
click to vote
GLVLSI
2007
IEEE
16 years 24 days ago
2007
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. Such reversible functions are realized as a cascade of Toffoli gates. In th...
164
click to vote
FCT
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
171
click to vote
PPDP
2007
Springer
16 years 17 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
181
click to vote
PPDP
2007
Springer
16 years 17 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...