Benedito Melo Acióly

According to our database, Benedito Melo Acióly authored at least 4 papers between 1995 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Formal Aspects of Correctness and Optimality of Interval Computations.

Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly

Formal Aspects Comput., 2006

1997

A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space.

Benedito Melo Acióly, Benjamín René Callejas Bedregal

Reliab. Comput., 1997

1996

Toward a logic for numerical approximations.

Regivan Hugo Nunes Santiago, Benedito Melo Acióly

RITA, 1996

1995

Logic of Plotkin Continuous Domain.

Benjamín René Callejas Bedregal, Benedito Melo Acióly

Proceedings of the LATIN '95: Theoretical Informatics, 1995