computation tree logic love

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.

Wordnik is becoming a not-for-profit! Read our announcement here.

Comments

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