Rational graphs trace context-sensitive languages

Christophe Morvan 1 Colin Stirling 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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 11 avril 2018 - 01:51:19
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 | INRIA-RENGRE

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

339

Téléchargements de fichiers

88

Contact


archive-ouverte@inria.fr