Benedito Melo Acióly

	2006
4		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)
	1997
3		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
2		Regivan H. Nunes Santiago, Benedito Melo Acióly: Toward a logic for numerical approximations. RITA 3(2): 147-166 (1996)
	1995
1		Benjamín René Callejas Bedregal, Benedito Melo Acióly: Logic of Plotkin Continuous Domain. LATIN 1995: 195-206

Coauthor Index

1	Benjamín René Callejas Bedregal	[1] [3] [4]
2	Regivan H. Nunes Santiago	[2] [4]