Politeness and combination methods for theories with bridging functions (Q2303236)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Politeness and combination methods for theories with bridging functions |
scientific article |
Statements
Politeness and combination methods for theories with bridging functions (English)
0 references
3 March 2020
0 references
satisfiability modulo theories
0 references
combination method
0 references
non-disjoint theories
0 references
bridging functions
0 references
0 references
