Pages that link to "Item:Q636319"
From MaRDI portal
The following pages link to Effectiveness in RPL, with applications to continuous logic (Q636319):
Displaying 4 items.
- Metric structures and probabilistic computation (Q541224) (← links)
- Decision procedures for the conditions true in certain metric structures (Q2415938) (← links)
- Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability (Q6047670) (← links)
- Generalized effective completeness for continuous logic (Q6091635) (← links)