Vol 1 (2014)

Table of Contents

Articles

Tableaux Modulo Theories using Superdeduction PDF
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Catherine 1-13