| |
# of records = 40
homepages/23/4864 conf/lfcs/HetzlLWP09 conf/aisc/HetzlLWP08 conf/lpar/HetzlLWP08 journals/mscs/CiabattoniL08 journals/tcs/BaazHLRS08 conf/birthday/HetzlL06 conf/mkm/BaazHLRS06 journals/jsc/BaazL06 journals/jalc/CavaliereFLP06 conf/lpar/BaazL04 conf/lpar/BaazHLRS04 conf/cade/2001 conf/dagstuhl/BaazL01 books/el/RV01/FermullerLHT01 books/el/RV01/BaazEL01 journals/jsc/BaazL00 conf/cade/BaazLM99 journals/apal/BaazL99 conf/ftp/Leitsch98 journals/igpl/FermullerL98 conf/kgc/1997 conf/csl/BaazL96 journals/logcom/FermullerL96 journals/tcs/BaazLZ96 conf/csl/BaazLZ95 conf/lics/BaazFL94 journals/fuin/BaazL94 books/sp/FermullerLTZ93 conf/kgc/1993 journals/fuin/Leitsch93 conf/csl/FernmullerL92 journals/apal/BaazL92 conf/issac/BaazL90 conf/csl/Leitsch89 conf/eurocal/BaazL87 conf/ogai/BaazL85 conf/eurocal/GottlobL85 journals/jacm/GottlobL85 journals/fuin/Leitsch80
Copyright © 2010-01-03 by Michael Ley (ley@uni-trier.de)