Descriptive Complexity Theory

by Alphascript Publishing
State: New
£23.12
VAT included - FREE Shipping
Alphascript Publishing Descriptive Complexity Theory
Alphascript Publishing - Descriptive Complexity Theory

Do you like this product? Spread the word!

£23.12 incl. VAT
Only 1 items available Only 1 items available
Delivery: between 2021-05-24 and 2021-05-26
Sales & Shipping: Dodax EU

Description

Descriptive complexity is a branch of finite model theory, a subfield of computational complexity theory and mathematical logic, which seeks to characterize complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of all complexity classes in the polynomial hierarchy, is precisely the class of languages expressible by statements of second-order logic. This connection between complexity and logic allows results to be transferred easily from one area to the other, facilitating new proof methods and providing additional evidence that the main complexity classes are somehow "natural" and not tied to the specific abstract machines used to define them.

Further information

Language:
Englisch
Number of Pages:
84
Media Type:
Taschenbuch
Publisher:
Alphascript Publishing

Master Data

Product Type:
Paperback book
Package Dimensions:
0.23 x 0.15 x 0.01 m; 0.136 kg
GTIN:
09786130212100
DUIN:
AR9V9KPDL6B
£23.12
We use cookies on our website to make our services more efficient and more user-friendly. Therefore please select "Accept cookies"! Please read our Privacy Policy for further information.