2 papers
cs.LO2026
Towards Quantifier-Free Interpolation in Array Languages with Unbounded Data Specifications
Rodrigo Raya, Christophe Ringeissen
We investigate quantifier-free interpolation properties for several fragments generalising the extensional theory of arrays. Our results include the (general) quantifier-free inter…
cs.LO2025
Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
Haniel Barbosa, Christophe Ringeissen
This volume contains the proceedings of the 20th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2025), which was held in Brasilia, the capital of Brazil, from…