Yves Fomatati

According to our database, Yves Fomatati authored at least 3 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Algorithmic correspondence for intuitionistic modal mu-calculus.

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh

Theor. Comput. Sci., 2015

2013

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2.

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1.

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013