Proving a conjecture of Andreka on temporal logic

Jean-Francois Raskin, Pierre-Yves Schobbens

Résultats de recherche: Contribution à un journal/une revueArticle

langue originaleAnglais
Pages (de - à)1-13
Nombre de pages13
journalMPI - I. Research report
Volume3
Numéro de publication4
Etat de la publicationPublié - 1999

Contient cette citation