2012 search results - page 71 / 403 » CORAL - Control, Relations and Logic |
158
click to vote
SARA
2009
Springer
16 years 26 days ago
2009
Springer
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...
129
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
175
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper describes the folding method of logic functions to reduce the size of memories for keeping the functions. The folding is based on the relation of fractions of logic func...
159
click to vote
APAL
2007
15 years 6 months ago
2007
We develop duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces. We show that these binary relations are in 1–1 correspondence with subframe...
152
click to vote
HVC
2007
Springer
16 years 14 days ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...