Research output

1. On cardinalities of Rogers semilattices for families in the Ershov hierarchy

   Research output: Contribution to journal › Article › peer-review

2. Online and Feasible Presentability: From Trees to Modal Algebras

   Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

3. On Learning Existentially Definable Subsets in a Computable Structure

   Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

View all (5) »