Yves Fomatati

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 1

Top Topics

Natural Deduction

Top Venues

Theor. Comput. Sci.

Publications

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus. Theor. Comput. Sci. 564 (2015)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. TACL (2013)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. TACL (2013)