Stream Data Analytics and Machine Learning laboratory

Research output

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

    Research output: Contribution to journalArticlepeer-review

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

    Research output: Contribution to journalArticlepeer-review

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

    Research output: Contribution to journalArticlepeer-review

View all (5) »

ID: 3439699