6355 search results - page 205 / 1271 » From Logic to Games |
151
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
173
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
199
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
170
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we propose a new logic synthesis methodology to deal with the increasing importance of the interconnect delay in deepsubmicron technologies. We first show that conv...
147
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...