- Tytuł:
- Polynomial-Time Maximisation Classes: Syntactic Hierarchy
- Autorzy:
-
Bueno, O.
Manyem, P. - Data publikacji:
- 2008
- Słowa kluczowe:
-
Descriptive Complexity
finite model theory
syntactic hierarchy
optimization
quantifier complexity
quantifier alternation
Existential Second Order Logic - Pokaż więcej
- Dostawca treści:
- BazTech