Research output

  1. Primal infon logic with conjunctions as sets

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

  2. Integration of semantic verifiers into Java language compilers

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

View all (2) »

Projects

  1. Математические аспекты фундаментальной информатики

    Project: Research › Key Centre of Excelence

View all () »

ID: 55589