Name Card

Full name Familienname, Vorname
Afshari, Bahareh
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-18 of 18 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand's theorem as higher order recursionArtikel Article 2020
2Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. On the Herbrand content of LKArtikel Article2016
3Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand Confluence for First-Order Proofs with Π<sub>2</sub>-CutsBuchbeitrag Book Contribution2016
4Afshari, Bahareh On the logic of induction and co-inductionPräsentation Presentation2016
5Afshari, Bahareh Advances in modal fixed point logicPräsentation Presentation2016
6Afshari, Bahareh Finitary proof systems for Kozen's muPräsentation Presentation2016
7Afshari, Bahareh Structural representation of Herbrand's theoremPräsentation Presentation2016
8Afshari, Bahareh On the Herbrand content of LKPräsentation Presentation2016
9Leigh, Graham ; Afshari, Bahareh Circular proofs for the modal mu-calculusArtikel Article2016
10Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham On the Herbrand content of LKPräsentation Presentation2016
11Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham Herbrand Disjunctions, Cut Elimination and Context-Free Tree GrammarsKonferenzbeitrag Inproceedings2015
12Afshari, Bahareh Towards a proof-theoretic semantics for first-order logicPräsentation Presentation2015
13Afshari, Bahareh When formal proofs meet formal grammarsPräsentation Presentation2015
14Afshari, Bahareh Herbrand disjunctions, cut elimination and context-free tree grammarsPräsentation Presentation2015
15Afshari, Bahareh Confluence of cut elimination with respect to Herbrand disjunctionsPräsentation Presentation2015
16Afshari, Bahareh On Herbrand confluence for first-order logicPräsentation Presentation2015
17Afshari, Bahareh Formal Theories of ThruthPräsentation Presentation2014
18Afshari, Bahareh Grammars for first-order proofsPräsentation Presentation2014