DMCA

The Limits of Decidability for First Order Logic on CPDA Graphs (2012)

by Christopher H. Broadbent
Venue:In STACS 2012, volume 14 of LIPIcs
Citations:3 - 0 self