2 papers
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…