Long Qian
Publications
CV

Long Qian

Fifth year PhD student in logic at Carnegie Mellon University

Email
Google Scholar
ORCID

Axiomatization of Compact Initial Value Problems: Open Properties

Published in _Journal of the ACM (JACM)_, 2025

Categories: dL

Share on

Twitter Facebook LinkedIn

Follow:
Feed

© 2026 Long Qian. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.