Name Card

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

Own Publications Eigene Publikationen

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