| |
# of records = 28
homepages/40/3912 conf/mkm/Gonthier09 conf/tphol/GarillotGMR09 conf/tphol/BertotGBP08 conf/ascm/Gonthier07 conf/tphol/GonthierMRTT07 conf/tphol/TheryLG06 conf/icfem/CookG05 journals/jlp/FournetG05 conf/fossacs/AbadiGW04 journals/iandc/AbadiFG02 conf/ac/FournetG00 conf/popl/AbadiFG00 conf/fsttcs/AbadiFG99 conf/sp/AbadiFG99 conf/icalp/FournetG98 conf/lics/AbadiFG98 journals/entcs/AbadiFG97 conf/cav/Gonthier96 conf/concur/FournetGLMR96 conf/popl/FournetG96 conf/popl/DoligezG94 conf/lics/GonthierAL92 conf/lics/GonthierLM92 conf/popl/GonthierAL92 journals/scp/BerryG92 journals/cn/BerryG91 journals/tcs/Gonthier85
Copyright © 2010-02-09 by Michael Ley (ley@uni-trier.de)