[RDF data]
Home | Example Authors
PropertyValue
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/books/daglib/0005778>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/books/daglib/0005780>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/books/daglib/0023988>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/books/daglib/0025124>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/OhlbachNRG01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/books/kl/motroS96/BesnardCGH96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/books/ox/LAI2Hb1994/Gabbay94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/books/ox/LAI2Hb94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/GarcezG04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/aiml/Gabbay98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/alpuk/GabbayO92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/BarringerG10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/BarringerGW05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Gabbay08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Gabbay12>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/Gabbay82>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/comma/BoellaGTV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/BarringerG88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/GabbayHH89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/Gabbay90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/MetcalfeOG03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/MetcalfeOG04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/GabbayPR07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/deon/AbrahamGS10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/deon/Gabbay08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecai/BoellaGGT10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecai/GarcezGL04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/1997>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/Gabbay11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/Gabbay91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/GabbayH93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/GabbayH93a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/GabbayR97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/VillataBGT11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/elp/Gabbay89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/esec/FinkelsteinGHKN93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fair/GabbayH91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fapr/1996>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fapr/GabbayR96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/flairs/GarcezLBG03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/frocos/Gabbay96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/his/GarcezLG03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icail/ChalamishGS11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/FingerG92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/iclp/GabbayGMO94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/iconip/GarcezGL04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ictl/1994>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/its/DAgostinoMEGP98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/kesamsta/BoellaGPTV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ki/Gabbay92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ki/GabbayNT97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/BarringerFGH91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/GabbayLV91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/GabbayO92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lacl/KempsonMG96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lai/GabbayW96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lpnmr/GabbayGMO95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/nips/GarcezLG05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/normas/GrossiGT08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/popl/GabbayPSS80>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/rex/BarringerFGGO89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/rv/BarringerGR07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/scai/Gabbay91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/scai/NossumG93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stairs/GenoveseRGT10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tableaux/BeckertG98a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tableaux/BrodaG99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tableaux/DAgostinoG96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tableaux/MetcalfeOG02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tafa/BoellaGPTV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tafa/RienstraPVGT11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tase/BarringerRG07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tls/Gabbay87>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/vldb/GabbayM91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ai/EngesserG02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ai/GarcezBG01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ail/AbrahamGS11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/aml/GabbayM07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/aml/MetcalfeOG04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1012-3947>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1106-3685>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1108-3033>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1203-0220>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-quant-ph-0507231>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/cs-LO-0211021>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fac/BarringerFGGO95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/AmirG87>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/CrochemoreG11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/AmatiAGP96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BaazCGH05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BaazCGH05a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BarringerGBGHHOMRF96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BarringerGR09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BarwiseGH95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BicarreguiDGM01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BrodaGLR02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/CunnninghamG01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/DAgostinoFG08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/FingerG07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/FingerKGK97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/Gabbay93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/Gabbay99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayGMO96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayOQ95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayOQ95a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayP08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayQ94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayRW02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayS00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayS09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayS10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayS98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayW01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayW01a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayW03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayW06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/MetcalfeOG05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/QueirozG95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ijait/GarcezLBG04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jair/GabbayPV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/GabbayR93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/GabbayS09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/GabbayS10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/OhlbachG98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/japll/GarcezGHT04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/japll/WilliamsonG03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jar/DAgostinoG94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jar/GabbayK91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/Gabbay85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/GabbayGMOS00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/GabbayR84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/GabbayS86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jolli/DorreKG96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jolli/FingerG06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jolli/GabbayM02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jolli/GabbayS10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jphil/Gabbay02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jphil/GabbayNW06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay70>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay72>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay72a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay72b>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay73>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay76>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay77>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay77a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/GabbayJ74>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/GabbayQ92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/GabbayS93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ki/Gabbay92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/AmatiAGP96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GabbayH90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GabbayNT99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GabbayPW03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GabbayRP09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GarcezGL05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ndjfl/FingerG96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/AbrahamGS09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/BarkerBGG09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/BoellaGGT09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/BoellaGTV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/CaminadaG09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/DAgostinoGR97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/DemriG00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/DemriG00a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/Gabbay09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/Gabbay09a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/Gabbay09b>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayG09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayM09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayO98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayP97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayP97a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayR97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS09a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS09b>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayT09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayW08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/WuCG09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/soco/CiabattoniGO98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/soco/Gabbay98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/synthese/Gabbay11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/GarcezLG06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/GarcezLG07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tocl/MetcalfeOG05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tse/FinkelsteinGHKN94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/series/cogtech/GabbayS11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/series/cogtech/GarcezLG2009>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/books/ox/LAI2Hb94>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/1997>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/fapr/1996>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/ictl/1994>
foaf:homepage <http://www.dcs.kcl.ac.uk/staff/dg/>
rdfs:label Dov M. Gabbay
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/books/daglib/0005778>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/books/daglib/0005780>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/books/daglib/0023988>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/books/daglib/0025124>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/books/el/RV01/OhlbachNRG01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/books/kl/motroS96/BesnardCGH96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/books/ox/LAI2Hb1994/Gabbay94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/GarcezG04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/aiml/Gabbay98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/alpuk/GabbayO92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/BarringerG10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/BarringerGW05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Gabbay08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Gabbay12>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/Gabbay82>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/comma/BoellaGTV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/BarringerG88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/GabbayHH89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/Gabbay90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/MetcalfeOG03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/MetcalfeOG04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/GabbayPR07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/deon/AbrahamGS10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/deon/Gabbay08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecai/BoellaGGT10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecai/GarcezGL04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/Gabbay11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/Gabbay91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/GabbayH93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/GabbayH93a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/GabbayR97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecsqaru/VillataBGT11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/elp/Gabbay89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/esec/FinkelsteinGHKN93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fair/GabbayH91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fapr/GabbayR96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/flairs/GarcezLBG03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/frocos/Gabbay96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/his/GarcezLG03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icail/ChalamishGS11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/FingerG92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/iclp/GabbayGMO94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/iconip/GarcezGL04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/its/DAgostinoMEGP98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/kesamsta/BoellaGPTV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ki/Gabbay92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ki/GabbayNT97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/BarringerFGH91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/GabbayLV91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/GabbayO92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lacl/KempsonMG96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lai/GabbayW96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lpnmr/GabbayGMO95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/nips/GarcezLG05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/normas/GrossiGT08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/popl/GabbayPSS80>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/rex/BarringerFGGO89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/rv/BarringerGR07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/scai/Gabbay91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/scai/NossumG93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stairs/GenoveseRGT10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tableaux/BeckertG98a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tableaux/BrodaG99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tableaux/DAgostinoG96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tableaux/MetcalfeOG02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tafa/BoellaGPTV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tafa/RienstraPVGT11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tase/BarringerRG07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tls/Gabbay87>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/vldb/GabbayM91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ai/EngesserG02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ai/GarcezBG01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ail/AbrahamGS11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/aml/GabbayM07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/aml/MetcalfeOG04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1012-3947>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1106-3685>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1108-3033>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1203-0220>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-quant-ph-0507231>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/cs-LO-0211021>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fac/BarringerFGGO95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/AmirG87>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/CrochemoreG11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/AmatiAGP96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BaazCGH05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BaazCGH05a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BarringerGBGHHOMRF96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BarringerGR09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BarwiseGH95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BicarreguiDGM01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/BrodaGLR02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/CunnninghamG01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/DAgostinoFG08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/FingerG07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/FingerKGK97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/Gabbay93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/Gabbay99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayGMO96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayOQ95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayOQ95a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayP08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayQ94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayRW02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayS00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayS09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayS10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayS98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayW01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayW01a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayW03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/GabbayW06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/MetcalfeOG05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/QueirozG95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ijait/GarcezLBG04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jair/GabbayPV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/GabbayR93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/GabbayS09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/GabbayS10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/OhlbachG98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/japll/GarcezGHT04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/japll/WilliamsonG03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jar/DAgostinoG94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jar/GabbayK91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/Gabbay85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/GabbayGMOS00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/GabbayR84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/GabbayS86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jolli/DorreKG96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jolli/FingerG06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jolli/GabbayM02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jolli/GabbayS10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jphil/Gabbay02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jphil/GabbayNW06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay70>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay72>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay72a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay72b>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay73>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay76>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay77>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay77a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Gabbay96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/GabbayJ74>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/GabbayQ92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/GabbayS93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ki/Gabbay92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/AmatiAGP96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/Gabbay99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GabbayH90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GabbayNT99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GabbayPW03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GabbayRP09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/logcom/GarcezGL05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ndjfl/FingerG96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/AbrahamGS09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/BarkerBGG09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/BoellaGGT09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/BoellaGTV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/CaminadaG09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/DAgostinoGR97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/DemriG00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/DemriG00a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/Gabbay09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/Gabbay09a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/Gabbay09b>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayG09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayM09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayO98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayP97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayP97a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayR97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS09a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS09b>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayS10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayT09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/GabbayW08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sLogica/WuCG09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/soco/CiabattoniGO98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/soco/Gabbay98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/synthese/Gabbay11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/GarcezLG06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/GarcezLG07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tocl/MetcalfeOG05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tse/FinkelsteinGHKN94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/series/cogtech/GabbayS11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/series/cogtech/GarcezLG2009>
foaf:name Dov M. Gabbay
rdfs:seeAlso <http://dblp.l3s.de/Authors/Dov+M.+Gabbay>
rdfs:seeAlso <http://www.bibsonomy.org/uri/author/Dov+M.+Gabbay>
rdf:type foaf:Agent