Nazanin Roshandel Tavana

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 5

Top Topics

Top Venues

J. Log. Comput.

Log. Methods Comput. Sci.

Publications

Nazanin Roshandel Tavana
Some Model Theoretic Properties for Pavelka-Style Gödel Logic, RGL* and Gödel Logic with Δ. Axioms 12 (9) (2024)
Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang
A recursion theoretic foundation of computation over real numbers. J. Log. Comput. 31 (7) (2021)
Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang
A recursion theoretic foundation of computation over real numbers. CoRR (2020)
Nazanin Roshandel Tavana
An effective version of definability in metric model theory. CoRR (2020)
Seyed Amin Khatami, Massoud Pourmahdian, Nazanin Roshandel Tavana
From rational Gödel logic to ultrametric logic. J. Log. Comput. 26 (5) (2016)
Klaus Weihrauch, Nazanin Roshandel Tavana
Representations of measurable sets in computable measure theory. Log. Methods Comput. Sci. 10 (3) (2014)