Results 291 to 300 of about 326,945 (325)
Some of the next articles are maybe not open access.
Normalised rewriting and normalised completion
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 2002Introduces normalised rewriting, a new rewrite relation. It generalises former notions of rewriting modulo E, dropping some conditions on E. For example, E can now be the theory of identity, idempotency, the theory of Abelian groups, or the theory of commutative rings. We give a new completion algorithm for normalised rewriting.
openaire +1 more source
Documentaliste-Sciences de l'Information, 2004
Résumé Deux nouvelles normes internationales sont récemment parues dans le champ de l’information-documentation : l’une concerne les métadonnées pour l’information géographique, l’autre le stockage des documents d’archives et de bibliothèques. Une nouvelle instance internationale, l’ICABS, que nous avons brièvement présentée dans notre dernier numéro ...
openaire +2 more sources
Résumé Deux nouvelles normes internationales sont récemment parues dans le champ de l’information-documentation : l’une concerne les métadonnées pour l’information géographique, l’autre le stockage des documents d’archives et de bibliothèques. Une nouvelle instance internationale, l’ICABS, que nous avons brièvement présentée dans notre dernier numéro ...
openaire +2 more sources