dblp.uni-trier.dewww.uni-trier.de

Benedito Melo Acióly

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EERegivan 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
3EEBenedito 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)