| |
# of records = 41
homepages/s/GuntherSchmidt conf/RelMiCS/SchmidtB09 conf/RelMiCS/Schmidt08 conf/RelMiCS/Schmidt08a journals/jlp/SchmidtB08 conf/casc/BerghammerS07 conf/RelMiCS/2006tarski conf/RelMiCS/Schmidt06 conf/RelMiCS/Schmidt06a journals/jlp/Schmidt06 conf/RelMiCS/2003 conf/RelMiCS/Schmidt03a conf/RelMiCS/BerghammerSW03 conf/RelMiCS/Schmidt03 journals/entcs/KahlPS01 journals/sLogica/DuntschSW01 journals/stt/Schmidt00 journals/isci/JaouaS99 conf/wg/1994 books/sp/SchmidtS93 conf/amast/BerghammerHSV93 conf/amast/BerghammerS93 conf/amast/HattenspergerBS93 conf/ershov/HaebererBS93 conf/hoa/BerghammerGS93 conf/wg/1991 conf/stacs/BerghammerS91 books/sp/SchmidtS89 journals/acta/SchmidtBZ89 journals/ipl/BerghammerSZ89 conf/wg/1986 conf/stacs/SchmidtBZ87 conf/wg/ZiererSB86 journals/dm/SchmidtS85 journals/dm/BerghammerS83 journals/tcs/Schmidt81 journals/tcs/Schmidt81a conf/wg/Schmidt80 journals/cj/SchmidtS80 conf/icalp/Schmidt79 conf/ifip/SchmidtS74
Copyright © 2009-11-30 by Michael Ley (ley@uni-trier.de)