Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Descriptive Complexity
open-in-new
<p><i>Descriptive Complexity</i> is a book in <a href="/facts/Mathematical_logic/SaI7Y3wN">mathematical logic</a> and <a href="/facts/Computational_complexity_theory/etHuVF3U">computational complexity theory</a> by <a href="/facts/Neil_Immerman/7aCupltL">Neil Immerman</a>. It concerns <a href="/facts/Descriptive_complexity_theory/Ec5F9CnT">descriptive complexity theory</a>, 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 <a href="/facts/Springer-Verlag/nAesf6nT">Springer-Verlag</a> in their book series Graduate Texts in Computer Science. </p>