Definability on finite structures and the existence of one-way functions

Grädel, Erich

Norwood, NJ (1994) [Fachzeitschriftenartikel]

Methods of Logic in Computer Science
Band: 1
Ausgabe: 3
Seite(n): 299-314