| |
# of records = 21
homepages/81/3747 conf/tphol/2009 conf/tphol/BerghoferBH09 conf/tphol/BerghoferR09 conf/aisc/BerghoferW08 conf/lics/UrbanCB08 conf/tphol/BerghoferU08 journals/corr/abs-0804-1667 conf/cade/UrbanBN07 journals/entcs/BerghoferU07 conf/cade/UrbanB06 journals/sLogica/BergerBLS06 conf/sefm/BerghoferN04 conf/types/Berghofer04 conf/types/Berghofer03 journals/entcs/BerghoferS03 conf/types/Berghofer02 conf/fossacs/RocklHB01 conf/tphol/BerghoferN00 conf/types/BerghoferN00 conf/tphol/BerghoferW99
Copyright © 2010-01-08 by Michael Ley (ley@uni-trier.de)