Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/pid/50/4956
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/pid/50/4956
https://dblp.org/rdf/schema#affiliation INRIA, France
https://dblp.org/rdf/schema#authorOf https://dblp.org/rec/conf/fossacs/BlotDTW24 + , https://dblp.org/rec/conf/rc/ArrighiDD24 + , https://dblp.org/rec/conf/wollic/DiazCaroDIM24 + , https://dblp.org/rec/journals/corr/abs-2402-09024 + , https://dblp.org/rec/journals/corr/abs-2404-05838 + , https://dblp.org/rec/journals/lmcs/BlanquiDGHT23 + , https://dblp.org/rec/journals/tcs/DiazCaroD23 + , https://dblp.org/rec/journals/tcs/DiazCaroD23a + , https://dblp.org/rec/journals/corr/abs-2303-18099 + , https://dblp.org/rec/journals/corr/abs-2304-00821 + , https://dblp.org/rec/journals/corr/abs-2304-05039 + , https://dblp.org/rec/journals/corr/abs-2304-05085 + , https://dblp.org/rec/journals/corr/abs-2304-08064 + , https://dblp.org/rec/journals/corr/abs-2304-08068 + , https://dblp.org/rec/journals/corr/abs-2304-10975 + , https://dblp.org/rec/journals/corr/abs-2304-11882 + , https://dblp.org/rec/journals/corr/abs-2304-11892 + , https://dblp.org/rec/journals/corr/abs-2304-13318 + , https://dblp.org/rec/journals/corr/abs-2304-13319 + , https://dblp.org/rec/journals/corr/abs-2304-13321 + , https://dblp.org/rec/journals/corr/abs-2305-00064 + , https://dblp.org/rec/journals/corr/abs-2305-01432 + , https://dblp.org/rec/journals/corr/abs-2305-01439 + , https://dblp.org/rec/journals/corr/abs-2305-01440 + , https://dblp.org/rec/journals/corr/abs-2305-03322 + , https://dblp.org/rec/journals/corr/abs-2305-06214 + , https://dblp.org/rec/journals/corr/abs-2305-07311 + , https://dblp.org/rec/journals/corr/abs-2305-08416 + , https://dblp.org/rec/journals/corr/abs-2305-10012 + , https://dblp.org/rec/journals/corr/abs-2305-10016 + , https://dblp.org/rec/journals/corr/abs-2305-13790 + , https://dblp.org/rec/journals/corr/abs-2305-14803 + , https://dblp.org/rec/journals/corr/abs-2305-15780 + , https://dblp.org/rec/journals/corr/abs-2305-15782 + , https://dblp.org/rec/journals/corr/abs-2305-18837 + , https://dblp.org/rec/journals/corr/abs-2306-00478 + , https://dblp.org/rec/journals/corr/abs-2306-00495 + , https://dblp.org/rec/journals/corr/abs-2306-00498 + , https://dblp.org/rec/journals/corr/abs-2306-01473 + , https://dblp.org/rec/journals/corr/abs-2306-05835 + , https://dblp.org/rec/journals/corr/abs-2306-05876 + , https://dblp.org/rec/journals/corr/abs-2306-07121 + , https://dblp.org/rec/journals/corr/abs-2306-07599 + , https://dblp.org/rec/journals/corr/abs-2307-00854 + , https://dblp.org/rec/journals/corr/abs-2309-02024 + , https://dblp.org/rec/journals/corr/abs-2309-03602 + , https://dblp.org/rec/journals/corr/abs-2309-11819 + , https://dblp.org/rec/journals/corr/abs-2309-16224 + , https://dblp.org/rec/journals/corr/abs-2310-04090 + , https://dblp.org/rec/journals/corr/abs-2310-08517 + , https://dblp.org/rec/journals/corr/abs-2310-10326 + , https://dblp.org/rec/journals/corr/abs-2310-12540 + , https://dblp.org/rec/journals/corr/abs-2310-20248 + , https://dblp.org/rec/journals/corr/abs-2310-20253 + , https://dblp.org/rec/journals/corr/abs-2311-07185 + , https://dblp.org/rec/journals/corr/abs-2312-15651 + , https://dblp.org/rec/journals/corr/abs-2312-16239 + , https://dblp.org/rec/journals/corr/abs-2312-16480 + , https://dblp.org/rec/journals/corr/abs-2312-16487 + , https://dblp.org/rec/journals/mscs/DowekFJL22 + , https://dblp.org/rec/conf/cade/Dowek22 + , https://dblp.org/rec/conf/fscd/Diaz-CaroD22 + , https://dblp.org/rec/journals/corr/abs-2201-11221 + , https://dblp.org/rec/conf/fscd/BlanquiDGHT21 + , https://dblp.org/rec/conf/ictac/Diaz-CaroD21 + , https://dblp.org/rec/journals/corr/abs-2107-07662 + , https://dblp.org/rec/journals/corr/abs-2111-00543 + , https://dblp.org/rec/journals/corr/abs-2002-03762 + , https://dblp.org/rec/journals/corr/abs-2012-08994 + , https://dblp.org/rec/journals/biosystems/Diaz-CaroDR19 + , https://dblp.org/rec/journals/cj/JiangLDJ19 + , https://dblp.org/rec/conf/rta/Diaz-CaroD19 + , https://dblp.org/rec/journals/flap/Dowek17 + , https://dblp.org/rec/journals/lmcs/ArrighiD17 + , https://dblp.org/rec/conf/icalp/Dowek17 + , https://dblp.org/rec/conf/tpnc/Diaz-CaroD17 + , https://dblp.org/rec/journals/corr/abs-1712-01485 + , https://dblp.org/rec/journals/logcom/DershowitzD16 + , https://dblp.org/rec/journals/corr/Dowek16 + , https://dblp.org/rec/journals/corr/DowekJ16 + , https://dblp.org/rec/journals/corr/Dowek16a + , https://dblp.org/rec/journals/corr/Diaz-CaroD16 + , https://dblp.org/rec/journals/corr/LiuDJJ16 + , https://dblp.org/rec/journals/dagstuhl-reports/DowekDPR16 + , https://dblp.org/rec/conf/frocos/BurelDJ15 + , https://dblp.org/rec/conf/lpar/DowekJ15 + , https://dblp.org/rec/conf/tpnc/ArrighiD15 + , https://dblp.org/rec/journals/corr/ArrighiD16 + , https://dblp.org/rec/journals/corr/Dowek15 + , https://dblp.org/rec/journals/corr/Dowek15a + , https://dblp.org/rec/journals/corr/ArrighiD15 + , https://dblp.org/rec/journals/entcs/EnglanderDH15 + , https://dblp.org/rec/journals/entcs/NalonLDH15 + , https://dblp.org/rec/journals/corr/DowekJ14 + , https://dblp.org/rec/journals/iandc/ArrighiD13 + , https://dblp.org/rec/conf/csr/Dowek13 + , https://dblp.org/rec/journals/corr/Diaz-CaroD14 + , https://dblp.org/rec/journals/ijfcs/ArrighiD12 + , https://dblp.org/rec/journals/nc/BournezD12 + , https://dblp.org/rec/journals/nc/Dowek12 + , https://dblp.org/rec/journals/ndjfl/DowekH12 + , https://dblp.org/rec/journals/scp/NarkawiczMD12 + , https://dblp.org/rec/journals/tcs/DowekG12 + , https://dblp.org/rec/journals/tocl/DowekG12 + , https://dblp.org/rec/conf/cilc/DowekG12 + , https://dblp.org/rec/conf/icalp/Dowek12 + , https://dblp.org/rec/conf/icalp/ArrighiD12 + , https://dblp.org/rec/conf/lata/Dowek12 + , https://dblp.org/rec/journals/corr/abs-1303-7334 + , https://dblp.org/rec/journals/corr/abs-1202-1098 + , https://dblp.org/rec/journals/ercim/DowekA12 + , https://dblp.org/rec/series/utcs/DowekL11 + , https://dblp.org/rec/series/utcs/Dowek11 + , https://dblp.org/rec/journals/iandc/DowekJ11 + , https://dblp.org/rec/journals/tcs/RochaMD11 + , https://dblp.org/rec/journals/corr/abs-1102-1612 + , https://dblp.org/rec/journals/corr/abs-1111-4611 + , https://dblp.org/rec/journals/igpl/DowekGM10 + , https://dblp.org/rec/journals/jar/ArmandoBD10 + , https://dblp.org/rec/conf/cie/ArrighiD10 + , https://dblp.org/rec/conf/ifipTCS/Dowek10 + , https://dblp.org/rec/conf/nfm/ButlerHMMND10 + , https://dblp.org/rec/conf/ppdp/DowekG10 + , https://dblp.org/rec/journals/corr/abs-1004-1027 + , https://dblp.org/rec/series/utcs/Dowek09 + , https://dblp.org/rec/journals/cj/DowekJ09 + , https://dblp.org/rec/journals/igpl/Dowek09 + , https://dblp.org/rec/conf/lfmtp/BurelD09 + , https://dblp.org/rec/journals/corr/abs-1002-2872 + , https://dblp.org/rec/journals/corr/abs-0911-4051 + , https://dblp.org/rec/conf/rta/ArrighiD08 + , https://dblp.org/rec/conf/rta/DowekH07 + , https://dblp.org/rec/conf/tlca/CousineauD07 + , https://dblp.org/rec/journals/entcs/Dowek08 + , https://dblp.org/rec/journals/tcs/DowekJ06 + , https://dblp.org/rec/conf/rodin/MunozCD06 + , https://dblp.org/rec/conf/types/Dowek06 + , https://dblp.org/rec/journals/corr/ArrighiD06 + , https://dblp.org/rec/conf/cade/Dowek05 + , https://dblp.org/rec/conf/rta/DowekW05 + , https://dblp.org/rec/conf/issta/MunozDC04 + , https://dblp.org/rec/journals/entcs/ArrighiD05 + , https://dblp.org/rec/journals/jar/DowekHK03 + , https://dblp.org/rec/journals/jsyml/DowekW03 + , https://dblp.org/rec/journals/sttt/MunozCDB03 + , https://dblp.org/rec/conf/rta/Dowek03 + , https://dblp.org/rec/journals/entcs/DowekJ03 + , https://dblp.org/rec/conf/lpar/DowekHK02 + , https://dblp.org/rec/conf/stacs/Dowek02 + , https://dblp.org/rec/journals/logcom/Dowek01 + , https://dblp.org/rec/journals/mscs/DowekHK01 + , https://dblp.org/rec/conf/charme/ButlerCDM01 + , https://dblp.org/rec/conf/tlca/Dowek01 + , https://dblp.org/rec/books/el/RV01/Dowek01 + , https://dblp.org/rec/journals/iandc/DowekHK00 + , https://dblp.org/rec/conf/frocos/Dowek00 + , https://dblp.org/rec/books/hal/Dowek99 + , https://dblp.org/rec/journals/mscs/Dowek99 + , https://dblp.org/rec/conf/rta/DowekHK99 + , https://dblp.org/rec/conf/ftp/Dowek98 + , https://dblp.org/rec/conf/types/DowekW98 + , https://dblp.org/rec/conf/tphol/Dowek97 + , https://dblp.org/rec/conf/iclp/DowekHKP96 + , https://dblp.org/rec/conf/types/Dowek96 + , https://dblp.org/rec/conf/lics/DowekHK95 + , https://dblp.org/rec/conf/tlca/Dowek95 + , https://dblp.org/rec/journals/apal/Dowek94 + , https://dblp.org/rec/journals/logcom/Dowek93 + , https://dblp.org/rec/journals/tcs/Dowek93 + , https://dblp.org/rec/conf/tlca/Dowek93 + , https://dblp.org/rec/conf/lics/Dowek92 + , https://dblp.org/rec/phd/hal/Dowek91 + , https://dblp.org/rec/conf/mfcs/Dowek91 +
https://dblp.org/rdf/schema#coCreatorWith https://dblp.org/pid/a/SamsonAbramsky + , https://dblp.org/pid/73/1604 + , https://dblp.org/pid/a/AArmando + , https://dblp.org/pid/41/2160 + , https://dblp.org/pid/02/6104-2 + , https://dblp.org/pid/b/PeterBaumgartner + , https://dblp.org/pid/60/2405 + , https://dblp.org/pid/49/211 + , https://dblp.org/pid/59/7355 + , https://dblp.org/pid/04/2119 + , https://dblp.org/pid/91/1892 + , https://dblp.org/pid/68/1506 + , https://dblp.org/pid/11/2283 + , https://dblp.org/pid/77/10602 + , https://dblp.org/pid/285/5908 + , https://dblp.org/pid/249/2047 + , https://dblp.org/pid/51/612 + , https://dblp.org/pid/d/NachumDershowitz + , https://dblp.org/pid/86/4871 + , https://dblp.org/pid/85/6982 + , https://dblp.org/pid/277/6181 + , https://dblp.org/pid/29/8669 + , https://dblp.org/pid/148/1064 + , https://dblp.org/pid/g/MurdochGabbay + , https://dblp.org/pid/96/5719-2 + , https://dblp.org/pid/237/5779 + , https://dblp.org/pid/93/6371 + , https://dblp.org/pid/51/1978 + , https://dblp.org/pid/138/6932 + , https://dblp.org/pid/77/39 + , https://dblp.org/pid/h/JanHeering + , https://dblp.org/pid/72/1933 + , https://dblp.org/pid/57/1562 + , https://dblp.org/pid/268/3653 + , https://dblp.org/pid/265/5974 + , https://dblp.org/pid/359/1102 + , https://dblp.org/pid/166/0923 + , https://dblp.org/pid/42/1709 + , https://dblp.org/pid/j/JeanPierreJouannaud + , https://dblp.org/pid/k/ClaudeKirchner + , https://dblp.org/pid/97/6204 + , https://dblp.org/pid/47/1513 + , https://dblp.org/pid/35/295 + , https://dblp.org/pid/121/1088-1 + , https://dblp.org/pid/187/9712 + , https://dblp.org/pid/53/3105 + , https://dblp.org/pid/88/7094 + , https://dblp.org/pid/131/5097 + , https://dblp.org/pid/70/1381 + , https://dblp.org/pid/33/1010 + , https://dblp.org/pid/m/BernhardMoller + , https://dblp.org/pid/96/3526 + , https://dblp.org/pid/26/2079 + , https://dblp.org/pid/61/6528 + , https://dblp.org/pid/73/9537 + , https://dblp.org/pid/85/4254 + , https://dblp.org/pid/p/FPfenning + , https://dblp.org/pid/p/BrigittePientka + , https://dblp.org/pid/81/4104-1 + , https://dblp.org/pid/255/9723 + , https://dblp.org/pid/56/2819 + , https://dblp.org/pid/72/8656 + , https://dblp.org/pid/s/RichardStatman + , https://dblp.org/pid/86/1824 + , https://dblp.org/pid/223/4764 + , https://dblp.org/pid/368/7410 + , https://dblp.org/pid/40/5509 + , https://dblp.org/pid/162/8955 +
https://dblp.org/rdf/schema#creatorName Gilles Dowek
https://dblp.org/rdf/schema#creatorOf https://dblp.org/rec/conf/fossacs/BlotDTW24 + , https://dblp.org/rec/conf/rc/ArrighiDD24 + , https://dblp.org/rec/conf/wollic/DiazCaroDIM24 + , https://dblp.org/rec/journals/corr/abs-2402-09024 + , https://dblp.org/rec/journals/corr/abs-2404-05838 + , https://dblp.org/rec/journals/lmcs/BlanquiDGHT23 + , https://dblp.org/rec/journals/tcs/DiazCaroD23 + , https://dblp.org/rec/journals/tcs/DiazCaroD23a + , https://dblp.org/rec/journals/corr/abs-2303-18099 + , https://dblp.org/rec/journals/corr/abs-2304-00821 + , https://dblp.org/rec/journals/corr/abs-2304-05039 + , https://dblp.org/rec/journals/corr/abs-2304-05085 + , https://dblp.org/rec/journals/corr/abs-2304-08064 + , https://dblp.org/rec/journals/corr/abs-2304-08068 + , https://dblp.org/rec/journals/corr/abs-2304-10975 + , https://dblp.org/rec/journals/corr/abs-2304-11882 + , https://dblp.org/rec/journals/corr/abs-2304-11892 + , https://dblp.org/rec/journals/corr/abs-2304-13318 + , https://dblp.org/rec/journals/corr/abs-2304-13319 + , https://dblp.org/rec/journals/corr/abs-2304-13321 + , https://dblp.org/rec/journals/corr/abs-2305-00064 + , https://dblp.org/rec/journals/corr/abs-2305-01432 + , https://dblp.org/rec/journals/corr/abs-2305-01439 + , https://dblp.org/rec/journals/corr/abs-2305-01440 + , https://dblp.org/rec/journals/corr/abs-2305-03322 + , https://dblp.org/rec/journals/corr/abs-2305-06214 + , https://dblp.org/rec/journals/corr/abs-2305-07311 + , https://dblp.org/rec/journals/corr/abs-2305-08416 + , https://dblp.org/rec/journals/corr/abs-2305-10012 + , https://dblp.org/rec/journals/corr/abs-2305-10016 + , https://dblp.org/rec/journals/corr/abs-2305-13790 + , https://dblp.org/rec/journals/corr/abs-2305-14803 + , https://dblp.org/rec/journals/corr/abs-2305-15780 + , https://dblp.org/rec/journals/corr/abs-2305-15782 + , https://dblp.org/rec/journals/corr/abs-2305-18837 + , https://dblp.org/rec/journals/corr/abs-2306-00478 + , https://dblp.org/rec/journals/corr/abs-2306-00495 + , https://dblp.org/rec/journals/corr/abs-2306-00498 + , https://dblp.org/rec/journals/corr/abs-2306-01473 + , https://dblp.org/rec/journals/corr/abs-2306-05835 + , https://dblp.org/rec/journals/corr/abs-2306-05876 + , https://dblp.org/rec/journals/corr/abs-2306-07121 + , https://dblp.org/rec/journals/corr/abs-2306-07599 + , https://dblp.org/rec/journals/corr/abs-2307-00854 + , https://dblp.org/rec/journals/corr/abs-2309-02024 + , https://dblp.org/rec/journals/corr/abs-2309-03602 + , https://dblp.org/rec/journals/corr/abs-2309-11819 + , https://dblp.org/rec/journals/corr/abs-2309-16224 + , https://dblp.org/rec/journals/corr/abs-2310-04090 + , https://dblp.org/rec/journals/corr/abs-2310-08517 + , https://dblp.org/rec/journals/corr/abs-2310-10326 + , https://dblp.org/rec/journals/corr/abs-2310-12540 + , https://dblp.org/rec/journals/corr/abs-2310-20248 + , https://dblp.org/rec/journals/corr/abs-2310-20253 + , https://dblp.org/rec/journals/corr/abs-2311-07185 + , https://dblp.org/rec/journals/corr/abs-2312-15651 + , https://dblp.org/rec/journals/corr/abs-2312-16239 + , https://dblp.org/rec/journals/corr/abs-2312-16480 + , https://dblp.org/rec/journals/corr/abs-2312-16487 + , https://dblp.org/rec/journals/mscs/DowekFJL22 + , https://dblp.org/rec/conf/cade/Dowek22 + , https://dblp.org/rec/conf/fscd/Diaz-CaroD22 + , https://dblp.org/rec/journals/corr/abs-2201-11221 + , https://dblp.org/rec/conf/fscd/BlanquiDGHT21 + , https://dblp.org/rec/conf/ictac/Diaz-CaroD21 + , https://dblp.org/rec/journals/corr/abs-2107-07662 + , https://dblp.org/rec/journals/corr/abs-2111-00543 + , https://dblp.org/rec/journals/corr/abs-2002-03762 + , https://dblp.org/rec/journals/corr/abs-2012-08994 + , https://dblp.org/rec/journals/biosystems/Diaz-CaroDR19 + , https://dblp.org/rec/journals/cj/JiangLDJ19 + , https://dblp.org/rec/conf/rta/Diaz-CaroD19 + , https://dblp.org/rec/journals/flap/Dowek17 + , https://dblp.org/rec/journals/lmcs/ArrighiD17 + , https://dblp.org/rec/conf/icalp/Dowek17 + , https://dblp.org/rec/conf/tpnc/Diaz-CaroD17 + , https://dblp.org/rec/journals/corr/abs-1712-01485 + , https://dblp.org/rec/journals/logcom/DershowitzD16 + , https://dblp.org/rec/conf/lfmtp/2016 + , https://dblp.org/rec/journals/corr/Dowek16 + , https://dblp.org/rec/journals/corr/DowekJ16 + , https://dblp.org/rec/journals/corr/Dowek16a + , https://dblp.org/rec/journals/corr/Diaz-CaroD16 + , https://dblp.org/rec/journals/corr/LiuDJJ16 + , https://dblp.org/rec/journals/dagstuhl-reports/DowekDPR16 + , https://dblp.org/rec/conf/frocos/BurelDJ15 + , https://dblp.org/rec/conf/lpar/DowekJ15 + , https://dblp.org/rec/conf/tpnc/ArrighiD15 + , https://dblp.org/rec/journals/corr/ArrighiD16 + , https://dblp.org/rec/journals/corr/Dowek15 + , https://dblp.org/rec/journals/corr/Dowek15a + , https://dblp.org/rec/journals/corr/ArrighiD15 + , https://dblp.org/rec/journals/entcs/EnglanderDH15 + , https://dblp.org/rec/journals/entcs/NalonLDH15 + , https://dblp.org/rec/conf/rta/2014 + , https://dblp.org/rec/journals/corr/DowekJ14 + , https://dblp.org/rec/journals/iandc/ArrighiD13 + , https://dblp.org/rec/conf/csr/Dowek13 + , https://dblp.org/rec/journals/corr/Diaz-CaroD14 + , https://dblp.org/rec/journals/ijfcs/ArrighiD12 + , https://dblp.org/rec/journals/nc/BournezD12 + , https://dblp.org/rec/journals/nc/Dowek12 + , https://dblp.org/rec/journals/ndjfl/DowekH12 + , https://dblp.org/rec/journals/scp/NarkawiczMD12 + , https://dblp.org/rec/journals/tcs/DowekG12 + , https://dblp.org/rec/journals/tocl/DowekG12 + , https://dblp.org/rec/conf/cilc/DowekG12 + , https://dblp.org/rec/conf/icalp/Dowek12 + , https://dblp.org/rec/conf/icalp/ArrighiD12 + , https://dblp.org/rec/conf/lata/Dowek12 + , https://dblp.org/rec/journals/corr/abs-1303-7334 + , https://dblp.org/rec/journals/corr/abs-1202-1098 + , https://dblp.org/rec/journals/ercim/DowekA12 + , https://dblp.org/rec/series/utcs/DowekL11 + , https://dblp.org/rec/series/utcs/Dowek11 + , https://dblp.org/rec/journals/iandc/DowekJ11 + , https://dblp.org/rec/journals/tcs/RochaMD11 + , https://dblp.org/rec/journals/corr/abs-1102-1612 + , https://dblp.org/rec/journals/corr/abs-1111-4611 + , https://dblp.org/rec/journals/igpl/DowekGM10 + , https://dblp.org/rec/journals/jar/ArmandoBD10 + , https://dblp.org/rec/conf/cie/ArrighiD10 + , https://dblp.org/rec/conf/ifipTCS/Dowek10 + , https://dblp.org/rec/conf/nfm/ButlerHMMND10 + , https://dblp.org/rec/conf/ppdp/DowekG10 + , https://dblp.org/rec/journals/corr/abs-1004-1027 + , https://dblp.org/rec/series/utcs/Dowek09 + , https://dblp.org/rec/journals/cj/DowekJ09 + , https://dblp.org/rec/journals/igpl/Dowek09 + , https://dblp.org/rec/conf/lfmtp/BurelD09 + , https://dblp.org/rec/journals/corr/abs-1002-2872 + , https://dblp.org/rec/journals/corr/abs-0911-4051 + , https://dblp.org/rec/conf/rta/ArrighiD08 + , https://dblp.org/rec/conf/cade/2008 + , https://dblp.org/rec/conf/rta/DowekH07 + , https://dblp.org/rec/conf/tlca/CousineauD07 + , https://dblp.org/rec/journals/entcs/Dowek08 + , https://dblp.org/rec/journals/tcs/DowekJ06 + , https://dblp.org/rec/conf/rodin/MunozCD06 + , https://dblp.org/rec/conf/types/Dowek06 + , https://dblp.org/rec/journals/corr/ArrighiD06 + , https://dblp.org/rec/conf/cade/Dowek05 + , https://dblp.org/rec/conf/rta/DowekW05 + , https://dblp.org/rec/conf/issta/MunozDC04 + , https://dblp.org/rec/journals/entcs/ArrighiD05 + , https://dblp.org/rec/journals/jar/DowekHK03 + , https://dblp.org/rec/journals/jsyml/DowekW03 + , https://dblp.org/rec/journals/sttt/MunozCDB03 + , https://dblp.org/rec/conf/rta/Dowek03 + , https://dblp.org/rec/journals/entcs/DowekJ03 + , https://dblp.org/rec/conf/lpar/DowekHK02 + , https://dblp.org/rec/conf/stacs/Dowek02 + , https://dblp.org/rec/journals/logcom/Dowek01 + , https://dblp.org/rec/journals/mscs/DowekHK01 + , https://dblp.org/rec/conf/charme/ButlerCDM01 + , https://dblp.org/rec/conf/tlca/Dowek01 + , https://dblp.org/rec/books/el/RV01/Dowek01 + , https://dblp.org/rec/journals/iandc/DowekHK00 + , https://dblp.org/rec/conf/frocos/Dowek00 + , https://dblp.org/rec/books/hal/Dowek99 + , https://dblp.org/rec/journals/mscs/Dowek99 + , https://dblp.org/rec/conf/rta/DowekHK99 + , https://dblp.org/rec/conf/tphol/1999 + , https://dblp.org/rec/conf/ftp/Dowek98 + , https://dblp.org/rec/conf/types/DowekW98 + , https://dblp.org/rec/conf/tphol/Dowek97 + , https://dblp.org/rec/conf/iclp/DowekHKP96 + , https://dblp.org/rec/conf/types/Dowek96 + , https://dblp.org/rec/conf/hoa/1995 + , https://dblp.org/rec/conf/lics/DowekHK95 + , https://dblp.org/rec/conf/tlca/Dowek95 + , https://dblp.org/rec/journals/apal/Dowek94 + , https://dblp.org/rec/journals/logcom/Dowek93 + , https://dblp.org/rec/journals/tcs/Dowek93 + , https://dblp.org/rec/conf/tlca/Dowek93 + , https://dblp.org/rec/conf/lics/Dowek92 + , https://dblp.org/rec/phd/hal/Dowek91 + , https://dblp.org/rec/conf/mfcs/Dowek91 +
https://dblp.org/rdf/schema#editorOf https://dblp.org/rec/conf/lfmtp/2016 + , https://dblp.org/rec/conf/rta/2014 + , https://dblp.org/rec/conf/cade/2008 + , https://dblp.org/rec/conf/tphol/1999 + , https://dblp.org/rec/conf/hoa/1995 +
https://dblp.org/rdf/schema#homepage https://who.rocq.inria.fr/Gilles.Dowek/ +
https://dblp.org/rdf/schema#orcid https://orcid.org/0000-0001-6253-935X +
https://dblp.org/rdf/schema#primaryAffiliation INRIA, France
https://dblp.org/rdf/schema#primaryCreatorName Gilles Dowek
https://dblp.org/rdf/schema#primaryHomepage https://who.rocq.inria.fr/Gilles.Dowek/ +
https://dblp.org/rdf/schema#webpage https://mathscinet.ams.org/mathscinet/MRAuthorID/310824 + , https://mathgenealogy.org/id.php?id=83529 +
https://dblp.org/rdf/schema#wikidata http://www.wikidata.org/entity/Q3106201 + , http://www.wikidata.org/entity/Q84406806 +
owl:sameAs https://orcid.org/0000-0001-6253-935X + , http://www.wikidata.org/entity/Q3106201 + , http://www.wikidata.org/entity/Q84406806 + , https://id.loc.gov/authorities/names/n96036712 + , https://d-nb.info/gnd/11433191X +
rdf:type https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label Gilles Dowek
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Fpid-2F50-2F4956"