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

Norwood, NJ (1994) [Journal Article]

Methods of Logic in Computer Science
Volume: 1
Issue: 3
Page(s): 299-314

Authors

Selected Authors

Grädel, Erich

Identifier

  • REPORT NUMBER: RWTH-CONV-057449