| |
# of records = 77
homepages/19/6791 conf/calco/HonsellL09 journals/iandc/HonsellP09 journals/corr/abs-0906-2727 conf/types/2007 conf/fossacs/GianantonioHL08 conf/lpar/HonsellLLS08 conf/wadt/GianantonioHL08 journals/tcs/GianantonioHL08 journals/entcs/HonsellLL07 journals/mscs/HonsellLR07 journals/entcs/HonsellLR06 journals/entcs/LiquoriHR06 journals/entcs/CancilaHL06 journals/entcs/CancilaHL06a journals/lisp/HonsellT06 journals/jfp/BucaloHMSH06 conf/icfp/MiculanSH05 conf/wwv/LiquoriHR05 journals/tcs/Dezani-CiancagliniHM05 journals/entcs/HonsellLM04 journals/entcs/HonsellLR04 journals/entcs/CancilaHL04 journals/entcs/BruniHLM04 conf/ictcs/CancilaH03 conf/lpar/HonsellLR03 conf/types/HonsellL03 conf/types/HonsellS03 journals/tocl/Dezani-CiancagliniHA03 journals/entcs/CancilaHL03 journals/tcs/AlessiBH03 journals/iandc/HonsellS02 conf/fossacs/2001 conf/icalp/HonsellMS01 conf/ictcs/AlessiDH01 journals/entcs/BruniHLM01 journals/entcs/HonsellMS01 journals/logcom/Dezani-CiancagliniHM01 journals/tcs/HonsellMS01 conf/fossacs/HonsellLST00 conf/icalp/Dezani-CiancagliniHA00 conf/mfcs/Dezani-CiancagliniHM00 journals/corr/cs-LO-0011039 journals/entcs/HonsellL00 conf/csl/HonsellS99 conf/tlca/GianantonioFH99 journals/mscs/HonsellL99 journals/tcs/HonsellL99 conf/oopsla/GianantonioHL98 conf/procomet/HonsellLMP98 journals/apal/FortiH98 journals/jfp/HonsellPR98 journals/sLogica/AvronHMP98 conf/tapsoft/AlessiBH97 journals/mscs/FortiHL97 journals/apal/FortiH96 journals/tcs/FortiH96 conf/tlca/HonsellL95 conf/types/HonsellM95 journals/iandc/HonsellMST95 journals/njc/GianantonioHP95 conf/concur/GianantonioHLP94 conf/mfcs/FortiHL94 journals/njc/FisherHM94 conf/lics/MitchellHF93 conf/mfcs/HonsellL93 conf/tlca/GianantonioH93 journals/fuin/GianniniHR93 journals/jacm/HarperHP93 conf/csl/HonsellMST92 journals/fuin/EgidiHR92 journals/jar/AvronHMP92 journals/jcss/HonsellR92 conf/mfcs/EgidiHR91 conf/fsttcs/BurstallH88 conf/lics/HarperHP87 journals/jsyml/FortiH85
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)