Pages that link to "Item:Q6053505"
From MaRDI portal
The following pages link to Consistency and interpolation in linear continuous logic (Q6053505):
Displaying 4 items.
- On pushout consistency, modularity and interpolation for logical specifications (Q1350924) (← links)
- Continuous first order logic and local stability (Q3053471) (← links)
- Linearly-Used Continuations in the Enriched Effect Calculus (Q3557841) (← links)
- Intermediate value linearizability: a quantitative correctness criterion (Q6534999) (← links)