Top Qs
Timeline
Chat
Perspective
computation tree logic
From Wiktionary, the free dictionary
Remove ads
English
Noun
computation tree logic (uncountable)
- (computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".
Synonyms
- computational tree logic (less common)
- CTL
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads