Concepedia

Fatemeh Seifan

FS

1

Publications

13

Citations

1

H-Index

2015

Active since

Affiliations

Lund University(Current)

Fatemeh Seifan is an author at Lund University specializing in formal methods, automated reasoning, and engineering.

ORCID

Top concepts

Publications per year

2015–2015

1

Publications

1

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras

Sebastian Enqvist, Fatemeh Seifan, Yde Venema · 2015 · 13 citations

, , +9

Rows per page

1–1 of 1