Research output

1. The NP-completeness of the Consistency Problem for Systems of Diophantine Equations over Finite Configurations

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

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

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

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

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

View all (6) »