Rapport
Année : 1981
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00076451
Soumis le : mercredi 24 mai 2006-21:03:12
Dernière modification le : mardi 7 février 2023-03:41:43
Archivage à long terme le : vendredi 13 mai 2011-20:39:42
Dates et versions
Identifiants
- HAL Id : inria-00076451 , version 1
Citer
O. Katai. Completeness and the expressive power of next time temporal logical system by semantic tableau method. RR-0109, INRIA. 1981. ⟨inria-00076451⟩
Collections
36
Consultations
30
Téléchargements