| |
# of records = 49
homepages/48/1 conf/iccS/AgronBN05 conf/aisc/ScharffB04 journals/jar/BachmairTV03 books/el/RV01/BachmairG01 conf/rta/2000 conf/cade/TiwariBR00 conf/cade/BachmairT00 conf/frocos/BachmairRTV00 conf/rta/BachmairRRT99 conf/cade/BachmairG98 conf/cade/BachmairGV98 conf/tphol/LifantsevB98 journals/jacm/BachmairG98 conf/kgc/Bachmair97 conf/rta/BachmairT97 conf/caap/BachmairCRR96 conf/ijcai/BachmairCRAC95 journals/iandc/BachmairGLS95 conf/cade/BachmairG94 conf/ccl/BachmairG94 conf/compass/BachmairGS94 conf/ctrs/BachmairG94 conf/lics/BachmairG94 journals/aaecc/BachmairGW94 journals/jacm/BachmairD94 journals/logcom/BachmairG94 conf/kgc/BachmairGW93 conf/lics/BachmairGW93 conf/rta/Bachmair93 conf/tapsoft/BachmairCR93 conf/alp/BachmairGW92 conf/cade/BachmairGLS92 conf/lpar/BachmairG92 journals/ipl/Bachmair92 conf/iclp/BachmairG91 conf/cade/BachmairG90 conf/ctrs/BachmairG90 conf/rta/Bachmair89 journals/tcs/BachmairD89 conf/lics/Bachmair88 journals/jsc/BachmairD88 conf/eurocal/BachmairD87 conf/lics/BachmairD87 conf/rta/BachmairD87 conf/cade/BachmairD86 conf/lics/BachmairDH86 conf/rta/BachmairP85 journals/jsc/BachmairP85
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)