Results 341 to 346 of about 2,358,795 (346)
Some of the next articles are maybe not open access.
Smart molecules at work—mimicking advanced logic operations
Chemical Society Reviews, 2010Joakim Andréasson, Uwe Pischel
exaly
Interpolation for fragments of intermediate logics
1985Our task is to prove the following theorem. There exists a family \({\mathfrak F}\) of propositional fragments such that \(| {\mathfrak F}| =2^{\aleph_ 0}\), each fragment of \({\mathfrak F}\) contains the implication connective and for every logic L satisfying INT\(\subseteq L\subsetneqq CL\) (INT \(=\) intuitionistic propositional logic, CL ...
openaire +2 more sources
Proposal for an all-spin logic device with built-in memory
Nature Nanotechnology, 2010Behtash Behin-Aein, Deepanjan Datta
exaly
Complex cellular logic computation using ribocomputing devices
Nature, 2017Alexander A Green +2 more
exaly
Small footprint transistor architecture for photoswitching logic and in situ memory
Nature Nanotechnology, 2019Chunsen liu, Xiang Hou, Peng Zhou
exaly