A proof system for unified temporal logic
Work
Year: 2023
Type: article
Source: Theoretical Computer Science
Authors Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian
Institution Xidian University
Cites: 20
Cited by: 1
Related to: 10
FWCI: 0.325
Citation percentile (by year/subfield): 48.35
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed
Funders National Natural Science Foundation of China, National Natural Science Foundation of China, National Natural Science Foundation of China, National Natural Science Foundation of China, Natural Science Basic Research Program of Shaanxi Province
Grant IDS 61751207, 62272359, 61732013, 62172322, 2022JM-367