| |
# of records = 42
homepages/25/4329 conf/calco/2009 conf/calco/HonsellL09 journals/corr/abs-0906-2727 conf/fossacs/GianantonioHL08 conf/lpar/HonsellLLS08 conf/wadt/GianantonioHL08 journals/tcs/GianantonioHL08 journals/entcs/HonsellLL07 journals/mscs/HonsellLR07 journals/entcs/HonsellLR06 journals/entcs/CancilaHL06 journals/entcs/CancilaHL06a journals/apal/AbramskyL05 journals/entcs/HonsellLM04 journals/entcs/HonsellLR04 journals/entcs/CancilaHL04 journals/entcs/BruniHLM04 journals/tcs/LenisaPW04 conf/lpar/HonsellLR03 conf/types/HonsellL03 journals/entcs/CancilaHL03 conf/csl/AbramskyL01 journals/entcs/CorradiniLM01 journals/entcs/BruniHLM01 journals/entcs/LenisaM01 conf/csl/AbramskyL00 conf/mfcs/AbramskyL00 journals/entcs/HonsellL00 journals/entcs/LenisaPW00 conf/fossacs/Lenisa99 journals/entcs/Lenisa99 journals/mscs/HonsellL99 journals/tcs/HonsellL99 conf/procomet/HonsellLMP98 conf/tapsoft/Lenisa97 conf/tlca/Lenisa97 journals/mscs/FortiHL97 conf/caap/Lenisa96 conf/tlca/HonsellL95 conf/mfcs/FortiHL94 conf/mfcs/HonsellL93
Copyright © 2010-01-06 by Michael Ley (ley@uni-trier.de)