dblp keys for Alasdair Urquhart

Alasdair Urquhart

Keys

# of data records = 66

homepages/u/AlasdairUrquhart journals/flap/Urquhart17 journals/bsl/Urquhart16 journals/bsl/Urquhart16a journals/jsyml/MintsOU13 journals/corr/abs-1205-1050 journals/sLogica/Urquhart11 journals/siamcomp/Urquhart11 journals/bsl/Urquhart10 journals/jphil/Urquhart10 books/cu/10/UrquhartCH10 journals/bsl/Urquhart09 journals/jsat/HertelU09 series/hhl/Urquhart09 journals/eccc/HertelU09 journals/jphil/PelletierU08 journals/jphil/KremerU08 journals/rsl/AntonelliUZ08 conf/sat/Urquhart08 journals/tcs/Urquhart07 journals/toc/AlekhnovichJPU07 conf/csl/HertelU07 conf/sat/HertelHU07 journals/jsyml/AraiPU06 conf/RelMiCS/DuntschU06 conf/tamc/Urquhart06 journals/eccc/HertelU06 journals/igpl/Urquhart05 conf/RelMiCS/Urquhart05 journals/aml/SoltysU04 journals/amai/Urquhart03 journals/jphil/PelletierU03 conf/stoc/AlekhnovichJPU02 conf/stoc/AraiPU01 books/ws/phaunRS01/Urquhart01 journals/eccc/ECCC-TR01-056 conf/tableaux/AraiU00 journals/dam/Urquhart99 journals/jsyml/Urquhart99 journals/eatcs/Urquhart98 journals/aml/Urquhart97 journals/igpl/Urquhart97 journals/jgt/Urquhart97 journals/ndjfl/UrquhartF96 journals/sLogica/Urquhart96 journals/bsl/Urquhart95 journals/siamdm/PitassiU95 conf/lics/ImpagliazzoPU94 journals/apal/CookU93 journals/jphil/Urquhart93 journals/amai/Urquhart92 journals/siamcomp/BellantoniPU92 conf/focs/PitassiU92 conf/coco/BellantoniPU91 journals/sLogica/CzelakowskiUWWS90 journals/tcs/Urquhart89 conf/stoc/CookU89 journals/mlq/MeyerMGU88 journals/jacm/Urquhart87 journals/jsyml/GiambroneMU87 journals/mlq/GiambroneU87 journals/jsyml/Urquhart84 journals/jphil/Urquhart81 journals/jsyml/Urquhart74 journals/jphil/Urquhart73 journals/jsyml/Urquhart72

a service of  Schloss Dagstuhl - Leibniz Center for Informatics