| |
# of records = 51
homepages/81/113 conf/fossacs/AbdullaM09 conf/lics/GollerMT09 conf/fossacs/AbdullaHAMS08 journals/corr/abs-0706-2585 journals/lmcs/AbdullaMM07 journals/lmcs/AbdullaHM07 conf/atva/AbdullaHMS06 conf/qest/AbdullaHMS06 journals/corr/abs-cs-0611048 journals/lmcs/KuceraEM06 conf/lics/EsparzaKM05 conf/lics/AbdullaHM05 journals/corr/abs-cs-0508003 journals/tcs/Mayr05 conf/fsttcs/AbdullaMM04 conf/ifipTCS/KuceraM04 conf/lics/EsparzaKM04 conf/spin/LeueMW04 conf/tacas/LeueMW04 journals/entcs/Mayr04 conf/icalp/Mayr03 journals/tcs/BouajjaniHM03 journals/tcs/Mayr03 conf/concur/KuceraM02 conf/mfcs/KuceraM02 journals/entcs/KuceraM02 journals/iandc/KuceraM02 journals/tcs/KuceraM02 conf/mfcs/BouajjaniHM01 journals/entcs/Mayr01 journals/tcs/Mayr01 journals/tcs/JancarKM01 conf/icalp/Mayr00 conf/ifipTCS/Mayr00a conf/latin/Mayr00 journals/iandc/Mayr00 conf/concur/KuceraM99 conf/icalp/KuceraM99 conf/lics/EsparzaFM99 conf/stacs/BouajjaniM99 conf/icalp/JancarKM98 journals/entcs/Mayr98 journals/tcs/MayrN98 conf/concur/Mayr97 conf/dagstuhl/MayrS97 conf/tableaux/Mayr97 conf/tacs/Mayr97 journals/entcs/Mayr97 conf/fsttcs/Mayr96 journals/entcs/Mayr96
Copyright © 2010-01-01 by Michael Ley (ley@uni-trier.de)