Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
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.…
cs.LO2025
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…
cs.LO2024
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino +1
This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm…