Rational graphs trace context-sensitive languages

Christophe Morvan 1 Colin Stirling 2
1 SUMO - SUpervision of large MOdular and distributed systems
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
2 LFCS - Laboratory for the Foundations of Computer Science [Edinburgh]
Résumé : Cet article établit que les traces des graphes rationnels sont les langages contextuels.
Type de document :
Communication dans un congrès
Mathematical Foundations of Computer Science, Aug 2001, Marianske Lazne, Czech Republic. 2001
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00950050
Contributeur : Christophe Morvan <>
Soumis le : jeudi 20 février 2014 - 15:59:15
Dernière modification le : mercredi 16 mai 2018 - 11:24:06
Document(s) archivé(s) le : mardi 20 mai 2014 - 15:40:51

Fichiers

W076main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00950050, version 1

Collections

INRIA | IRISA | IRISA-D4 | TDS-MACS | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Christophe Morvan, Colin Stirling. Rational graphs trace context-sensitive languages. Mathematical Foundations of Computer Science, Aug 2001, Marianske Lazne, Czech Republic. 2001. 〈hal-00950050〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

363

Téléchargements de fichiers

89

Contact


archive-ouverte@inria.fr