Fatemeh Seifan

From MaRDI portal
Person:1731841

Available identifiers

zbMath Open seifan.fatemehMaRDI QIDQ1731841

List of research outcomes





PublicationDate of PublicationType
Completeness for \(\mu\)-calculi: a coalgebraic approach2019-03-14Paper
Uniform Interpolation in Coalgebraic Modal Logic.2018-08-13Paper
Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics2018-05-17Paper
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras2018-04-23Paper
Completeness for coalgebraic fixpoint logic2017-07-19Paper
https://portal.mardi4nfdi.de/entity/Q52780802017-07-13Paper
Uniform Interpolation for Coalgebraic Fixpoint Logic2017-07-11Paper
Programmable Hamiltonian for One-way Patterns2016-10-07Paper

Research outcomes over time

This page was built for person: Fatemeh Seifan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1731841&oldid=6385859"
Powered by MediaWiki