Bahareh Afshari

Available identifiers

Publication	Date of Publication	Type
Abstract cyclic proofs	2023-06-02	Paper
Exact bounds for acyclic higher-order recursion schemes	2023-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5104692	2022-09-15	Paper
Lyndon Interpolation for Modal $$\mu $$-Calculus	2022-08-11	Paper
Uniform interpolation from cyclic proofs: the case of modal mu-calculus	2022-05-25	Paper
On the Herbrand content of LK	2021-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5144634	2021-01-19	Paper
Herbrand's theorem as higher order recursion	2020-04-14	Paper
Herbrand Confluence for First-Order Proofs with Π₂-Cuts	2020-04-02	Paper
An infinitary treatment of full $\mu$-calculus	2020-03-04	Paper
Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars	2017-07-12	Paper
On closure ordinals for the modal mu−calculus	2017-02-02	Paper
Ordinal Analysis and the Infinite Ramsey Theorem	2012-08-14	Paper
A note on the theory of positive induction, ${{\text{ID}}^*_1}$	2010-03-02	Paper
Reverse mathematics and well-ordering principles: a pilot study	2009-10-26	Paper
Post's Programme for the Ershov Hierarchy	2008-02-07	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bahareh Afshari