| |
# of records = 30
homepages/46/656 journals/entcs/Stump09 journals/entcs/ZellerSD08 journals/entcs/Stump08 journals/ijait/BarrettDOS08 conf/plpv/2007 conf/cade/Stump07 journals/entcs/StumpX07 journals/fmsd/BarrettMS07 conf/gpce/LeavensABBCFHJMJSSS06 conf/rta/WehrmanSW06 journals/entcs/WehrmanS06 journals/ipl/StumpL06 conf/cav/BarrettMS05 conf/icfp/WestbrookSW05 conf/rta/StumpT05 conf/vstte/Stump05 journals/entcs/StumpBBHK05 journals/entcs/StumpS05 journals/jar/BarrettMS05 conf/cade/Stump03 conf/ppdp/WuAS03 journals/jar/AppelMSV03 conf/cade/StumpD02 conf/cav/BarrettDS02 conf/cav/StumpBD02 conf/frocos/BarrettDS02 journals/entcs/StumpBD02 conf/lics/StumpBDL01 conf/cade/BarrettDS00
Copyright © 2010-01-04 by Michael Ley (ley@uni-trier.de)