Disambiguation evidence for branching-time temporal logic CTL* via surface form
"Computation Tree Logic"
Triples (2)
Triples where some other subject referred to this entity
as "Computation Tree Logic".
linear temporal logic
→
isRelatedTo
→
"Computation Tree Logic"
ⓘ
↳ resolves to branching-time temporal logic CTL*
linked to:
mu-calculus