18 citations · 24 across the 6 of their papers we have counts for
3 papers · 1 filter
First-Order Quantification over Automata
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Deciding formulas mixing arithmetic and uninterpreted predicates is of practical interest, notably for applications in verification. Some decision procedures consist in building by…
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
First-order logic fragments mixing quantifiers, arithmetic, and uninterpreted predicates are often undecidable, as is, for instance, Presburger arithmetic extended with a single un…
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications
Daniele Nantes-Sobrinho, Pascal Fontaine
This volume contains the post-proceedings of the Seventeenth Logical and Semantic Frameworks with Applications (LSFA 2022), organised by the Universidade Federal de Minas Gerais, B…