Word: CTL
Part of speech: Noun
Syllables: c
tx
Definition: Initialism of computation tree logic. A particular modal logic of branching time with operators "next; globally; finally" or "eventually; until", and "weak until".
Morphemes:
Affix: CTL
Language: en
PoS: Noun
Meaning: Initialism of computation tree logic. A particular modal logic of branching time with operators "next; globally; finally" or "eventually; until", and "weak until".