The Limits of Decidability for First Order Logic on CPDA Graphs.

Christopher H. Broadbent

Browse the full STACS paper archive.