| |
# of records = 61
homepages/31/910 conf/csl/SchwinghammerBRY09 conf/fossacs/BirkedalST09 conf/lics/DreyerAB09 conf/tldi/KrishnaswamiABSB09 conf/tldi/BirkedalST09 conf/concur/BirkedalDH08 conf/esop/PetersenBNM08 conf/icalp/BirkedalRSY08 conf/icfp/NanevskiMSGB08 journals/toplas/Torp-SmithBR08 journals/apal/MogelbergBR08 journals/corr/abs-0805-0783 journals/entcs/VarmingB08 journals/jfp/NanevskiMB08 journals/lmcs/BirkedalY08 conf/esop/NanevskiAMB07 conf/fossacs/BirkedalY07 journals/toplas/BieringBT07 journals/entcs/BirkedalDGM07 journals/sLogica/Birkedal07 journals/tcs/BirkedalMP07 conf/aplas/BohrB06 conf/concur/BirkedalDH06 conf/fossacs/BirkedalDEHN06 conf/icfp/NanevskiMB06 journals/corr/abs-cs-0610081 journals/corr/abs-cs-0611004 journals/entcs/BirkedalMP06 journals/entcs/MogelbergBR06 journals/lmcs/BirkedalMP06 journals/lmcs/BirkedalTY06 journals/njc/DamgaardB06 conf/esop/BieringBT05 conf/lics/BirkedalTY05 journals/entcs/Birkedal05 journals/mscs/BirkedalM05 conf/popl/BirkedalTR04 journals/lisp/TofteBEH04 journals/tcs/BauerBS04 journals/tcs/BirkedalEJR04 journals/apal/BirkedalO02 journals/bsl/Birkedal02 journals/mscs/AwodeyBS02 journals/tcs/BirkedalT01 conf/csl/BauerB00 conf/lics/Birkedal00 conf/birthday/TofteB00 journals/entcs/Birkedal00a journals/entcs/Birkedal00 journals/entcs/Birkedal99 journals/entcs/AwodeyBS99 journals/entcs/BirkedalORS99 journals/iandc/BirkedalH99 conf/lics/BirkedalCRS98 journals/toplas/TofteB98 conf/tacs/BirkedalH97 conf/popl/BirkedalTV96 journals/lisp/BirkedalW95 conf/pepm/BirkedalW94 conf/plilp/BirkedalW94
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)