HAL (France)open access
Aspects algorithmiques et implémentation dans des calculs locaux
Logique, Graph reduction, 0, Formal languages, Informatique, Langages formels, Réduction de graphes, Systèmes distribués
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 370938
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.