Skip to content

Isomorphism via translation.

Tadeusz Litak

VenueBAiML
Year2006
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.