Understanding biology through logic.

Published in: CSL-LICS (2014)

Keyphrases

computational properties
image sequences
predicate logic
real time
databases
website
logic programming
expressive power
modal logic
computational biology
multi valued
classical logic
asynchronous circuits