computation tree logic love

Help support Wordnik by adopting your favorite word!

computation tree logic

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

Etymologies

Sorry, no etymologies found.

Examples

Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.