HO

complexity class of structures that can be recognized by formulas of higher-order logic

en-GB/ˈhəʊ/
en-US/ˈhoʊ/

Катэгорыі:

complexity class