3 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Valeria de Paiva, Thaynara Arielly de Lima
This volume contains the proceedings of the 21st Workshop on Logical and Semantic Frameworks with Applications (LSFA 2026), held in Lisbon, Portugal, from July 18 to July 19, 2026.…