Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Bahareh Afshari

Postdoctoral research fellow

Bahareh Afshari
Postdoctoral research fellow
bahareh.afshari@cse.gu.se
772 6153

Room number: 6455
Visiting Address: Rännvägen 6 b , 40530 Göteborg


Department of Computer Science and Engineering at Department of Computer Science and Engineering (More Information)
412 96 Göteborg
0317721000

Visiting Address: Rännvägen 6 B , 405 30 Göteborg

Latest publications

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Conference paper 2017
Conference paper

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2016
Report

On the Herbrand content of LK
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings Sixth International Workshop on Classical Logic and Computation (CL&C16). Porto, Portugal , 23th June 2016, Conference paper 2016
Conference paper

Herbrand's theorem revisited
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016; Editors: V. Bach and H. Fassbender, Conference paper 2016
Conference paper

Herbrand confluence for first-order proofs with Π2-cuts
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.), Boston, De Gruyter, Chapter in book 2016
Chapter in book

Circular proofs for the modal mu-calculus
Bahareh Afshari, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the Gesellschaft für Angewandte Mathematik und Mechanik, held 7 – 11 March 2016 at TU Braunschweig, Germany., Conference paper 2016
Conference paper

Herbrand disjunctions, cut elimination and context-free tree grammars
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2015
Conference paper

On closure ordinals for the modal μ-calculus
Bahareh Afshari, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2013
Conference paper

Ordinal analysis and the infinite Ramsey theorem
Bahareh Afshari, Michael Rathjen
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2012
Conference paper

A note on the theory of positive induction, ID1*
Bahareh Afshari, Michael Rathjen
Archive for Mathematical Logic, Journal article 2010
Journal article

Showing 1 - 10 of 14

2017

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Conference paper 2017
Conference paper

2016

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2016
Report

On the Herbrand content of LK
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings Sixth International Workshop on Classical Logic and Computation (CL&C16). Porto, Portugal , 23th June 2016, Conference paper 2016
Conference paper

Herbrand's theorem revisited
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016; Editors: V. Bach and H. Fassbender, Conference paper 2016
Conference paper

Herbrand confluence for first-order proofs with Π2-cuts
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.), Boston, De Gruyter, Chapter in book 2016
Chapter in book

Circular proofs for the modal mu-calculus
Bahareh Afshari, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the Gesellschaft für Angewandte Mathematik und Mechanik, held 7 – 11 March 2016 at TU Braunschweig, Germany., Conference paper 2016
Conference paper

2015

Herbrand disjunctions, cut elimination and context-free tree grammars
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2015
Conference paper

2013

On closure ordinals for the modal μ-calculus
Bahareh Afshari, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2013
Conference paper

2012

Ordinal analysis and the infinite Ramsey theorem
Bahareh Afshari, Michael Rathjen
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2012
Conference paper

2010

A note on the theory of positive induction, ID1*
Bahareh Afshari, Michael Rathjen
Archive for Mathematical Logic, Journal article 2010
Journal article

Showing 1 - 10 of 14

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?