HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › computation tree logic
← 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 all C1 English words →

See also

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

Learn this word in context

See computation tree logic used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free