37 citations · 52 across the 5 of their papers we have counts for
1 paper · 1 filter
René Vestergaard, Emmanuel Pietriga
We axiomatize the molecular-biology reasoning style, show compliance of the standard reference: Ptashne, A Genetic Switch, and present proof-theory-induced technologies to help inf…