Bahareh Afshari : Publications
Click here to download all publications in a single bibtex file
@inproceedings{AL13,
title = "{On closure ordinals for the modal mu-calculus}",
author = "Bahareh Afshari and Graham E. Leigh",
year = "2013",
address = "Dagstuhl, Germany",
annote = "Keywords: Closure ordinals, Modal mu-calculus, Tableaux",
booktitle = "Computer Science Logic 2013 (CSL 2013)",
editor = "Simona Ronchi Della Rocca",
isbn = "978-3-939897-60-6",
issn = "1868-8969",
pages = "30--44",
publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
volume = "23",
doi = "10.4230/LIPIcs.CSL.2013.30",
}
@inproceedings{AR12,
title = "Ordinal analysis and the infinite {Ramsey} theorem",
author = "Bahareh Afshari and Michael Rathjen",
year = "2012",
booktitle = "CiE",
editor = "S.B. Cooper, A. Dawar and B. L\"owe",
pages = "1--10",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "7318",
doi = "10.1007/978-3-642-30870-3_1",
}
@article{AR10,
title = "A note on the theory of positive induction, {$ID{*}1$}",
author = "Bahareh Afshari and Michael Rathjen",
year = "2010",
journal = "Archive for Mathematical Logic",
number = "2",
pages = "275--281",
volume = "49",
doi = "10.1007/s00153-009-0168-9",
}
@article{AR09,
title = "Reverse mathematics and well-ordering principles: A pilot study",
author = "Bahareh Afshari and Michael Rathjen",
year = "2009",
journal = "Annals of Pure and Applied Logic",
number = "3",
pages = "231--237",
volume = "160",
doi = "10.1016/j.apal.2009.01.001",
}
@phdthesis{Afs08,
title = "Relative computability and the proof-theoretic strength of some theories",
author = "Bahareh Afshari",
year = "2008",
school = "School of Mathematics, University of Leeds",
}
@article{ABCS07,
title = "Post's programme for the {Ershov} hierarchy",
author = "Bahareh Afshari and George Barmpalias and S. Barry Cooper and Frank Stephan",
year = "2007",
journal = "Journal of Logic and Computation",
number = "6",
pages = "1025--1040",
volume = "17",
doi = "10.1093/logcom/exm032",
}
@inproceedings{DBLP:conf/tamc/AfshariBC06,
title = "Immunity Properties and the {\it n}-C.E. Hierarchy",
author = "Bahareh Afshari and George Barmpalias and S. Barry Cooper",
year = "2006",
booktitle = "TAMC",
editor = "{Jin-yi} Cai and S. Barry Cooper and Angsheng Li",
pages = "694-703",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3959",
doi = "10.1007/11750321_65",
}