bn:02474251n
Noun Concept
IT
teorema di fagin
EN
Fagin's theorem is the oldest result of descriptive complexity theory, a branch of computational complexity theory that characterizes complexity classes in terms of logic-based descriptions of their problems rather than by the behavior of algorithms for solving those problems. Wikipedia
Relations
Sources
Wikipedia Translations