3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
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…