|
Need synonyms for computation tree logic? Here's a list of similar words from our thesaurus that you can use instead.
Noun
A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until"
“Several of the papers propose extensions to metric interval temporal logic, linear temporal logic, and computation tree logic.”
|
|
|
|
|
|