Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Lambek Calculus Is NP-Complete -- Games on Multi-stack Pushdown Systems -- Data Privacy for Knowledge...”