Sciweavers

CORR
2010
Springer

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

13 years 9 months ago
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic
Luis Pinto, Tarmo Uustalu
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where CORR
Authors Luis Pinto, Tarmo Uustalu
Comments (0)