vix.ing · top · new · best · stats · spec

Jinsheng Chen

  1. Syntactic completeness of proper display calculi
    2021/02/23 by Jinsheng Chen, G. Greco, Chen, Jinsheng +5 · 1 citation
    Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems