The Expressive Power of Existential First Order Sentences of Bchi's Sequential Calculus.

Jean-Eric Pin

Browse the full ICALP paper archive.