computation tree logic (English, noun)
expansion: computation tree logic (uncountable)
Senses:
topics: computer
computing
engineering
mathematics
natural-sciences
physical-sciences
science
sciences
glosses: A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".
tags: uncountable
Forms: