par Hunter, Paul William Cliquez pour télécharger la liste de publications de l'auteur
Référence Leibniz international proceedings in informatics, 23, (page 380-394)
Publication Publié, 2013-09
Article révisé par les pairs
Titre :
  • When is Metric Temporal Logic expressively complete?
Auteur : Hunter, Paul William
Informations sur la publication : Leibniz international proceedings in informatics, 23, (page 380-394)
Statut de publication : Publié, 2013-09
Sujet CREF : Généralités
Mots-clés : Expressive power
First-order logic
Metric Temporal Logic
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:1868-8969 
info:doi/10.4230/LIPIcs.CSL.2013.380