Login / Signup
A. V. Barbosa
Publication Activity (10 Years)
Years Active: 2010-2010
Publications (10 Years): 0
</>
Publications
</>
Flávio L. C. de Moura
,
A. V. Barbosa
,
Mauricio Ayala-Rincón
,
Fairouz Kamareddine
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi.
LSFA
(2010)