Home›Browse›computation tree logic🌐EnglishEnglishDeutschFrançaisPolskiPortuguêsفارسی한국어中文日本語EntityQ1040040· pop 8· linked from 31 articlescomputation tree logicSign in to saveAlso known as CTL, Branching Time Logictheory in computer scienceAvailable in 8 languagesDeutsch日本語PortuguêsGreekPolskiفارسی한국어via Wikidata sitelinks · CC0