![Logic in computer science / Theoretical computer science / Mathematics / Constructible universe / Mathematical logic / CurryHoward correspondence / Table of stars with Bayer designations / Generalised Whitehead product Logic in computer science / Theoretical computer science / Mathematics / Constructible universe / Mathematical logic / CurryHoward correspondence / Table of stars with Bayer designations / Generalised Whitehead product](https://www.pdfsearch.io/img/46236ecd76db7f48b49e15553c0766b1.jpg) Date: 2009-05-22 03:48:32Logic in computer science Theoretical computer science Mathematics Constructible universe Mathematical logic CurryHoward correspondence Table of stars with Bayer designations Generalised Whitehead product | | On the Complexity of Abstract Categorial Grammars In this abstract we investigate the respective complexities of the membership and the universal membership problems for Abstract Categorial Grammars [dG01]. This problem Add to Reading ListSource URL: wwwhomes.uni-bielefeld.deDownload Document from Source Website File Size: 97,80 KBShare Document on Facebook
|