Sciweavers

2225 search results - page 38 / 445
» Logical Structures in the Lexicon
Sort
View
KGC
1993
Springer
14 years 2 months ago
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs
Vincent Danos, Jean-Baptiste Joinet, Harold Schell...
ISLPED
1995
ACM
84views Hardware» more  ISLPED 1995»
14 years 1 months ago
Explicit evaluation of short circuit power dissipation for CMOS logic structures
S. Turgis, Nadine Azémard, Daniel Auvergne