Descriptive Complexity
Descriptive Complexity is a book in mathematical logic and computational complexity theory by Neil Immerman. It concerns descriptive complexity theory, an area in which the expressibility of mathematical properties using different types of logic is shown to be equivalent to their computability in different types of resource-bounded models of computation. It was published in 1999 by Springer-Verlag in their book series Graduate Texts in Computer Science.
Link from a Wikipage to another Wikipage
primaryTopic
Descriptive Complexity
Descriptive Complexity is a book in mathematical logic and computational complexity theory by Neil Immerman. It concerns descriptive complexity theory, an area in which the expressibility of mathematical properties using different types of logic is shown to be equivalent to their computability in different types of resource-bounded models of computation. It was published in 1999 by Springer-Verlag in their book series Graduate Texts in Computer Science.
has abstract
Descriptive Complexity is a bo ...... ate Texts in Computer Science.
@en
Wikipage page ID
64,040,846
page length (characters) of wiki page
Wikipage revision ID
961,988,116
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Descriptive Complexity is a bo ...... ate Texts in Computer Science.
@en
label
Descriptive Complexity
@en