R. A. Leal

发表

Modalities through the looking glass: a study on coalgebraic modal logics and their applications

R. A. Leal, R. Leal, 2011 .

Characterising Behavioural Equivalence: Three Sides of One Coin

Clemens Kupke, Raul Andres Leal, R. A. Leal, 2009, CALCO.