Fatemeh Seifan

Identifiers

• name variant Fatemeh Seifan 0.60 · backfill

Papers (4)

1. An expressive completeness theorem for coalgebraic modal mu-calculi cs.LO · 2017 · author #2
2. Uniform Interpolation for Coalgebraic Fixpoint Logic cs.LO · 2015 · author #2
3. Expressiveness of the modal mu-calculus on monotone neighborhood structures cs.LO · 2015 · author #2
4. Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras cs.LO · 2015 · author #2

Mentions

• 1503.02319 #2 · backfill · confidence 0.70 Fatemeh Seifan
• 1502.07889 #2 · backfill · confidence 0.70 Fatemeh Seifan
• 1501.07215 #2 · backfill · confidence 0.70 Fatemeh Seifan

Frequent Coauthors

• Yde Venema 4 shared papers
• Sebastian Enqvist 3 shared papers
• Johannes Marti 1 shared papers