Gérard Huet (German Wikipedia)
Analysis of information sources in references of the Wikipedia article "Gérard Huet" in German language version.
refsWebsite
Global rank
German rank
149th place
298th place
1st place
1st place
33rd place
2nd place
low place
low place
low place
low place
IABotmemento.invalid
- Er ist Webmaster des Sanskrit Heritage Site und einer der Leiter der Sanscrit Library ( des vom 3. Juni 2013 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
inria.fr
coq.inria.fr
sanskrit.inria.fr
- Er ist Webmaster des Sanskrit Heritage Site und einer der Leiter der Sanscrit Library ( des vom 3. Juni 2013 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
redirecter.toolforge.org
- Er ist Webmaster des Sanskrit Heritage Site und einer der Leiter der Sanscrit Library ( des vom 3. Juni 2013 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
sanskritlibrary.org
- Er ist Webmaster des Sanskrit Heritage Site und einer der Leiter der Sanscrit Library ( des vom 3. Juni 2013 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
sciencedirect.com
- Huet The undecidability of unification in third order logic, Information and Control, Band 22, 1973, S. 257–267, Abstract. Unabhängig 1972 von Lucchesi.
web.archive.org
- Er ist Webmaster des Sanskrit Heritage Site und einer der Leiter der Sanscrit Library ( des vom 3. Juni 2013 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.