Concepedia

Bahareh Afshari

BA

Statistics

Publications

4

Citations

91

H-Index

4

Active since

2007

Affiliations

University of Gothenburg(Current)

University of Leeds

Bahareh Afshari is an author at University of Gothenburg specializing in mathematics, humanities, and formal methods.

ORCID

Publications per year

2007–2017

4

Publications

4

Cut-free completeness for modal mu-calculus

Bahareh Afshari, Graham E. Leigh · 2017 · 32 citations

, , +9

Reverse mathematics and well-ordering principles: A pilot study

Bahareh Afshari, Michael Rathjen · Annals of Pure and Applied Logic · 2009 · 24 citations

, , +6

Cut-free completeness for modal mu-calculus

Bahareh Afshari, Graham E. Leigh · Logic in Computer Science · 2017 · 24 citations

, , +9

Post's Programme for the Ershov Hierarchy

Bahareh Afshari, George Barmpalias, S. Barry Cooper et al. · Journal of Logic and Computation · 2007 · 11 citations

, , +7

1–4 of 4