Winchester, UK – Linear Technology has licensed Virage Logic's AEON embedded non-volatile memory (NVM) solution for use in Linear Technology's high-performance analog and power management ICs used in ...
NOUVELLE SÉRIE, Vol. 39, No. 153/154, CONTEMPORARY BRAZILIAN RESEARCH IN LOGIC: Part I (Mars - Juin 1996), pp. 113-151 (39 pages) Logique et Analyse is an international, peer-reviewed journal that ...
Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normalform theorems. On the basis of these ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results