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

Norwood, NJ (1994) [Fachzeitschriftenartikel]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-057449