Results 291 to 299 of about 38,385 (299)

Molecular logic and computing

Nature Nanotechnology, 2007
Amilra Prasanna De Silva
exaly  

Enzyme-based logic systems for information processing

Chemical Society Reviews, 2010
Evgeny Katz, Vladimir Privman
exaly  

Quantitative and logic modelling of molecular and gene networks

Nature Reviews Genetics, 2015
Nicolas Le Novère
exaly  

Concerning Kripke semantics for intermediate predicate logics

2019
In Proc. Japan Acad. 49, 337-340 (1973; Zbl 0276.02037), \textit{S. Nagai} introduced a new type of semantics for intermediate predicate logics, which \textit{H. Ono} and \textit{S. Nagai} [J. Tsuda College 6, 9-21 (1974)] termed the general Kripke models.
openaire   +2 more sources

Smart molecules at work—mimicking advanced logic operations

Chemical Society Reviews, 2010
Joakim Andréasson, Uwe Pischel
exaly  

Complex cellular logic computation using ribocomputing devices

Nature, 2017
Alexander A Green, Jongmin Kim, Pamela A Silver   +2 more
exaly  

Proposal for an all-spin logic device with built-in memory

Nature Nanotechnology, 2010
Behtash Behin-Aein, Deepanjan Datta
exaly  

The Logic of Intermediate Steps

The Journal of Philosophy, 1925
openaire   +1 more source

Negation-free intermediate predicate logics

1983
E. Casari, MINARI, PIERLUIGI
openaire   +2 more sources