Sciweavers

LICS
2007
IEEE

Complete Sequent Calculi for Induction and Infinite Descent

14 years 5 months ago
Complete Sequent Calculi for Induction and Infinite Descent
James Brotherston, Alex Simpson
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where LICS
Authors James Brotherston, Alex Simpson
Comments (0)