Definitions from Wiktionary (computation tree logic)

▸ noun:  (computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".



▸ Words similar to computation tree logic
▸ Usage examples for computation tree logic

▸ Idioms related to computation tree logic
▸ Wikipedia articles (New!)
▸ Words that often appear near computation tree logic
▸ Rhymes of computation tree logic

▸ Invented words related to computation tree logic