Research output

1. Computable Boolean Algebras and Complexity of the Fréchet Ideal

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

2. Task-driven approach to artificial intelligence

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

3. The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas

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

View all (11) »