Oct 24, 2014
Axiomatisation de la réécriture abstraite et generalisation de résultats de normalisation (élimination des coupures, logicalité,…)
seen from China
seen from United States

seen from India

seen from United States
seen from Bangladesh

seen from Australia
seen from Bangladesh
seen from China
seen from Japan

seen from Bangladesh
seen from United States

seen from United States

seen from United States
seen from United States
seen from United States
seen from United States
seen from China

seen from United States

seen from Bangladesh
seen from Pakistan
Axiomatisation de la réécriture abstraite et generalisation de résultats de normalisation (élimination des coupures, logicalité,…)