|
|
- Info
Publication
Fully decidable logics, automata and classical theories for defining regular real-time languages
|
Auteur(s)
|
Thomas HENZINGER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS |
|
Unité(s) de recherche(s)
|
Pôle sémantique, logique et calcul
|
|
Année
|
1999 |
| Type |
Articles de périodique |
|
Langue
|
Anglais |
|
Editeur
|
Max-Planck-Institut für Informatik |
|
Lieu d'édition
|
Saarbrücken (Germany) |
|
Mots clés
|
|
|
Résumé
|
|
|
Codes bibliothèque
|
**RES. ACAD. |
|
Versions électroniques
|
|
Article de périodique
|
Titre du périodique
|
MPI - I. Research report |
|
Sous-titre du périodique
|
|
|
Editeur scientifique
|
|
| Volume |
3 |
|
Fascicule
|
3 |
| Pages |
1
-
102 |
|
Date de parution
|
Aug. 1999 |
|
Facteur d'impact
|
|
|
Nombre de citations
|
|
|
|
]
]
]
]
