Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Formal Aspects of Correctness and Optimality of Interval Computations | 39 | 1.69 | 2006 |
| A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space | 18 | 1.02 | 1997 |
| Toward a logic for numerical approximations | 0 | 0.34 | 1996 |
| Logic of Plotkin Continuous Domain | 0 | 0.34 | 1995 |