A note on the strong and weak generative powers of formal systems
Theoretical Computer Science - Algebraic methods in language processing
Lambek Calculus Proofs and Tree Automata
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Derived tree languages of nonassociative Lambek categorial grammars with product
Fundamenta Informaticae
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
Journal of Logic, Language and Information
A polynomial time algorithm for parsing with the bounded order Lambek calculus
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
LC graphs for the Lambek calculus with product
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Term graphs and the NP-completeness of the product-free lambek calculus
FG'09 Proceedings of the 14th international conference on Formal grammar
Derived Tree Languages of Nonassociative Lambek Categorial Grammars with Product
Fundamenta Informaticae
| Hi-index | 0.00 |