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

Grädel, Erich

Norwood, NJ (1994)
Fachzeitschriftenartikel

In: Methods of Logic in Computer Science
Band: 1
Heft: 3
Seite(n)/Artikel-Nr.: 299-314