Andreas Bauer 0002

  joint publications with Rajeev Goré

Keys

# of publication records = 2

journals/corr/abs-0903-2904 conf/ictac/BauerGT09

Publications

maintained by Schloss Dagstuhl LZI at University of Trier