paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 026390701Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/026390701/idCopier cet URI
Notice de type Collectivité

Point d'accès autorisé

Laboratoire de recherche en informatique (Orsay, Essonne ; 1998-2020)

Sur le web

Variantes de point d'accès

LRI
[Nom de collectivité]
UMR8623
[Nom de collectivité]
UMR 8623
[Nom de collectivité]
Unité mixte de recherche 8623
[Nom de collectivité]

Information

Langue d'expression : français
Pays associé : France
Date de naissance : 1998
Date de mort : 2020

Notes

Note sur la biographie et les activités : 
Campus universitaire, bât. 490, 91405 Orsay Cedex


Notices d'autorité liées

Autre   Université Paris-Saclay (2020-....) (Établissement tutelle à partir du 01-01-2020)
Autre   Centre national de la recherche scientifique (France ; 1939-....) (Établissement tutelle à partir de 1998)
Autre   Université Paris-Sud (1970-2019) (Établissement tutelle jusqu'au 31-12-2019)
Autre   Institut national de recherche en informatique et en automatique (France ; 1979-....) (Établissement participant depuis 2015)
Autre   CentraleSupélec (2015-....) (Établissement participant depuis 2015)

Identifiants externes

Identifiant RNSR : 199812948M
Identifiant HAL : 2544
Identifiant HAL : 572599
Identifiant HAL : 1050003
Identifiant Wikidata : Q3214481
Identifiant VIAF : http://viaf.org/viaf/126220994
Identifiant ROR : 04e3ktk27
Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb11864720f
Identifiant ISNI : 0000000121082883

Source

Approche incrémentale des preuves automatiques de terminaison / Xavier Urbain, sous la direction de Claude Marché et de Jean-Pierre Jouannaud, 2001
https://appliweb.dgri.education.fr/rnsr, 2020-07-03

Information trouvée : établissement tutelle à partir de 2020 : université Paris-Saclay ; établissement tutelle depuis 1998 : CNRS

Informations sur la notice

Identifiant de la notice : 026390701
Identifiant fusionné : 233543589
RCR créateur de la notice : 0004
Date de création : 24-09-1984
RCR dernier modificateur de la notice : 920125201
Date de dernière modification : 05-05-2025 à 13 h 17

... Références liées : ...