| |
# of records = 12
homepages/20/5309 conf/mkm/BoldoFM09 conf/arith/EdmonsonM09 conf/cade/Melquiond08 journals/corr/abs-0801-0523 journals/tc/BoldoM08 journals/corr/abs-cs-0701186 journals/ita/MelquiondP07 conf/dagstuhl/PionBM06 conf/sac/DinechinLM06 journals/tcs/BronnimannMP06 conf/arith/DaumasMM05
Copyright © 2010-01-07 by Michael Ley (ley@uni-trier.de)