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
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-057449