Discover open access scientific publications

Search, annotate, share and cite publications

Publications by L. Postniece

Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic

Journal of Logic and Computation

Theoretical Computer Science

English