Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls).

Ana Sokolova, Harald Woracek

Browse the full CALCO paper archive.