| |
# of records = 35
homepages/63/5796 journals/japll/KaufmannMRR09 conf/tphol/KaufmannM08 journals/jar/BrockKM08 journals/jfp/GreveKMMRRSVW08 conf/tphol/KaufmannS07 conf/acl2/KaufmannM06 conf/acl2/GordonHKR06 conf/fmcad/GordonRHK06 conf/tphol/HuntKKMS05 journals/jar/KaufmannJM01 journals/jar/GamboaK01 journals/sttt/Kaufmann00 conf/cade/Kaufmann98 conf/cav/KaufmannMP98 journals/tc/MooreLK98 conf/dac/JangQKP97 conf/iccd/KaufmannP97 journals/tse/KaufmannM97 conf/fmcad/BrockKM96 conf/itc/PixleySBPKSBKYN96 journals/jar/KaufmannP96 journals/jar/Kaufmann92 conf/tphol/Kaufmann91 journals/jar/Kaufmann91 conf/cade/Kaufmann90 conf/cade/Kaufmann88 journals/jsyml/KaufmannS87 journals/dm/KaufmannS85 journals/jsyml/BaldwinKK85 journals/jsyml/Kaufmann84 journals/jsyml/HensonKK84 journals/jsyml/Kaufmann83 journals/jsyml/Kaufmann83a journals/jsyml/Kaufmann79
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)