@phdthesis{ galagain_visualisation_1986,
  type = {Thesis},
  title = {Visualisation d'une famille de graphes},
  author = {Galagain, Didier and Cori, Robert},
  year = {1986},
  keywords = {{ALGORITHM} {ALGORITHME} {APPLIQUEES} {AUTOMATIQUE} {COMPLEXITE} {COMPLEXITY} {CONGRUENCE} {DECIDABILITE} {DECIDABILITY} {EQUIVALENCE} {GENERATEUR} {GENERATOR} {GROUP} {GROUPE} {INFORMATIQUE}, {PREUVE} {PROGRAM} {PROGRAMME} {PROOF} {REECRITURE} {REWRITING} {SCIENCES} {SYSTEMES} {THEORIE} {THEORIQUE}, {THEORY}}
}

{"_id":"HSWmhEMcYvxQBWJjD","authorIDs":[],"author_short":["Galagain, D.","Cori, R."],"bibbaseid":"galagain-cori-visualisationdunefamilledegraphes-1986","bibdata":{"author":["Galagain, Didier","Cori, Robert"],"author_short":["Galagain, D.","Cori, R."],"bibtex":"@phdthesis{ galagain_visualisation_1986,\n type = {Thesis},\n title = {Visualisation d'une famille de graphes},\n author = {Galagain, Didier and Cori, Robert},\n year = {1986},\n keywords = {{ALGORITHM} {ALGORITHME} {APPLIQUEES} {AUTOMATIQUE} {COMPLEXITE} {COMPLEXITY} {CONGRUENCE} {DECIDABILITE} {DECIDABILITY} {EQUIVALENCE} {GENERATEUR} {GENERATOR} {GROUP} {GROUPE} {INFORMATIQUE}, {PREUVE} {PROGRAM} {PROGRAMME} {PROOF} {REECRITURE} {REWRITING} {SCIENCES} {SYSTEMES} {THEORIE} {THEORIQUE}, {THEORY}}\n}","bibtype":"phdthesis","id":"galagain_visualisation_1986","key":"galagain_visualisation_1986","keywords":"ALGORITHM ALGORITHME APPLIQUEES AUTOMATIQUE COMPLEXITE COMPLEXITY CONGRUENCE DECIDABILITE DECIDABILITY EQUIVALENCE GENERATEUR GENERATOR GROUP GROUPE INFORMATIQUE, PREUVE PROGRAM PROGRAMME PROOF REECRITURE REWRITING SCIENCES SYSTEMES THEORIE THEORIQUE, THEORY","title":"Visualisation d'une famille de graphes","type":"Thesis","year":"1986","bibbaseid":"galagain-cori-visualisationdunefamilledegraphes-1986","role":"author","urls":{},"keyword":["ALGORITHM ALGORITHME APPLIQUEES AUTOMATIQUE COMPLEXITE COMPLEXITY CONGRUENCE DECIDABILITE DECIDABILITY EQUIVALENCE GENERATEUR GENERATOR GROUP GROUPE INFORMATIQUE","PREUVE PROGRAM PROGRAMME PROOF REECRITURE REWRITING SCIENCES SYSTEMES THEORIE THEORIQUE","THEORY"],"downloads":0},"bibtype":"phdthesis","biburl":"http://bibbase.org/zotero/GabrielURFIST","creationDate":"2014-11-01T09:46:19.991Z","downloads":0,"keywords":["algorithm algorithme appliquees automatique complexite complexity congruence decidabilite decidability equivalence generateur generator group groupe informatique","preuve program programme proof reecriture rewriting sciences systemes theorie theorique","theory"],"search_terms":["visualisation","une","famille","graphes","galagain","cori"],"title":"Visualisation d'une famille de graphes","year":1986,"dataSources":["WqxD8STnQQcHYotab"]}