| |
# of records = 19
homepages/19/6583 journals/jancl/BidoitCT04 journals/tcs/CerritoK04 conf/bda/BidoitCT03 conf/tableaux/ThionCM02 conf/cade/CerritoM01 journals/sLogica/MayerC01 conf/tableaux/MayerC00 conf/lics/CerritoaK99 conf/lpar/CerritoMP99 conf/bda/BenzakenCP99 conf/aimsa/CerritoM98 conf/tableaux/CerritoM98 conf/tableaux/CerritoM97 journals/igpl/CerritoM97 journals/logcom/BidoitCF96 conf/iclp/Cerrito92 journals/jlp/Cerrito92 conf/lics/Cerrito90
Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)