Results 321 to 325 of about 283,349 (325)
Some of the next articles are maybe not open access.

Complex cellular logic computation using ribocomputing devices

Nature, 2017
Alexander A Green   +2 more
exaly  

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

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

Expressiveness of Propositional Linear Temporal Logics

2008
Stephan Merz, Fred Kröger
openaire   +2 more sources

A tableau for general linear temporal logic

Journal of Logic and Computation, 2012
openaire   +2 more sources

Basic Propositional Linear Temporal Logic

2008
Fred Kröger, Stephan Merz
openaire   +2 more sources
temporal logic
mathematics
programming language
theoretical computer science
algorithm
artificial intelligence
discrete mathematics
model checking
philosophy
previous   31  32  33  

Home - About - Disclaimer - Privacy