| |
# of records = 24
homepages/w/UweWaldmann conf/cade/BaumgartnerW09 conf/atva/DammDHJPPSWW07 conf/lpar/LudwigW07 journals/jar/JacobsW07 conf/atva/DammDHPPSWW06 journals/iandc/GanzingerSW06 conf/tableaux/JacobsW05 conf/cade/GanzingerSW04 conf/cade/GanzingerHW03 journals/jsc/Waldmann02 journals/jsc/Waldmann02a conf/cade/Waldmann01 conf/lpar/Waldmann99 conf/cade/Waldmann98 journals/ipl/Waldmann98 conf/cade/GanzingerW96 journals/aaecc/BachmairGW94 conf/kgc/BachmairGW93 conf/lics/BachmairGW93 conf/alp/BachmairGW92 conf/ctrs/GanzingerW92 journals/tcs/Waldmann92 conf/ctrs/Waldmann90
Copyright © 2009-11-25 by Michael Ley (ley@uni-trier.de)