The logic of kinetic regulation in the thioredoxin system.

Ché S. Pillay Jan-Hendrik S. Hofmeyr Johann M. Rohwer

Published in: BMC Syst. Biol. (2011)

Keyphrases

modal logic
automated reasoning
computational properties
logic programming
real time
proof theory
delay insensitive
database
monte carlo
multi valued
classical logic
predicate logic
formal theory
asynchronous circuits