Construction of a deterministic $\omega $-automaton using derivatives

Fiche du document

Date

1999

Discipline
Type de document
Périmètre
Langue
Identifiants
  • handle:  10670/1.whg137
  • ITA_1999__33_2_133_0
  • oai:numdam.org:ITA_1999__33_2_133_0
  • citation: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 33, no. 2 (1999) p 133-158
  • MR 1707967
  • ZBL 0946.68078
Relations

Ce document est lié à :
0988-3754

Collection

Numdam

Organisation

Cellule Mathdoc



Citer ce document

Roman R. Redziejowski, « Construction of a deterministic $\omega $-automaton using derivatives », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.whg137


Métriques


Partage / Export

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en