Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Bahareh Afshari

Forskarassistent

Bahareh Afshari
Forskarassistent
bahareh.afshari@cse.gu.se
772 6153

Rumsnummer: 6455
Besöksadress: Rännvägen 6 b , 40530 Göteborg


Avd för Datavetenskap vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
0317721000

Besöksadress: Rännvägen 6 B , 405 30 Göteborg

Om Bahareh Afshari

Senaste publikationer

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

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, Paper i proceeding 2016
Paper i proceeding

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, Paper i proceeding 2016
Paper i proceeding

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, Kapitel i bok 2016
Kapitel i bok

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., Paper i proceeding 2016
Paper i proceeding

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

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

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), Paper i proceeding 2012
Paper i proceeding

A note on the theory of positive induction, ID1*
Bahareh Afshari, Michael Rathjen
Archive for Mathematical Logic, Artikel i vetenskaplig tidskrift 2010
Artikel i vetenskaplig tidskrift

Reverse mathematics and well-ordering principles: A pilot study
Bahareh Afshari, Michael Rathjen
Annals of Pure and Applied Logic, Artikel i vetenskaplig tidskrift 2009
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 13

2016

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

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, Paper i proceeding 2016
Paper i proceeding

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, Paper i proceeding 2016
Paper i proceeding

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, Kapitel i bok 2016
Kapitel i bok

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., Paper i proceeding 2016
Paper i proceeding

2015

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

2013

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

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), Paper i proceeding 2012
Paper i proceeding

2010

A note on the theory of positive induction, ID1*
Bahareh Afshari, Michael Rathjen
Archive for Mathematical Logic, Artikel i vetenskaplig tidskrift 2010
Artikel i vetenskaplig tidskrift

2009

Reverse mathematics and well-ordering principles: A pilot study
Bahareh Afshari, Michael Rathjen
Annals of Pure and Applied Logic, Artikel i vetenskaplig tidskrift 2009
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 13

Sidansvarig: Växeln|Sidan uppdaterades: 2017-04-19
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?