Huayu Guo

According to our database, Huayu Guo authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Verified completeness in Henkin-style for intuitionistic propositional logic.

Huayu Guo, Dongheng Chen, Bruno Bentzen

CoRR, 2023

2022

High-Definition Survey of Architectural Heritage Fusing Multisensors - The Case of Beamless Hall at Linggu Temple in Nanjing, China.

Junwei Fang, Yingying Zhang, Yiru Zhang, Huayu Guo, Zheng Sun

Sensors, 2022