Undecidability of topological and arithmetical properties of infinitary rational relations

Fiche du document

Date

2003

Type de document
Périmètre
Langue
Identifiants
  • ISIDORE Id:  10670/1.e7aad4...
  • ITA_2003__37_2_115_0
  • oai:numdam.org:ITA_2003__37_2_115_0
  • citation: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 37, no. 2 (2003) p 115-126
  • MR 2015687
  • ZBL 1112.03312
Relations

Ce document est lié à :
0988-3754

Collection

Numdam

Organisation

Cellule Mathdoc



Citer ce document

Olivier Finkel, « Undecidability of topological and arithmetical properties of infinitary rational relations », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.e7aad4...


Métriques


Partage / Export

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines