Research output

1. Complexity of the Problem of ∀-Representation for Sentences

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

2. On the for all there exists-Theories of Free Projective Planes

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

3. Complexity of the Isomorphism Problem for Computable Free Projective Planes of Finite Rank

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

View all (5) »