Concepedia

Yves Fomatati

YF

1

Publications

42

Citations

1

H-Index

2014

Active since

Affiliations

Delft University of Technology(Current)

Yves Fomatati is an author at Delft University of Technology specializing in automated reasoning.

Top concepts

Publications per year

2014–2014

1

Publications

1

Algorithmic correspondence for intuitionistic modal mu-calculus

Willem Conradie, Yves Fomatati, Alessandra Palmigiano et al. · Theoretical Computer Science · 2014 · 42 citations · Full text

, , +2

Rows per page

1–1 of 1