R-Calculus, IV: Propositional Logic
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
Years of issue
2024
journal names
R-Calculus, IV: Propositional Logic
Top-3 organizations

Beihang University
(58 publications)

Institute of Computing Technology, Chinese Academy of Sciences
(58 publications)
Top-3 countries
China
(50 publications)