共 50 条
- [31] Random measure algebras STOCHASTIC PROCESSES AND FUNCTIONAL ANALYSIS: NEW PERSPECTIVES, 2021, 774 : 195 - 204
- [34] Formalising Lie Algebras PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 239 - 250
- [37] Algebras defined by homomorphisms INTERNATIONAL JOURNAL OF NONLINEAR ANALYSIS AND APPLICATIONS, 2016, 7 (02): : 153 - 164