Skip to content

Is Ramsey's Theorem omega-automatic?.

Dietrich Kuske

VenueASTACS
Year2010
ProceedingsSTACS

Browse the full STACS paper archive.