Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Benedito Melo Acióly
2000 – 2009
- 2006
[j3]Regivan H. Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly: Formal Aspects of Correctness and Optimality of Interval Computations. Formal Asp. Comput. 18(2): 231-243 (2006)
1990 – 1999
- 1997
[j2]Benedito Melo Acióly, Benjamín René Callejas Bedregal: A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space. Reliable Computing 3(3): 305-313 (1997)- 1996
[j1]Regivan H. Nunes Santiago, Benedito Melo Acióly: Toward a logic for numerical approximations. RITA 3(2): 147-166 (1996)- 1995
[c1]Benjamín René Callejas Bedregal, Benedito Melo Acióly: Logic of Plotkin Continuous Domain. LATIN 1995: 195-206
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:43 CET by the dblp team



