3053 search results - page 168 / 611 » A Logic of Abstract Argumentation |
154
click to vote
ISMVL
2008
IEEE
16 years 1 months 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 ...
174
click to vote
CONCUR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
205
click to vote
FOSSACS
2007
Springer
16 years 23 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...
199
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
167
click to vote
APCCAS
2006
IEEE
16 years 20 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...