computation tree logic

listen to the pronunciation of computation tree logic
الإنجليزية - الإنجليزية
A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until"
CTL
computation tree logic

    الواصلة

    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/
المفضلات
المزيد...
امسح