| |
# of records = 43
homepages/50/4956 conf/cade/2008 conf/rta/ArrighiD08 journals/entcs/Dowek08 conf/rta/DowekH07 conf/tlca/CousineauD07 conf/rodin/MunozCD06 conf/types/Dowek06 journals/tcs/DowekJ06 conf/cade/Dowek05 conf/rta/DowekW05 journals/entcs/ArrighiD05 conf/issta/MunozDC04 conf/rta/Dowek03 journals/entcs/DowekJ03 journals/jar/DowekHK03 journals/sttt/MunozCDB03 conf/lpar/DowekHK02 conf/stacs/Dowek02 conf/charme/ButlerCDM01 conf/tlca/Dowek01 books/el/RV01/Dowek01 journals/logcom/Dowek01 journals/mscs/DowekHK01 conf/frocos/Dowek00 journals/iandc/DowekHK00 conf/tphol/1999 conf/rta/DowekHK99 journals/mscs/Dowek99 conf/ftp/Dowek98 conf/types/DowekW98 conf/tphol/Dowek97 conf/hoa/1995 conf/iclp/DowekHKP96 conf/types/Dowek96 conf/lics/DowekHK95 conf/tlca/Dowek95 journals/apal/Dowek94 conf/tlca/Dowek93 journals/logcom/Dowek93 journals/tcs/Dowek93 conf/lics/Dowek92 conf/mfcs/Dowek91
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)