Fatemeh Seifan
Orcid: 0000-0002-2901-5332
According to our database1,
Fatemeh Seifan
authored at least 8 papers
between 2015 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
0
1
2
3
4
1
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Ann. Pure Appl. Log., 2019
2018
Completeness for the modal <i>μ</i>-calculus: Separating the combinatorics from the dynamics.
Theor. Comput. Sci., 2018
2017
Log. Methods Comput. Sci., 2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
2015
CoRR, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015