Han Xiao (Tsinghua University)

Identifiers

• name variant Han Xiao (Tsinghua University) 0.60 · backfill

Papers (1)

1. Non-finite Axiomatizability of Generalized Medvedev Logics cs.LO · 2026 · author #1

Mentions

• 2606.31893 #1 · arxiv_oai · confidence 0.70 Han Xiao (Tsinghua University)