| |
# of records = 22
homepages/77/6631 conf/csl/CiabattoniST09 conf/tlca/BasaldellaT09 journals/iandc/BaillotT09 conf/lics/CiabattoniGT08 journals/aml/Terui07 journals/corr/abs-0710-1153 journals/lmcs/AtassiBT07 conf/csl/AtassiBT06 conf/lpar/CiabattoniT06 journals/corr/abs-cs-0603104 journals/mscs/KanovichOT06 journals/sLogica/CiabattoniT06 conf/tlca/BaillotT05 conf/lics/Terui04 conf/lics/BaillotT04 journals/corr/abs-cs-0412028 journals/corr/cs-LO-0402059 journals/sLogica/Terui04 conf/ictcs/MairsonT03 conf/lics/Terui01 journals/jsyml/OkadaT99
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)