computation tree logic

Englisch - Englisch

Definition von computation tree logic im Englisch Englisch wörterbuch

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

CTL

Silbentrennung

com·pu·ta·tion Tree log·ic

Türkische aussprache

kämpyıteyşın tri läcîk

Synonyme

computational tree logic, ctl

Aussprache

/ˌkämpyəˈtāsʜən ˈtrē ˈläʤək/ /ˌkɑːmpjəˈteɪʃən ˈtriː ˈlɑːʤɪk/