-
Thermodynamic evaluation of the Au-Bi system
International audience -
Thermodynamic evaluation of the Bi-Ge system
International audience -
A thermodynamic evaluation of the Bi-In system
International audience -
Structural Interactions and Absorption of Structural Rules in BI Sequent Calc...
Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by...
