Pages that link to "Item:Q880989"
From MaRDI portal
The following pages link to A \(\rho\)-calculus of explicit constraint application (Q880989):
Displaying 7 items.
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q2849855) (← links)
- (Q4536107) (← links)
- A confluent relational calculus for higher-order programming with constraints (Q5096302) (← links)
- (Q5856410) (← links)