|
Need synonyms for computational 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"
Nearby Words
|
|
|
|
|
|