| |
# of records = 135
homepages/v/AndreiVoronkov conf/cade/KovacsV09 conf/cp/KorovinTV09 conf/fase/KovacsV09 conf/ki/HoderV09 conf/sas/VoronkovN09 conf/tacas/BjornerTV09 conf/rta/2008 conf/lpar/2008 conf/cade/PerezV08 conf/ershov/2006 conf/csr/2007 conf/lpar/2007 conf/cade/PerezV07 conf/csl/KorovinV07 conf/sat/PerezV07 conf/dagstuhl/2005P5431 conf/lpar/2006 conf/adbis/JaberV06 conf/foiks/HorrocksV06 conf/icde/JaberV06 conf/jelia/Voronkov06 conf/lpar/2004 conf/lpar/2005 conf/aaai/NavarroV05 conf/dagstuhl/BaaderBNV05a conf/dagstuhl/BaaderBNV05 conf/mfcs/ChubarovV05 conf/mfcs/KorovinV05 conf/birthday/ChubarovV05 conf/sas/NarasamdyaV05 journals/tocl/KorovinV05 journals/iandc/RiazanovV05 conf/cade/HustadtKRV04 conf/cade/RiazanovV04 conf/lpar/2003 conf/cade/RiazanovV03 conf/cade/KorovinV03 conf/csl/MaksimovaV03 conf/csl/RybinaV03 conf/ershov/RybinaV03 conf/icalp/RybinaV03 conf/ijcai/Voronkov03 conf/lics/KorovinV03 journals/iandc/KorovinV03 journals/jar/Voronkov03 journals/jsc/RiazanovV03 journals/jsc/DegtyarevNV03 conf/cade/2002 conf/lpar/2002 conf/amast/RybinaV02 conf/cav/RybinaV02 conf/fsttcs/KorovinV02 journals/aicom/RiazanovV02 journals/corr/cs-LO-0207068 books/el/RobinsonV01 conf/lpar/2001 conf/ershov/RiazanovV01 conf/icalp/KorovinV01 conf/ijcai/RiazanovV01 conf/cade/Voronkov01 conf/cade/NieuwenhuisHRV01 conf/cade/RiazanovV01 conf/rta/KorovinV01 books/ws/phaunRS01/DegtyarevGV01 books/el/RV01/DegtyarevV01 books/el/RV01/DegtyarevV01a books/el/RV01/RobinsonV01 books/el/RV01/RamakrishnanSV01 journals/csur/DantsinEGV01 journals/tocl/RybinaV01 journals/tocl/Voronkov01 journals/sLogica/FittingTV01 conf/lpar/2000 conf/cade/DegtyarevV00 conf/jelia/RiazanovV00 conf/kr/Voronkov00 conf/lics/RybinaV00 conf/lics/KorovinV00 conf/lics/Voronkov00 conf/pods/DantsinV00 conf/tableaux/FittingTV00 journals/tcs/DegtyarevGNVV00 conf/lpar/1999 conf/cade/RiazanovV99 conf/cade/Voronkov99 conf/fossacs/DantsinV99 journals/jsyml/Voronkov99 journals/tcs/GurevichV99 journals/tcs/Voronkov99 conf/dagstuhl/1998change conf/cade/BachmairGV98 conf/lics/Voronkov98 conf/pods/VorobyovV98 conf/rta/DegtyarevGNVV98 journals/jar/DegtyarevV98 journals/jar/Voronkov98 conf/icalp/GurevichV97 conf/coco/DantsinEGV97 conf/ijcai/Voronkov97 conf/lfcs/DantsinV97 conf/cade/Voronkov96 conf/disco/DegtyarevV96 conf/elp/ArgeniusV96 conf/elp/DegtyarevV96 conf/ershov/Voronkov96 conf/jelia/DegtyarevV96 conf/lics/DegtyarevMV96 conf/lics/DegtyarevV96 conf/tableaux/Voronkov96 journals/eatcs/DegtyarevGV96 journals/jlp/DegtyarevV96 journals/tcs/DegtyarevV96 conf/csl/DegtyarevV95 conf/iclp/DegtyarevV95 conf/ijcai/DegtyarevV95 conf/wocfai/DegtyarevV95 journals/amai/Voronkov95 journals/jar/Voronkov95 conf/plilp/Voronkov94 conf/lpar/1993 conf/kgc/SazonovV93 conf/lpar/1991 conf/lpar/1992 conf/cade/Voronkov92 conf/istcs/Voronkov92 conf/iclp/Voronkov92 conf/csl/Voronkov91 conf/pdk/BoleyMMRV91 conf/lpar/Voronkov91 conf/cade/Voronkov90 conf/esop/Voronkov90 conf/colog/StarchenkoV88 conf/colog/Voronkov88 conf/fct/Voronkov87
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)