Abstract
Outline
1 Motivation and Contribution
2 Formal Preliminaries
3 Equality Interpolating Condition and Beth Definability
4 The Convex Combined Algorithm
5 The Non-Convex Case: a Counterexample
6 Conclusion
- Title
- Combination of quantifier-free uniform interpolants using beth definability (abridged version)
- Creators
- Diego CalvaneseS GhilardiAlessandro GianolaMarco MontaliAndrey Rivkin
- Publication Details
- 2022 international conference on topology, algebra and categories in logic (TACL)
- Editor(s)
- Clementino MM
- Number of pages
- 108
- Identifiers
- (UNIBZ)70882884
991006714998001241 - Scopus ID
- n.a.
- Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Other
- Author Names String
- Calvanese D, Ghilardi S, Gianola A, Montali M, Rivkin A
- Additional Description
- Editors/Supervisors: Clementino MM
description: 2022 international conference on topology, algebra and categories in logic (TACL). Record is part of a bulk validation set.