Huayu Guo

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Belief Revision

Propositional Logic

Top Venues

Publications

Huayu Guo, Dongheng Chen, Bruno Bentzen
Verified completeness in Henkin-style for intuitionistic propositional logic. CoRR (2023)
Junwei Fang, Yingying Zhang, Yiru Zhang, Huayu Guo, Zheng Sun
High-Definition Survey of Architectural Heritage Fusing Multisensors - The Case of Beamless Hall at Linggu Temple in Nanjing, China. Sensors 22 (9) (2022)