The following pages link to Benedito Melo Acióly (Q1371172):
Displayed 4 items.
- A quasi-metric topology compatible with inclusion monotonicity on interval space (Q1371174) (← links)
- Formal aspects of correctness and optimality of interval computations (Q2432236) (← links)
- Logic of plotkin continuous domain (Q5096332) (← links)
- Interval Representations (Q5390782) (← links)