| |
# of records = 45
homepages/d/PeterDybjer conf/tphol/BoveDN09 conf/flops/AbelCD08 conf/lernet/BoveD08 conf/mpc/AbelCD08 journals/entcs/BuisseD08 journals/entcs/BuisseD08a conf/lics/AbelCD07 journals/entcs/AbelAD07 journals/jlp/DybjerS06 conf/ictac/DybjerHT04 journals/infsof/DybjerHT04 journals/jfp/BartheDT04 conf/qsic/DybjerHT03 conf/tphol/DybjerHT03 journals/apal/DybjerS03 journals/njc/BenkeDJ03 conf/ac/2000appsem conf/lics/AltenkirchDHS01 conf/dagstuhl/DybjerS01 conf/types/1999 conf/ac/DybjerF00 journals/jsyml/Dybjer00 conf/tlca/DybjerS99 journals/mscs/CubricDS98 journals/mscs/CoquandD97 journals/tcs/Dybjer97 conf/tphol/AgerholmBD96 conf/types/1994 conf/types/Dybjer95 conf/types/BeylinD95 conf/fsttcs/CoquandD94 journals/fac/Dybjer94 journals/iandc/Dybjer91 journals/scp/Dybjer90 conf/ctcs/1989 journals/fac/DybjerS89 conf/facs/DybjerS88 conf/icalp/Dybjer87 conf/ctcs/Dybjer85 conf/fpca/Dybjer85 conf/stacs/Dybjer85 conf/icalp/Dybjer84 journals/tcs/Dybjer84 conf/adt/Dybjer83
Copyright © 2009-11-23 by Michael Ley (ley@uni-trier.de)