Institut de Mathématiques de Luminy

Abstract 2001-04

Mogbil Virgile
Quadratic correctness criterion for Non commutative Logic

 

 



Last update : february 9, 2001, EL.