Turing machines on represented sets, a model of computation for analysis N Tavana, K Weihrauch Logical Methods in Computer Science 7, 2011 | 33 | 2011 |
Representations of measurable sets in computable measure theory K Weihrauch, N Tavana-Roshandel Logical Methods in Computer Science 10, 2014 | 10 | 2014 |
A recursion theoretic foundation of computation over real numbers KM Ng, N R Tavana, Y Yang Journal of Logic and Computation 31 (7), 1660-1689, 2021 | 7 | 2021 |
Compactness in first order Łukasiewicz logic NR Tavana, M Pourmahdian, F Didehvar Logic Journal of the IGPL 20 (1), 254-265, 2012 | 6 | 2012 |
From rational Gödel logic to ultrametric logic SMA Khatami, M Pourmahdian, NR Tavana Journal of Logic and Computation 26 (5), 1743-1767, 2016 | 5 | 2016 |
The Craig interpolation property for rational Gödel logic N Roshandel Tavana Iranian Journal of Fuzzy Systems 20 (1), 19-25, 2023 | 3 | 2023 |
Effective metric model theory M Pourmahdian, NR Tavana, F Didehvar Mathematical Structures in Computer Science 25 (8), 1779-1798, 2015 | 3 | 2015 |
Compactness in first-order Gödel logics M Pourmahdian, NR Tavana Journal of Logic and Computation 23 (3), 473-485, 2012 | 3 | 2012 |
From rational Godel logic to continuous ultrametric logic SMA Khatami, M Pourmahdian, NR Tavana arXiv preprint arXiv:1309.1031, 2013 | 1 | 2013 |
The Craig interpolation property in first-order Gödel logic NR Tavana, M Pourmahdian, SMA Khatami Fuzzy Sets and Systems 485, 108958, 2024 | | 2024 |
Some Model Theoretic Properties for Pavelka-Style Gödel Logic, RGL* and Gödel Logic with Δ N Roshandel Tavana Axioms 12 (9), 858, 2023 | | 2023 |
An effective version of definability in metric structures N Roshandel Tavana AUT Journal of Mathematics and Computing 3 (1), 101-111, 2022 | | 2022 |
A recursion theoretic foundation of computation over real numbers K Meng Ng, NR Tavana, Y Yang arXiv e-prints, arXiv: 2010.00791, 2020 | | 2020 |
An effective version of definability in metric model theory NR Tavana arXiv preprint arXiv:2003.02087, 2020 | | 2020 |
From rational Godel logic to continuous ultrametric logic SM Amin Khatami, M Pourmahdian, NR Tavana arXiv e-prints, arXiv: 1309.1031, 2013 | | 2013 |
Generic Expansions of Geometric Theories S Jalili, M Pourmahdian, NR Tavana The Journal of Symbolic Logic, 1-22, 0 | | |
Evan Goris and Joost J. Joosten TS Ahmed, M Alizadeh, M Ardeshir, F Van De Putte, A Benz, W Dzik, ... | | |
LOGIC JOURNAL of the IGPL E Goris, JJ Joosten, TS Ahmed, M Alizadeh, M Ardeshir, F Van De Putte, ... | | |