1
Somaye Jalili Galeh, Masoud Pourmahdian, Nazanin Roshandel Tavana, "Generic expansions of geometric theories", JOURNAL OF SYMBOLIC LOGIC, April 2024
Vol. 0,
Num. 0,
Page 1-22,
April 2024,
2
Nazanin Roshandel Tavana, Masoud Pourmahdian, S.M.Khatami, "The Craig interpolation property in first-order G?del logic", FUZZY SETS AND SYSTEMS, April 2024
Vol. 485,
Num. 0,
Page 1-10,
April 2024,
3
Nazanin Roshandel Tavana, "Some Model Theoretic Properties for Pavelka-Style Godel Logic, RGL* and Godel Logic with ?", Axioms, September 2023
Vol. 12,
Num. 9,
Page 858-870,
September 2023,
4
Nazanin Roshandel Tavana, "The Craig Interpolation Property for Rational Godel Logic", IRANIAN JOURNAL OF FUZZY SYSTEMS, September 2022
Vol. 20,
Num. 1,
Page 1-8,
September 2022,
5
Nazanin Roshandel Tavana, "An effective version of definability in metric structures", AUT Journal of Mathematics and Computing, December 2021
Vol. 3,
Num. 1,
Page 1-20,
December 2021,
6
Keng Meng Ng, Nazanin Roshandel Tavana, Yang Yue, "A recursion theoretic foundation of computation over real numbers", JOURNAL OF LOGIC AND COMPUTATION, July 2021
Vol. 0,
Num. 0,
Page 1-30,
July 2021,
7
Seyed Mohammad Amin Khatami, Masoud Pourmahdian, Nazanin Roshandel Tavana, "From rational Godel logic to ultrametric logic", JOURNAL OF LOGIC AND COMPUTATION, October 2016
Vol. Vol 26,
Num. 5,
Page 1743-1767,
October 2016,
8
Klaus Weihrauch, Nazanin Roshandel Tavana, "Representations of measurable sets in computable measure theory", LOGICAL METHODS IN COMPUTER SCIENCE, August 2015
Vol. 10,
Num. 3,
Page 1-21,
August 2015,
9
Nazanin Roshandel Tavana, Klaus Weihrauch, "Turing machines on represented sets, a model of computation for analysis", LOGICAL METHODS IN COMPUTER SCIENCE, June 2011
Vol. 7,
Num. 2,
Page 1-21,
June 2011,