8 citations · 14 across the 14 of their papers we have counts for
1 paper · 1 filter
Simona Ronchi della Rocca, Elaine Pimentel
This volume contains the proceedings of the Sixth Workshop on Logical and Semantic Frameworks with Applications (LSFA 2011). The workshop will be hold in Belo Horizonte, on August…