关注
Nazanin Roshandel Tavana
Nazanin Roshandel Tavana
在 aut.ac.ir 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Turing machines on represented sets, a model of computation for analysis
N Tavana, K Weihrauch
Logical Methods in Computer Science 7, 2011
332011
Representations of measurable sets in computable measure theory
K Weihrauch, N Tavana-Roshandel
Logical Methods in Computer Science 10, 2014
102014
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
72021
Compactness in first order Łukasiewicz logic
NR Tavana, M Pourmahdian, F Didehvar
Logic Journal of the IGPL 20 (1), 254-265, 2012
62012
From rational Gödel logic to ultrametric logic
SMA Khatami, M Pourmahdian, NR Tavana
Journal of Logic and Computation 26 (5), 1743-1767, 2016
52016
The Craig interpolation property for rational Gödel logic
N Roshandel Tavana
Iranian Journal of Fuzzy Systems 20 (1), 19-25, 2023
32023
Effective metric model theory
M Pourmahdian, NR Tavana, F Didehvar
Mathematical Structures in Computer Science 25 (8), 1779-1798, 2015
32015
Compactness in first-order Gödel logics
M Pourmahdian, NR Tavana
Journal of Logic and Computation 23 (3), 473-485, 2012
32012
From rational Godel logic to continuous ultrametric logic
SMA Khatami, M Pourmahdian, NR Tavana
arXiv preprint arXiv:1309.1031, 2013
12013
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, ...
系统目前无法执行此操作,请稍后再试。
文章 1–18