Login / Signup
The complexity of linear-time temporal logic over the class of ordinals
Stéphane Demri
Alexander Rabinovich
Published in:
Log. Methods Comput. Sci. (2010)
Keyphrases
</>
linear time temporal logic
training data
object oriented
class labels