Research output

1. Isomorphism of Atomless Boolean Algebras with Distinguished Ideals

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

2. The Task-Based Approach: A New Paradigm for Building Trustworthy Artificial Intelligence

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

3. Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem

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

View all (15) »