DBLP Keys for 'Yuri Gurevich'

# of records = 174

homepages/g/YuriGurevich conf/trustbus/GurevichR09 journals/entcs/FinkbeinerGP09 conf/csfw/GurevichN08 conf/mfcs/BlassG08 journals/tocl/BlassG08a journals/tocl/BlassG08 journals/bsl/DershowitzG08 journals/corr/abs-0811-0811 journals/corr/abs-0811-0819 journals/corr/abs-0811-0964 journals/corr/abs-0811-0977 journals/corr/abs-0811-0987 journals/entcs/FinkbeinerGP08 conf/tap/2007 conf/csr/Gurevich07 conf/dbpl/GurevichLB07 conf/icdt/GroheGLSTB07 journals/tocl/BlassG07 journals/tocl/BlassG07a journals/corr/abs-0707-3782 journals/corr/abs-0707-3789 journals/entcs/FinkbeinerGP07 journals/lmcs/BlassGRR07 journals/lmcs/BlassGRR07a journals/siamcomp/GurevichS07 journals/tcs/GurevichVW07 conf/dlt/GurevichW06 journals/tocl/BlassG06 journals/entcs/BarringerFGS06 journals/entcs/FinkbeinerGP06 conf/asm/Gurevich05 conf/fates/BlassGNV05 conf/mfcs/Gurevich05 journals/entcs/GurevichPK05 journals/tcs/GurevichT05 journals/tcs/GurevichRS05 conf/asm/Gurevich04 conf/asm/GurevichY04 conf/foiks/Gurevich04 journals/eatcs/BlassG04 journals/tse/GlasserGV04 conf/asm/GurevichT03 conf/fmco/GurevichRS03 conf/lics/GurevichS03 journals/tocl/BlassG03 journals/eatcs/BlassG03 journals/jsyml/BlassG03 conf/hicss/GlasserGV02 conf/issta/GrieskampGSV02 journals/bsl/DawarG02 journals/eatcs/BlassG02a journals/eatcs/BlassG02 journals/iandc/BlassGB02 journals/logcom/GurevichR02 journals/jsyml/BlassGS02 conf/ershov/Gurevich01 conf/lics/Gurevich01 books/ws/phaunRS01/Gurevich01 books/ws/phaunRS01/Gurevich01a books/ws/phaunRS01/Gurevich01b books/ws/phaunRS01/DegtyarevGV01 books/ws/phaunRS01/Gurevich01c books/ws/phaunRS01/Gurevich01d books/ws/phaunRS01/BlassG01 journals/tocl/BlassG01 journals/jucs/GurevichT01 conf/asm/2000 conf/amast/Gurevich00 conf/asm/GurevichR00 conf/asm/GurevichSW00 conf/asm/BlassGB00 conf/asm/BarnettBGSV00 conf/csl/BlassG00 conf/csl/BlassG00a journals/tocl/Gurevich00 journals/eatcs/BlassG00a journals/eatcs/BlassG00 journals/jacm/EiterGG00 journals/jsyml/GurevichR00 journals/jsyml/BlassG00 journals/tcs/DegtyarevGNVV00 journals/apal/BlassGS99 journals/eatcs/Gurevich99 journals/iandc/GurevichV99 journals/tcs/GurevichV99 conf/lics/EiterGG98 conf/pods/GradelGH98 conf/rta/DegtyarevGNVV98 journals/corr/cs-SE-9810023 journals/corr/cs-SE-9810024 journals/corr/cs-SE-9810026 journals/iandc/GradelG98 journals/ipl/BlassGKL98 books/sp/BorgerGG1997 conf/icalp/GurevichV97 conf/birthday/AlechinaG97 journals/eatcs/Gurevich97 journals/jucs/GurevichS97 journals/jucs/BlassG97 journals/jucs/DexterDG97 journals/jucs/GurevichSW97 journals/tcs/GurevichH97 journals/apal/EiterGG96 journals/eatcs/DegtyarevGV96 journals/jsyml/GurevichS96 conf/comad/WallaceGS95 conf/csl/GurevichH95 journals/apal/Gurevich95 journals/eatcs/Gurevich95a journals/eatcs/Gurevich95 journals/jsyml/GradelG95 journals/siamcomp/BlassG95 conf/csl/1993 conf/icalp/GradelG94 conf/ifip/BlassG94 conf/ifip/Gurevich94 conf/ifip/GurevichH94 conf/lcc/GradelG94 conf/lics/GurevichIS94 journals/jcss/AjtaiG94 conf/csl/GurevichH93 conf/ijcai/EiterGG93 journals/siamcomp/BlassG93 conf/csl/GurevichH92 journals/eatcs/Gurevich92 conf/fsttcs/BlassG91 conf/icalp/Gurevich91 journals/jcss/Gurevich91 conf/csl/BlassG90 conf/focs/Gurevich90 journals/eatcs/Gurevich90 journals/iandc/Gurevich90 journals/jacm/GurevichS90 conf/csl/GurevichM89 conf/focs/AjtaiG89 conf/ershov/GurevichS89 journals/eatcs/Gurevich89a journals/eatcs/Gurevich89 journals/ipl/BlassG89 journals/jsyml/GurevichS89 journals/jsyml/GurevichS89a conf/stoc/GurevichS88 journals/eatcs/Gurevich88 conf/csl/GurevichM87 conf/birthday/BlassG87 conf/focs/Gurevich87 conf/fsttcs/Gurevich87 journals/jacm/AjtaiG87 journals/siamcomp/GurevichS87 journals/iandc/DenenbergGS86 conf/focs/GurevichS85 journals/iandc/BlassGK85 journals/jsyml/GurevichS85 journals/iandc/GurevichL84 journals/jacm/GurevichSV84 journals/jsyml/GurevichL84 journals/jsyml/GoldfarbGS84 journals/siamcomp/BlassG84 conf/focs/Gurevich83 conf/lam/BlassG83 journals/jsyml/Gurevich83 journals/jsyml/GurevichMS83 journals/jsyml/GurevichS83 journals/jsyml/GurevichS83a journals/jsyml/GurevichS83b conf/podc/SistlaCFG82 conf/pods/GurevichL82 conf/stoc/GurevichH82 journals/iandc/GurevichL82 journals/iandc/BlassG82 journals/jsyml/Gurevich79 journals/jsyml/GurevichS79 journals/jsyml/Gurevich76

XML