Logical Characterisations of Complexity Classes

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

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