Expressibility of First Order Logic with a Nondeterministic Inductive Operator.

Vikraman Arvind, Somenath Biswas

Browse the full STACS paper archive.