← Back to search

Meaning of computation tree logic | Babel Free

Noun CEFR C1

Definitions

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

uncountable

CEFR level

C1

Advanced
This word is part of the CEFR C1 vocabulary — advanced level.

See also

Computational computational chemistry computational complexity theory computational design computational fluid dynamics computational geometry