computation tree logic

Английский Язык - Английский Язык

Определение computation tree logic в Английский Язык Английский Язык словарь

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

CTL

Расстановка переносов

com·pu·ta·tion Tree log·ic

Турецкое произношение

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

Синонимы

computational tree logic, ctl

Произношение

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