| |
# of records = 15
homepages/40/5509 journals/corr/abs-0808-3928 journals/lmcs/Werner08 conf/tphol/GarillotW07 conf/types/2004 conf/flops/GregoireTW06 conf/cade/Werner06 conf/rta/DowekW05 conf/fossacs/AbadiGW04 conf/types/MiquelW02 conf/types/DowekW98 conf/tacs/Werner97 conf/types/MelliesW96 conf/lics/GeuversW94 journals/jsc/Paulin-MohringW93
Copyright © 2009-12-08 by Michael Ley (ley@uni-trier.de)