Charles Rackoff

Œuvres (1)

The Complexity of theories of the monadic predicate calculus

The Complexity of theories of the monadic predicate calculus

1975