Follow
Maryam Abiri
Maryam Abiri
PhD graduate of Mathematical Logic, Shahid Beheshti University
Verified email at sbu.ac.ir
Title
Cited by
Cited by
Year
From forcing to satisfaction in Kripke models of intuitionistic predicate logic
M Abiri, M Moniri, M Zaare
Logic Journal of the IGPL 26 (5), 464-474, 2018
32018
Forcing and satisfaction in Kripke models of intuitionistic arithmetic
M Abiri, M Moniri, M Zaare
Logic Journal of the IGPL 27 (5), 659-670, 2019
12019
Time-aware outlier detection in health physique monitoring in edge-aided sport education decision-makings
Y Li, L Kang, Z Li, F Jiang, N Bi, T Du, M Abiri
Journal of Cloud Computing 13 (1), 73, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–3