On inverse deterministic pushdown transductions

From MaRDI portal
Publication:1245575