Bingtian Xue

Journals

  1. Electronic Notes in Theoretical Computer Science

    ISSNs: 1571-0661

    Elsevier BV, Netherlands

    Journal

  2. Journal of Logical and Algebraic Methods in Programming

    ISSNs: 2352-2208

    Elsevier Science, Denmark

    Journal