Raul Andres Leal

According to our database, Raul Andres Leal authored at least 6 papers between 2008 and 2014.

Collaborative distances:

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

2014

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics.

Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal

Proceedings of the Theoretical Computer Science, 2014

2012

Modalities in the Stone age: A comparison of coalgebraic logics.

Alexander Kurz, Raul Andres Leal

Theor. Comput. Sci., 2012

2010

Automata for Coalgebras: An Approach Using Predicate Liftings.

Gaëlle Fontaine, Raul Andres Leal, Yde Venema

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Equational Coalgebraic Logic.

Alexander Kurz, Raul Andres Leal

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Characterising Behavioural Equivalence: Three Sides of One Coin.

Clemens Kupke, Raul Andres Leal

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Predicate Liftings Versus Nabla Modalities.

Raul Andres Leal

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008