| |
# of records = 76
homepages/s/GertSmolka conf/dlog/KaminskiS09 conf/tableaux/BrownS09 conf/tableaux/KaminskiSS09 conf/tphol/BrownS09 journals/entcs/KaminskiS09 conf/cade/KaminskiS08 journals/entcs/HardtS07 conf/cp/TackSS06 conf/flairs/DebusmannS06 journals/entcs/TackKS06 journals/tcs/NiehrenSS06 conf/frocos/NiehrenSS05 conf/moz/Smolka04 conf/sfp/RossbergBTBS04 conf/esop/2000 journals/constraints/Smolka00 journals/njc/Smolka00 journals/toplas/HaridiRBMSS99 conf/esop/Smolka98 conf/cp/1997 conf/slp/Smolka97 journals/toplas/RoyHBSMS97 journals/tcs/PodelskiS97 conf/asian/Smolka96 conf/jelia/Smolka96 journals/csur/Smolka96 journals/ki/MullerS96 conf/cp/PodelskiS95 conf/europar/Smolka95 conf/iclp/Smolka95 conf/iclp/PodelskiS95 conf/iclp/PodelskiS95a conf/lmo/Smolka95 books/sp/cstoday95/Smolka95 journals/tcs/BackofenS95 conf/ccl/HenseS94 conf/ccl/Smolka94 conf/ccl/NiehrenS94 journals/lncs/Smolka94 conf/ppcp/SchulteSW94 conf/slp/SchulteS94 journals/jlp/SmolkaT94 journals/tcs/Ait-KaciPS94 conf/acl/BackofenS93 conf/ijcai/HenzSW93 conf/ki/SmolkaHW93 conf/wlp/Smolka93 conf/fgcs/Ait-KaciPS92 conf/iwar/HenseS92 conf/iclp/SmolkaT92 journals/jlp/Smolka92 journals/lncs/NebelS91 conf/wclp/Smolka91 journals/ai/Schmidt-SchaussS91 conf/cade/MullerBNNS90 conf/ki/HernandezNSW89 conf/ki/Smolka89 conf/lilog/NebelS89 tr/ibm/IWBS68 tr/ibm/IWBS81 tr/ibm/IWBS93 journals/jsc/NuttRS89 journals/jsc/SmolkaA89 phd/Smolka89 conf/adt/Smolka88 conf/alp/Smolka88 tr/ibm/LILOG33 tr/ibm/LILOG53 conf/adt/Smolka86 books/ph/deGrootL86/Smolka86 conf/lfp/Smolka84 conf/ki/Smolka82 conf/ki/SiekmannS81 conf/ijcai/BlasiusESSNW81 conf/gi/EisingerSSUW80
Copyright © 2009-11-25 by Michael Ley (ley@uni-trier.de)