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