| |
# of records = 43
homepages/29/6684 conf/cade/BorrallerasLNRR09 journals/logcom/BofillR09 conf/cav/BofillNORR08 conf/csl/BlanquiJR08 conf/fmcad/BofillNORR08 journals/corr/abs-0806-2517 conf/lpar/BlanquiJR07 conf/rta/NieuwenhuisORR07 conf/birthday/BorrallerasR07 journals/corr/abs-0708-3582 journals/jacm/JouannaudR07 conf/lpar/BlanquiJR06 conf/rta/JouannaudR06 journals/corr/abs-cs-0609039 conf/lpar/FernandezGR05 conf/rta/FernandezGR05 conf/cade/BofillR04 conf/rta/BorrallerasR03 journals/jar/BofillGNR03 conf/cade/BorrallerasLR02 conf/cade/BofillR02 journals/iandc/Rubio02 conf/lpar/BorrallerasR01 books/el/RV01/NieuwenhuisR01 conf/cade/BorrallerasFR00 conf/frocos/BofillGNR00 conf/lics/BofillGNR99 conf/lics/JouannaudR99 conf/rta/Rubio99 journals/tcs/JouannaudR98 journals/jsc/NieuwenhuisR97 conf/rta/JouannaudR96 conf/csl/Rubio95 conf/icalp/Rubio95 conf/lics/ComonNR95 journals/jsc/NieuwenhuisR95 journals/tcs/RubioN95 conf/cade/NieuwenhuisR94 conf/rta/RubioN93 conf/cade/NieuwenhuisR92 conf/esop/NieuwenhuisR92 conf/cade/NieuwenhuisOR90
Copyright © 2009-11-26 by Michael Ley (ley@uni-trier.de)