| |
# of records = 21
homepages/w/MarkusWenzel journals/jar/CaretteWW10 conf/tphol/2009 journals/entcs/SchirmerW09 conf/aisc/BerghoferW08 conf/tphol/WenzelPN08 conf/types/HaftmannW08 conf/mkm/ChaiebW07 conf/tphol/WenzelW07 conf/mkm/Wenzel06 conf/types/HaftmannW06 conf/tphol/WenzelP06 books/sp/NipkowPW02 journals/jar/WenzelW02 conf/tphol/BauerW01 conf/tphol/KammullerWP99 conf/tphol/Wenzel99 conf/tphol/BerghoferW99 conf/types/BauerW99 conf/tphol/NaraschewskiW98 conf/tphol/Wenzel97
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)