| |
# of records = 8
homepages/06/5123 conf/cie/Letouzey08 conf/tphol/TheryLG06 journals/entcs/Cruz-FilipeL06 journals/sLogica/BergerBLS06 conf/esop/FilliatreL04 conf/types/Letouzey02 conf/tphol/LetouzeyT00
Copyright © 2009-11-26 by Michael Ley (ley@uni-trier.de)