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 : 168128535Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/168128535/idCopier cet URI
Notice de type Rameau

Point d'accès autorisé

Théorie des calculs locaux

Variante de point d'accès

Calculs locaux, Théorie des
[Nom commun]


Terme générique

  Graphes, Théorie des


Notice d'autorité liée

Autre   Traitement réparti (Voir aussi)

Source

Graph relabelling systems and distributed algorithms / I. Litovsky, Y. Métivier, E. Sopena [in] Handbook of graph grammar and computing by graph transformation, 2001
Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq / V. Filou, 2012 [thèse]

Identifiants externes

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb16694321n

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Informations sur la notice

Identifiant de la notice : 168128535
RCR créateur de la notice : 335222101
Date de création : 18-03-2013
RCR dernier modificateur de la notice : 335222101
Date de dernière modification : 25-11-2019 à 14 h 26

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