DBLP Keys for 'Claude Kirchner'

# of records = 103

homepages/k/ClaudeKirchner journals/corr/abs-0907-3123 journals/entcs/KirchnerKO09 conf/birthday/DershowitzK08 conf/lata/KirchnerKM08 journals/entcs/BaldanBCK08 conf/birthday/2007jouannaud conf/esop/KirchnerKM07 conf/esorics/DoughertyKKO07 conf/ccs/OliveiraWKK07 conf/fossacs/BertolissiK07 conf/lfcs/BurelK07 conf/lics/BraunerHK07 conf/birthday/BraunerHK07 journals/entcs/FernandezK07 journals/lisp/CirsteaFK07 journals/mscs/BaldanBCK07 conf/amast/BallandKM06 conf/birthday/BurelK06 conf/fossacs/BlanquiKR06 conf/dagstuhl/KirchnerMR06 journals/corr/abs-cs-0609002 journals/entcs/KirchnerKS06 journals/lisp/BertolissiCK06 journals/tcs/DershowitzK06 conf/ppdp/KirchnerMR05 conf/wwv/KirchnerKS05 journals/entcs/CirsteaFK05 journals/entcs/Kirchner05 journals/entcs/BertolissiBCK05 conf/asian/KirchnerK04 conf/cade/DeplagneKKN03 conf/lics/DershowitzK03 conf/popl/BartheCKL03 journals/entcs/BertolissiCK03 journals/entcs/CirsteaKLW03 journals/jar/DowekHK03 conf/aisc/DeplagneK02 conf/lpar/DowekHK02 conf/rta/BournezK02 conf/rta/FaureK02 journals/entcs/CirsteaKL02 journals/jar/NguyenKK02 journals/tcs/BorovanskyKKM02 conf/fossacs/CirsteaKL01 conf/rta/CirsteaKL01 journals/corr/cs-PL-0109024 journals/ijfcs/BorovanskyKKR01 journals/igpl/CirsteaK01 journals/igpl/CirsteaK01a journals/mscs/DowekHK01 journals/entcs/CirsteaK00 journals/iandc/DowekHK00 conf/ccl/ComonK99 conf/rta/DowekHK99 journals/constraints/ComonDJK99 journals/endm/DomenjoudKZ99 conf/cade/1998 conf/asian/CirsteaK98 conf/cp/DomenjoudKZ98 conf/flops/BorovanskyKK98 journals/entcs/BorovanskyKKMR98 journals/entcs/KirchnerK98 journals/fuin/KirchnerR98 journals/jsc/HintermeierKK98 conf/alp/KirchnerR97 conf/iclp/AjiliK97 conf/alp/AlouiniK96 conf/iclp/DowekHKP96 conf/rta/KirchnerLS96 journals/entcs/BorovanskyKK96 journals/entcs/BorovanskyKKMV96 conf/lics/DowekHK95 journals/tcs/Kirchner95 conf/compass/HintermeierKK94 conf/icalp/HintermeierKK94 conf/rta/1993 conf/ppcp/KirchnerKV93 journals/jlp/JouannaudKKM92 journals/jsc/AdiK92 conf/birthday/JouannaudK91 journals/cj/HermannKK91 journals/tcs/DoggazK91 conf/cade/Kirchner90 conf/disco/AdiK90 conf/dagstuhl/KirchnerV90 conf/lics/KirchnerK90 conf/plilp/KirchnerV90 journals/tcs/GnaedigKK90 conf/issac/KirchnerK89 conf/alp/JouannaudKKM88 conf/caap/GnaedigKK88 conf/icalp/KirchnerKM88 conf/ctrs/GoguenKKMMW87 conf/lics/KirchnerL87 journals/scp/KirchnerK87 conf/gr/GoguenKM86 conf/lics/Kirchner86 conf/eurocal/KirchnerK85 conf/rta/RetyKKL85 conf/cade/Kirchner84 conf/icalp/JouannaudKK83 conf/ijcai/KirchnerKJ81

XML