Skip to content

On some transformation theorems in many-valued logical systems

Chuen K. Tung

VenueA*FOCS
Year1962
ProceedingsSWCT

Browse the full FOCS paper archive.