HO

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

ক্যাটাগরি: