scientific article; zbMATH DE number 1067867
From MaRDI portal
Publication:4358450
Recommendations
- scientific article; zbMATH DE number 1341535
- scientific article; zbMATH DE number 1341928
- scientific article; zbMATH DE number 999593
- Complexity of Lambek calculi with modalities and of total derivability in grammars
- On embedding Lambek calculus into commutative categorial grammars
- Generalized Kripke semantics for the Lambek-Grishin calculus
- On a superclass of A-grammars
- Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives
- Product-free Lambek calculus and context-free grammars
- On LC(0) grammars and languages
Cited in
(7)- From proof trees in Lambek calculus to Ajdukiewicz Bar-Hillel elimination binary trees
- The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs
- Phrase Structure Languages Generated by Categorial Grammars With Product
- scientific article; zbMATH DE number 1341535 (Why is no real title available?)
- scientific article; zbMATH DE number 559034 (Why is no real title available?)
- Categorial Grammars and Tree Languages
- Complexity of the universal theory of residuated ordered groupoids
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4358450)
