A Model Theoretic Proof of Bchi-Type Theorems and First-Order Logic for N-Free Pomsets.

Dietrich Kuske

Browse the full STACS paper archive.