Results 201 to 210 of about 862,810 (224)

Predicate Logic

1999
openaire   +1 more source

Specification and verification of digital systems using higher-order predicate logic

, 1986
F. Hanna, N. Daeche
semanticscholar   +1 more source

Molecular logic and computing

Nature Nanotechnology, 2007
Amilra Prasanna De Silva
exaly  

Predicate Logic

1985
openaire   +1 more source

Enzyme-based logic systems for information processing

Chemical Society Reviews, 2010
Evgeny Katz, Vladimir Privman
exaly  

Predicate logic with anaphora

, 1994
P. Dekker
semanticscholar   +1 more source

Quantitative and logic modelling of molecular and gene networks

Nature Reviews Genetics, 2015
Nicolas Le Novère
exaly  

Predicate Logic

2012
openaire   +1 more source

Predicate Logic

2000
Cordelia Hall, John O’Donnell
openaire   +1 more source

Smart molecules at work—mimicking advanced logic operations

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