| |
# of records = 16
homepages/91/6208 conf/mkm/BoldoFM09 conf/icalp/Boldo09 journals/tc/Boldo09 journals/tc/BoldoDL09 journals/tc/BoldoM08 conf/arith/BoldoF07 journals/corr/abs-0708-3722 conf/cade/Boldo06 conf/sac/BoldoM06 conf/arith/BoldoM05 journals/sttt/BoldoD04 conf/arith/LiBD03 conf/arith/BoldoD03 journals/entcs/BoldoD02 journals/corr/cs-MS-0107025
Copyright © 2009-12-31 by Michael Ley (ley@uni-trier.de)