Decidability of the HD0L ultimate periodicity problem

Fiche du document

Date

2013

Type de document
Périmètre
Langue
Identifiants
  • handle:  10670/1.1y6ymf
  • ITA_2013__47_2_201_0
  • oai:numdam.org:ITA_2013__47_2_201_0
  • citation: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 47, no. 2 (2013) p 201-214
  • MR 3072319
Relations

Ce document est lié à :
0988-3754

Collection

Numdam

Organisation

Cellule Mathdoc



Citer ce document

Fabien Durand, « Decidability of the HD0L ultimate periodicity problem », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.1y6ymf


Métriques


Partage / Export

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en