English Explanatory Dictionary

computation tree logic

English dictionary entry

Meanings

noun
  1. A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

Word forms

computation tree logic

Synonyms

computational tree logic CTL
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on C Russian dictionary Dahl dictionary