1 - 2 out of 2Page size: 10
  1. 2020

  2. About proof-search in intuitionistic natural deduction calculus using partial Skolemization

    Okhotnikov, O., 21 Dec 2020, In: Journal of Physics: Conference Series. 1680, 1, 012038.

    Research output: Contribution to journal › Conference article › peer-review

  3. 2014

  4. A new sequent calculus for automated proof search

    Okhotnikov, O., 1 Jan 2014, In: Applied Mathematical Sciences. 8, 97-100, p. 4977-4984 8 p.

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

ID: 80068