Sciweavers

70
Voted
CIE
2006
Springer
15 years 1 months ago
LJQ: A Strongly Focused Calculus for Intuitionistic Logic
LJQ is a focused sequent calculus for intuitionistic logic, with
Roy Dyckhoff, Stéphane Lengrand