داده های ثبت شده در پورتال
1
Nazanin Roshandel Tavana,
"Some Model Theoretic Properties for Pavelka-Style Godel Logic, RGL* and Godel Logic with ?", Axioms,
Vol. 12,
Num. 9,
Page 858-870,
September 2023,
2
Nazanin Roshandel Tavana,
"The Craig Interpolation Property for Rational Godel Logic", IRANIAN JOURNAL OF FUZZY SYSTEMS,
Vol. 20,
Num. 1,
Page 1-8,
September 2022,
3
Nazanin Roshandel Tavana,
"An effective version of definability in metric structures", AUT Journal of Mathematics and Computing,
Vol. 3,
Num. 1,
Page 1-20,
December 2021,
4
Keng Meng Ng, Nazanin Roshandel Tavana, Yang Yue,
"A recursion theoretic foundation of computation over real numbers", JOURNAL OF LOGIC AND COMPUTATION,
Vol. 0,
Num. 0,
Page 1-30,
July 2021,
5
Seyed Mohammad Amin Khatami, Masoud Pourmahdian, Nazanin Roshandel Tavana,
"From rational Godel logic to ultrametric logic", JOURNAL OF LOGIC AND COMPUTATION,
Vol. Vol 26,
Num. 5,
Page 1743-1767,
October 2016,
6
Klaus Weihrauch, Nazanin Roshandel Tavana,
"Representations of measurable sets in computable measure theory", LOGICAL METHODS IN COMPUTER SCIENCE,
Vol. 10,
Num. 3,
Page 1-21,
August 2015,