Skip to content

A Universally Defined Undecidable Unimodal Logic.

Edith Hemaspaandra, Henning Schnoor

VenueBMFCS
Year2011
ProceedingsMFCS

Browse the full MFCS paper archive.