Statistics
Publications
2
Citations
32
H-Index
2
Active since
2016
Affiliations
Vrije Universiteit Amsterdam(Current)
Fei Liang is an author at Vrije Universiteit Amsterdam specializing in theorem proving, stochastic processes, and natural sciences.
Publications per year
2016–2023
2
2
Algebraic Proof Theory for LE-logics
Giuseppe Greco, Peter Jipsen, Fei Liang et al. · ACM Transactions on Computational Logic · 2023 · 16 citations · Full text
1–2 of 2