| |
# of records = 23
homepages/59/4489 conf/lics/AehligB08 conf/tphol/AehligHN08 journals/apal/Aehlig08 conf/csl/AehligCN07 conf/csl/AehligB07 journals/corr/abs-0706-2076 journals/corr/abs-0712-1499 journals/entcs/AbelAD07 journals/lmcs/Aehlig07 conf/csl/Aehlig06 conf/fossacs/AehligMO05 conf/tlca/AehligMO05 journals/tocl/AehligJ05 journals/apal/AehligJ05 journals/mscs/AehligJ04 journals/tcs/AehligBHS04 conf/csl/AehligJ02 journals/tocl/AehligS02 journals/corr/cs-LO-0210022 conf/dagstuhl/AehligJST01 conf/lics/AehligS00 journals/corr/cs-LO-0011037
Copyright © 2009-12-07 by Michael Ley (ley@uni-trier.de)