Results 361 to 365 of about 430,787 (365)
Some of the next articles are maybe not open access.

First-Order Linear Temporal Logic

2008
Fred Kröger, Stephan Merz
openaire   +1 more source

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  

Spatio-temporal Linear Logic

openaire   +1 more source

Expressiveness of Propositional Linear Temporal Logics

2008
Fred Kröger, Stephan Merz
openaire   +1 more source
temporal logic
theoretical computer science
programming language
algorithm
engineering
artificial intelligence
discrete mathematics
philosophy
model checking
previous   35  36  37  

Home - About - Disclaimer - Privacy