Logical Characterisations of Complexity Classes

Grohe, Martin

Berlin [u.a.] : Springer (2015)
Contribution to a book

In: Encyclopedia of applied and computational mathematics : with 33 tables / Björn Engquist, ed. - Vol. 1: A - K
Page(s)/Article-Nr.: 830-834