Computing the Rabin index of a parity automaton

Fiche du document

Date

1999

Discipline
Type de document
Périmètre
Langue
Identifiants
  • ISIDORE Id:  10670/1.1d825d...
  • ITA_1999__33_6_495_0
  • oai:numdam.org:ITA_1999__33_6_495_0
  • citation: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 33, no. 6 (1999) p 495-505
  • MR 1747513
  • ZBL 0958.68089
Relations

Ce document est lié à :
0988-3754

Collection

Numdam

Organisation

Cellule Mathdoc


Sujets proches En Fr

computing informatisation

Citer ce document

Olivier Carton et al., « Computing the Rabin index of a parity automaton », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.1d825d...


Métriques


Partage / Export

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines