Pages that link to "Item:Q682380"
From MaRDI portal
The following pages link to Many-sorted equivalence of shiny and strongly polite theories (Q682380):
Displaying 5 items.
- Politeness and stable infiniteness: stronger together (Q2055852) (← links)
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- Combining stable infiniteness and (strong) politeness (Q6053847) (← links)