3 citations · 7 across the 4 of their papers we have counts for
4 papers
Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications
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.…
Graded Quantitative Narrowing
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling +1
The recently introduced framework of Graded Quantitative Rewriting is an innovative extension of traditional rewriting systems, in which rules are annotated with degrees drawn from…
Reconfigurable Heterogeneous Parallel Island Models
Lucas Ângelo da Silveira, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
Heterogeneous Parallel Island Models (HePIMs) run different bio-inspired algorithms (BAs) in their islands. From a variety of communication topologies and migration policies fine-t…
Teaching Interactive Proofs to Mathematicians
Mauricio Ayala-Rincón, Thaynara Arielly de Lima
This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of inte…