Pages that link to "Item:Q1779564"
From MaRDI portal
The following pages link to Real number computation with committed choice logic programming languages (Q1779564):
Displaying 5 items.
- Real number computation through Gray code embedding. (Q1607300) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- SHRAD: A language for sequential real number computation (Q2642903) (← links)
- Lookahead analysis in exact real arithmetic with logical methods (Q2680994) (← links)
- Programming Languages and Systems (Q5316565) (← links)