Research output

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

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

2. A new sequent calculus for automated proof search

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

View all (2) »