VIAF

Virtual International Authority File

Search

Leader 00000cz a2200037n 45 0
001 SUDOC|034577181 (VIAF cluster) (Authority/Source Record)
005 202012091147.1
008 960927 nfazznn||| |a aaa |d
003 SUDOC
035 ‎‡a (SUDOC)034577181‏
024 7 ‎‡a 0000000009220350‏ ‎‡2 isni‏
035 ‎‡a (frBN)012785014‏
035 ‎‡a (FRBNF)12531905X‏ ‎‡z (FRBNF)12531905‏
035 ‎‡a http://viaf.org/viaf/17332966‏
072 7 ‎‡2 ESR‏
100 1 ‎‡a Hoffmann, Jan Erik,‏ ‎‡c informaticien‏
400 1 ‎‡a Hoffmann, Jan‏
400 1 ‎‡a Hoff, Jan Erik‏
670 ‎‡a PC interdit / Boris Bertelsons, Mathias Rasch et Jan Erik Hoffmann, 1995 [la p. de titre porte par erreur: Jan Erik Hoff]‏
670 ‎‡a https:// cs.cmu.edu/~janh/assets/pdf/cv-hoffmann.pdf, 2020-12-09‏ ‎‡b Informaticien. Professeur d'informatique, Carnegie Mellon University, Pittsburgh (en 2020)‏
678 ‎‡a Professeur d'informatique, Carnegie Mellon University, Pittsburgh (en 2020)‏
901 ‎‡a 978274290500‏ ‎‡9 2‏
909 ‎‡a (isni) 0000000009220350‏ ‎‡9 1‏
910 ‎‡a verificationmecaniseedelacorrectionetcomplexiteasymptotiquedeprogrammes‏ ‎‡A Vérification mécanisée de la correction et complexité asymptotique de programmes.‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a mechanizedverificationofthecorrectnessandasymptoticcomplexityofprogramstherightanswerattherighttime‏ ‎‡A Mechanized verification of the correctness and asymptotic complexity of programs:‏ ‎‡b the right answer at the right time /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a sizedtypesmethodsandtheirapplicationstocomplexityanalysisinpicalculus‏ ‎‡A Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a typesataillesetleursapplicationspourlanalysedecomplexitedanslepicalcul‏ ‎‡A Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul.‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a pcinterdit‏ ‎‡A PC interdit /‏ ‎‡l fre‏ ‎‡9 2‏
920 ‎‡a 978-2742‏ ‎‡9 2‏
921 ‎‡a micro apllication‏ ‎‡b Micro apllication,‏ ‎‡9 1‏
921 ‎‡a micro application‏ ‎‡b Micro application,‏ ‎‡9 1‏
922 ‎‡a fr‏ ‎‡b fr‏ ‎‡9 4‏
940 ‎‡a eng‏ ‎‡9 4‏
940 ‎‡a fre‏ ‎‡9 4‏
941 ‎‡a rapporteur de la these‏ ‎‡e Rapporteur de la thèse‏ ‎‡9 1‏
941 ‎‡a membre du jury‏ ‎‡e Membre du jury‏ ‎‡9 1‏
941 ‎‡a auteur‏ ‎‡e Auteur‏ ‎‡9 1‏
942 ‎‡a QA76.6‏ ‎‡9 1‏
943 ‎‡a 201x‏ ‎‡9 1‏
943 ‎‡a 199x‏ ‎‡9 2‏
944 ‎‡a mm‏ ‎‡9 2‏
944 ‎‡a am‏ ‎‡9 2‏
950 ‎‡a chargueraud arthur‏ ‎‡A Charguéraud, Arthur‏ ‎‡d (1984-....).‏ ‎‡9 1‏
950 ‎‡a boldo sylvie‏ ‎‡A Boldo, Sylvie.‏ ‎‡9 1‏
950 ‎‡a bertot yves‏ ‎‡A Bertot, Yves‏ ‎‡d (1964-....).‏ ‎‡9 1‏
950 ‎‡a gonthier georges‏ ‎‡A Gonthier, Georges‏ ‎‡d (1962-....).‏ ‎‡9 1‏
950 ‎‡a sighireanu mihaela‏ ‎‡A Sighireanu, Mihaela‏ ‎‡d (1970-....).‏ ‎‡9 1‏
950 ‎‡a pottier francois‏ ‎‡A Pottier, François‏ ‎‡d (19..-....;‏ ‎‡c chercheur en informatique).‏ ‎‡9 1‏
950 ‎‡a gueneau armael‏ ‎‡A Gueneau, Armaël‏ ‎‡d (1993-....).‏ ‎‡9 1‏
950 ‎‡a ghyselen alexis‏ ‎‡A Ghyselen, Alexis‏ ‎‡d (1995-....).‏ ‎‡9 1‏
950 ‎‡a mazza damiano‏ ‎‡A Mazza, Damiano‏ ‎‡d (1978-....).‏ ‎‡9 1‏
950 ‎‡a baillot patrick‏ ‎‡A Baillot, Patrick‏ ‎‡d (1972-....;‏ ‎‡c informaticien).‏ ‎‡9 1‏
950 ‎‡a yoshida nobuko‏ ‎‡A Yoshida, Nobuko.‏ ‎‡9 1‏
950 ‎‡a marion jean yves‏ ‎‡A Marion, Jean-Yves‏ ‎‡d (19..-....).‏ ‎‡9 1‏
950 ‎‡a stehly christophe‏ ‎‡A Stehly, Christophe‏ ‎‡d (19..-....)‏ ‎‡9 2‏
950 ‎‡a nsanean mark‏ ‎‡A Nšanean, Mark‏ ‎‡d (1946-....)‏ ‎‡9 2‏
950 ‎‡a rasch matthias‏ ‎‡A Rasch, Matthias‏ ‎‡c (informaticien).‏ ‎‡9 2‏
950 ‎‡a bertelsons boris‏ ‎‡A Bertelsons, Boris‏ ‎‡d (19..-....;‏ ‎‡c auteur en informatique).‏ ‎‡9 2‏
950 ‎‡a tavernier serge de‏ ‎‡A Tavernier, Serge de‏ ‎‡d (19..-....)‏ ‎‡9 2‏
996 ‎‡2 WKP|Q124751479‏
996 ‎‡2 RERO|A022999063‏
996 ‎‡2 WKP|Q109829915‏
996 ‎‡2 NTA|159290635‏
996 ‎‡2 JPG|500432520‏
996 ‎‡2 PLWABN|9813223013705606‏
996 ‎‡2 ISNI|0000000054560127‏
996 ‎‡2 DNB|1220238635‏
996 ‎‡2 ISNI|0000000059072325‏
996 ‎‡2 NDL|00513933‏
996 ‎‡2 LC|nb2007015909‏
996 ‎‡2 WKP|Q95835906‏
996 ‎‡2 ISNI|0000000121258025‏
996 ‎‡2 WKP|Q120596530‏
996 ‎‡2 DNB|13710300X‏
996 ‎‡2 LC|n 91076871‏
996 ‎‡2 DNB|1334004404‏
996 ‎‡2 NTA|314872450‏
996 ‎‡2 WKP|Q97750483‏
996 ‎‡2 ISNI|0000000033449710‏
996 ‎‡2 WKP|Q1037326‏
996 ‎‡2 DNB|1056283645‏
996 ‎‡2 WKP|Q12715831‏
996 ‎‡2 DNB|1112341498‏
996 ‎‡2 NKC|xx0278113‏
996 ‎‡2 WKP|Q95468165‏
996 ‎‡2 NUKAT|n 01036354‏
996 ‎‡2 ISNI|0000000054824401‏
996 ‎‡2 DNB|130981032X‏
996 ‎‡2 ISNI|0000000044766834‏
996 ‎‡2 DBC|87097946046722‏
996 ‎‡2 DNB|1031165444‏
996 ‎‡2 WKP|Q1701798‏
996 ‎‡2 WKP|Q95752040‏
996 ‎‡2 ISNI|0000000384449990‏
996 ‎‡2 NTA|08040622X‏
996 ‎‡2 DNB|1194113605‏
996 ‎‡2 WKP|Q566374‏
996 ‎‡2 NUKAT|n 2022091308‏
996 ‎‡2 PLWABN|9810683945205606‏
996 ‎‡2 BIBSYS|90517371‏
996 ‎‡2 WKP|Q13103212‏
996 ‎‡2 WKP|Q61173168‏
996 ‎‡2 DNB|1059927829‏
996 ‎‡2 NUKAT|n 2019155554‏
996 ‎‡2 J9U|987009908917505171‏
996 ‎‡2 WKP|Q101429386‏
996 ‎‡2 BIBSYS|90340497‏
996 ‎‡2 DNB|140026541‏
996 ‎‡2 BLBNB|000998799‏
996 ‎‡2 DNB|1037412656‏
996 ‎‡2 DNB|1190671662‏
996 ‎‡2 NUKAT|nx2023744098‏
996 ‎‡2 DNB|119712121‏
996 ‎‡2 ISNI|0000000071427352‏
996 ‎‡2 NSK|000525241‏
996 ‎‡2 DNB|1052456987‏
996 ‎‡2 BNF|13828115‏
996 ‎‡2 DNB|1019771453‏
996 ‎‡2 DBC|87097968442702‏
996 ‎‡2 DBC|87097968442710‏
996 ‎‡2 DNB|118552511‏
996 ‎‡2 ISNI|0000000361514809‏
996 ‎‡2 DNB|1052483143‏
996 ‎‡2 WKP|Q18655208‏
996 ‎‡2 DNB|1032020857‏
996 ‎‡2 J9U|987007504653505171‏
996 ‎‡2 BNCHL|10000000000000000182311‏
996 ‎‡2 DNB|1146918852‏
996 ‎‡2 WKP|Q94111693‏
996 ‎‡2 DNB|1053842481‏
996 ‎‡2 LIH|LNB:CPGG;=_z_W‏
996 ‎‡2 ISNI|0000000424763088‏
996 ‎‡2 WKP|Q130842054‏
996 ‎‡2 DNB|1046393758‏
996 ‎‡2 DE633|pe30103540‏
996 ‎‡2 LC|n 2005021988‏
996 ‎‡2 DNB|119843841X‏
996 ‎‡2 WKP|Q12319816‏
996 ‎‡2 JPG|500146151‏
996 ‎‡2 ISNI|0000000389284558‏
996 ‎‡2 LC|n 2023028714‏
996 ‎‡2 WKP|Q100493102‏
996 ‎‡2 DNB|141273569‏
996 ‎‡2 DNB|1045646989‏
996 ‎‡2 WKP|Q109935281‏
996 ‎‡2 BAV|495_337921‏
996 ‎‡2 WKP|Q6217333‏
996 ‎‡2 DNB|116939397‏
996 ‎‡2 WKP|Q97608859‏
996 ‎‡2 DNB|1062938976‏
996 ‎‡2 BIBSYS|90115639‏
996 ‎‡2 WKP|Q124813413‏
996 ‎‡2 DNB|137928653‏
996 ‎‡2 PLWABN|9810660956405606‏
996 ‎‡2 BIBSYS|90846649‏
996 ‎‡2 ISNI|0000000116586438‏
996 ‎‡2 DE633|pe30076706‏
996 ‎‡2 WKP|Q98821961‏
996 ‎‡2 LC|no2022140207‏
996 ‎‡2 DNB|13145028X‏
996 ‎‡2 DNB|1025142764‏
996 ‎‡2 RERO|A003377450‏
996 ‎‡2 J9U|987007289490005171‏
996 ‎‡2 BIBSYS|90800952‏
996 ‎‡2 ISNI|0000000428762955‏
996 ‎‡2 DNB|1027123856‏
996 ‎‡2 WKP|Q112529552‏
996 ‎‡2 WKP|Q38915060‏
996 ‎‡2 WKP|Q95867197‏
996 ‎‡2 DNB|1017285543‏
996 ‎‡2 WKP|Q13103216‏
996 ‎‡2 ISNI|0000000030152874‏
996 ‎‡2 PLWABN|9810544235105606‏
996 ‎‡2 BNF|16150482‏
996 ‎‡2 ISNI|0000000056113849‏
996 ‎‡2 DNB|1209495031‏
996 ‎‡2 WKP|Q6149062‏
996 ‎‡2 NKC|xx0178922‏
996 ‎‡2 NTA|134000927‏
996 ‎‡2 WKP|Q95237643‏
996 ‎‡2 PLWABN|9812650385105606‏
996 ‎‡2 LC|n 2013002130‏
996 ‎‡2 WKP|Q1449162‏
996 ‎‡2 DNB|1157464459‏
996 ‎‡2 RERO|A003377449‏
996 ‎‡2 WKP|Q6118755‏
996 ‎‡2 DNB|1012742113‏
996 ‎‡2 BIBSYS|3118991‏
996 ‎‡2 WKP|Q106820569‏
996 ‎‡2 ISNI|0000000391231543‏
996 ‎‡2 BIBSYS|5069171‏
996 ‎‡2 NUKAT|n 2010130626‏
996 ‎‡2 NUKAT|n 01107721‏
996 ‎‡2 NSK|000578494‏
996 ‎‡2 SELIBR|211306‏
996 ‎‡2 DNB|1154441342‏
996 ‎‡2 DNB|1049271017‏
996 ‎‡2 NTA|088181103‏
996 ‎‡2 LC|n 2002161982‏
996 ‎‡2 WKP|Q113296223‏
996 ‎‡2 WKP|Q21393173‏
996 ‎‡2 LC|n 85328978‏
996 ‎‡2 W2Z|5069171‏
996 ‎‡2 ISNI|0000000080715604‏
996 ‎‡2 DNB|1061656527‏
996 ‎‡2 WKP|Q16064156‏
996 ‎‡2 DNB|1074550064‏
996 ‎‡2 WKP|Q19810477‏
996 ‎‡2 DNB|13550967X‏
996 ‎‡2 WKP|Q111605171‏
996 ‎‡2 WKP|Q90611792‏
996 ‎‡2 J9U|987007262720605171‏
996 ‎‡2 DNB|116951443‏
996 ‎‡2 NUKAT|n 2021085861‏
996 ‎‡2 DBC|87097968443210‏
996 ‎‡2 DNB|1124813187‏
996 ‎‡2 ISNI|0000000381084201‏
996 ‎‡2 WKP|Q89366323‏
996 ‎‡2 WKP|Q100269564‏
996 ‎‡2 BNF|13172379‏
996 ‎‡2 PLWABN|9810589494605606‏
996 ‎‡2 WKP|Q65034976‏
996 ‎‡2 NTA|432951164‏
996 ‎‡2 PLWABN|9813223013505606‏
996 ‎‡2 WKP|Q99455591‏
996 ‎‡2 ISNI|0000000448855024‏
996 ‎‡2 DNB|122444000‏
996 ‎‡2 NTA|419252916‏
996 ‎‡2 DNB|142451916‏
996 ‎‡2 ISNI|0000000139190217‏
996 ‎‡2 BIBSYS|90073665‏
996 ‎‡2 PLWABN|9810685728005606‏
996 ‎‡2 WKP|Q12319845‏
996 ‎‡2 ISNI|0000000117288520‏
996 ‎‡2 DNB|118552465‏
996 ‎‡2 WKP|Q58843647‏
996 ‎‡2 SZ|118552465‏
996 ‎‡2 WKP|Q112469628‏
996 ‎‡2 DE633|pe215806‏
996 ‎‡2 DNB|173716806‏
996 ‎‡2 NTA|073214213‏
996 ‎‡2 DNB|115784006X‏
996 ‎‡2 DNB|1015706932‏
996 ‎‡2 WKP|Q11718506‏
996 ‎‡2 PLWABN|9810693305205606‏
996 ‎‡2 WKP|Q56955924‏
996 ‎‡2 BIBSYS|90249602‏
996 ‎‡2 LC|nr2003012634‏
996 ‎‡2 LC|n 2022045030‏
996 ‎‡2 NUKAT|nx2022476678‏
996 ‎‡2 BNE|XX6272065‏
996 ‎‡2 DNB|1053006845‏
996 ‎‡2 ISNI|0000000474793445‏
996 ‎‡2 NKC|kpwa4205‏
996 ‎‡2 WKP|Q744336‏
996 ‎‡2 DNB|13652527X‏
996 ‎‡2 WKP|Q95557932‏
996 ‎‡2 NUKAT|n 2020038085‏
996 ‎‡2 RERO|A021687400‏
996 ‎‡2 WKP|Q113474158‏
996 ‎‡2 BNF|16917283‏
996 ‎‡2 BIBSYS|1483107588485‏
996 ‎‡2 BAV|495_323476‏
996 ‎‡2 WKP|Q130770228‏
996 ‎‡2 BNE|XX923830‏
996 ‎‡2 DNB|135151147‏
996 ‎‡2 WKP|Q2188945‏
996 ‎‡2 NTA|242399673‏
996 ‎‡2 NSK|000370424‏
996 ‎‡2 NTA|422423157‏
996 ‎‡2 ISNI|0000000443642644‏
996 ‎‡2 DNB|141668598‏
996 ‎‡2 LC|no2003056096‏
996 ‎‡2 ISNI|0000000028714321‏
996 ‎‡2 DNB|1100921427‏
996 ‎‡2 ISNI|0000000023016620‏
996 ‎‡2 DNB|136229417‏
996 ‎‡2 WKP|Q113762024‏
996 ‎‡2 WKP|Q108281224‏
996 ‎‡2 NTA|188796533‏
996 ‎‡2 DNB|1037602048‏
996 ‎‡2 NII|DA01607884‏
996 ‎‡2 ISNI|0000000363345412‏
996 ‎‡2 NTA|421928905‏
996 ‎‡2 NKC|xx0135789‏
996 ‎‡2 RERO|A012322228‏
996 ‎‡2 DNB|1241509026‏
996 ‎‡2 WKP|Q19376084‏
996 ‎‡2 DNB|1029885648‏
996 ‎‡2 LC|nr 95026756‏
996 ‎‡2 BIBSYS|90371755‏
996 ‎‡2 DNB|1295943220‏
996 ‎‡2 NTA|408135069‏
996 ‎‡2 WKP|Q106070497‏
996 ‎‡2 DNB|134237889‏
996 ‎‡2 WKP|Q95099229‏
996 ‎‡2 NUKAT|n 2013142101‏
996 ‎‡2 BIBSYS|90385131‏
996 ‎‡2 WKP|Q95264062‏
996 ‎‡2 ISNI|0000000396692875‏
996 ‎‡2 DNB|133432610‏
996 ‎‡2 BIBSYS|5102140‏
996 ‎‡2 DNB|118705814‏
996 ‎‡2 LC|n 2021022654‏
996 ‎‡2 DNB|1054565201‏
996 ‎‡2 NUKAT|n 2018262491‏
996 ‎‡2 WKP|Q130828793‏
996 ‎‡2 DNB|1045393061‏
996 ‎‡2 LC|no2021065250‏
997 ‎‡a 0 0 lived 0 0‏ ‎‡9 1‏
998 ‎‡a Hoffmann, Jan Erik‏ ‎‡2 CAOONL|ncf10674310‏ ‎‡3 title: (0.65, 'titrepcinterdit2ed', 'pcinterdit')‏
998 ‎‡a Hoffmann‏ ‎‡b Jan Erik‏ ‎‡2 BNF|12531905‏ ‎‡3 standard number‏
998 ‎‡a Hoffmann, Jan Erik‏ ‎‡2 ISNI|0000000009220350‏ ‎‡3 suggested‏ ‎‡3 joint author: (1.00, 'stehly christophe', 'stehly christophe')‏
999 ‎‡2 SUDOCBIB|031535194‏
999 ‎‡2 SUDOCBIB|003790150‏
999 ‎‡2 SUDOCBIB|251185176‏
999 ‎‡2 SUDOCBIB|258164123‏