par Antonopoulos, Timos T.; Hunter, Paul William Liste de publications; Raza, Shahab S.; Worrell, James J.
Référence Lecture notes in computer science, 9034, (page 361-374)
Publication Publié, 2015
Article révisé par les pairs
Titre :
  • Three variables suffice for real-time logic
Auteur : Antonopoulos, Timos T. ; Hunter, Paul William ; Raza, Shahab S. ; Worrell, James J.
Informations sur la publication : Lecture notes in computer science, 9034, (page 361-374)
Statut de publication : Publié, 2015
Sujet CREF : Informatique générale
Informatique mathématique
Note : SCOPUS: cp.k
Langue :
  • Anglais
Identificateurs : urn:issn:0302-9743 
info:doi/10.1007/978-3-662-46678-0_23