Skip to content

A quest for algorithmically random infinite structures.

Bakhadyr Khoussainov

VenueBCSL
Year2014
ProceedingsCSL-LICS

Browse the full CSL paper archive.