Definition of Computation tree logic

1. Noun. (computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until". ¹

¹ Source: wiktionary.com

Lexicographical Neighbors of Computation Tree Logic

compunctuous
compurgation
compurgations
compurgator
compurgatorial
compurgators
computabilities
computability
computability logic
computability theory
computable
computable function
computably
computation
computation history
computation tree logic (current term)
computational
computational biology
computational chemistry
computational design
computational intelligence
computational linguist
computational linguistics
computational model
computational models
computationally
computationally secure
computations
computative
compute

Other Resources:

Search for Computation tree logic on Dictionary.com!Search for Computation tree logic on Thesaurus.com!Search for Computation tree logic on Google!Search for Computation tree logic on Wikipedia!

Search