فارسی

English Deutsch Français Polski Português فارسی 한국어 中文日本語

EntityQ1040040· pop 8· linked from 31 articles

منطق درخت محاسباتی

Sign in to save

Also known as CTL, Branching Time Logic

theory in computer science

Wikidata facts

Instance of: temporal logic
Image: CTL model.png

Show 1 more fact

Stack Exchange tag: cs.stackexchange.com/tags/computation-tree-logic

Sources (3)

via Wikidata · CC0

Available in 8 languages

via Wikidata sitelinks · CC0