2225 search results - page 116 / 445 » Logical Structures in the Lexicon |
154
click to vote
ISMVL
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—This paper presents fundamental logic structures designed using novel quantum dot gate FETs with three-state characteristics. This three-state FET manifests itself as a ...
194
click to vote
FOSSACS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
167
click to vote
APCCAS
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— This paper proposes a novel two-phase drive adiabatic dynamic CMOS logic circuit (2PADCL). The proposed 2PADCL uses two complementary sinusoidal power supply clocks and...
171
click to vote
TARK
2005
Springer
15 years 12 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
173
click to vote
ICLP
1998
Springer
15 years 10 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...