TABLEAUX
2007
Springer
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
14 years 6 months ago
Ekaterina Komendantskaya
Added |
09 Jun 2010 |
Updated |
09 Jun 2010 |
Type |
Conference |
Year |
2007 |
Where |
TABLEAUX |
Authors |
Ekaterina Komendantskaya |
Comments (0)