Skip to content

Many-Valued Logics and Holographic Proofs.

Mario Szegedy

VenueA*ICALP
Year1999
ProceedingsICALP

Browse the full ICALP paper archive.