共 50 条
- [25] A (non-elementary) modular decision procedure for LTrL MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 356 - 365
- [26] Thermodynamics of non-elementary chemical reaction networks NEW JOURNAL OF PHYSICS, 2020, 22 (09):
- [28] Large geometric phases and non-elementary monopoles JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2003, 36 (11): : 2847 - 2856