Nazanin Tavana

Orcid: 0000-0002-6291-0216

According to our database1, Nazanin Tavana authored at least 9 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Some Model Theoretic Properties for Pavelka-Style Gödel Logic, RGL* and Gödel Logic with Δ.
Axioms, September, 2024

The Craig interpolation property in first-order Gödel logic.
Fuzzy Sets Syst., 2024

2021
A recursion theoretic foundation of computation over real numbers.
J. Log. Comput., 2021

2016
From rational Gödel logic to ultrametric logic.
J. Log. Comput., 2016

2015
Effective metric model theory.
Math. Struct. Comput. Sci., 2015

2014
Representations of measurable sets in computable measure theory.
Log. Methods Comput. Sci., 2014

2013
Compactness in first-order Gödel logics.
J. Log. Comput., 2013

2012
Compactness in first order Łukasiewicz logic.
Log. J. IGPL, 2012

2011
Turing machines on represented sets, a model of computation for Analysis
Log. Methods Comput. Sci., 2011


  Loading...