3 citations · 3 across the 1 of their papers we have counts for
1 paper
Adrien Husson, Jean Krivine
We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory, formulas describe protein structures and dynamic changes. They can…