Benedito Melo Acióly

Publication Activity (10 Years)

Years Active: 1995-2006
Publications (10 Years): 0

Publications

Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly
Formal Aspects of Correctness and Optimality of Interval Computations. Formal Aspects Comput. 18 (2) (2006)
Benedito Melo Acióly, Benjamín René Callejas Bedregal
A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space. Reliab. Comput. 3 (3) (1997)
Regivan Hugo Nunes Santiago, Benedito Melo Acióly
Toward a logic for numerical approximations. RITA 3 (2) (1996)
Benjamín René Callejas Bedregal, Benedito Melo Acióly
Logic of Plotkin Continuous Domain. LATIN (1995)