Han Gao (Institute of Computer Science
Identifiers
- name variant Han Gao (Institute of Computer Science 0.60 · backfill
Papers (1)
- Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus cs.LO · 2026 · author #1
Mentions
- 2606.31877 #1 · arxiv_oai · confidence 0.70 Han Gao (Institute of Computer Science
Frequent Coauthors
- CNRS) 1 shared papers
- Czech Academy of Sciences) 1 shared papers
- Nicola Olivetti (Aix-Marseille University 1 shared papers