A Conjunctive Logical Characterization of Nondeterministic Linear Time.

Frdric Olive

Browse the full CSL paper archive.