Logic of `initially' and `next': Complete axiomatization and complexity

P.-Y. Schobbens, J.-F. Raskin

Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs

Empreinte digitale

Examiner les sujets de recherche de « Logic of `initially' and `next': Complete axiomatization and complexity ». Ensemble, ils forment une empreinte digitale unique.

Computer Science