Benedito Melo Acióly

List of publications from the DBLP Bibliography Server - FAQ

2006

4 EE 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 EE 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

2006
4	EE	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	EE	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]