Theoretical Computer Science
Proceedings of the workshop on Advances in linear logic
Partial Proof Trees, Resource Sensitive Logics, and Syntactic Constraints
LACL '96 Selected papers from the First International Conference on Logical Aspects of Computational Linguistics
Tree Adjoining Grammars in Noncommutative Linear Logic
LACL '96 Selected papers from the First International Conference on Logical Aspects of Computational Linguistics
A Non-commutative Extension of Classical Linear Logic
TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
Parsing strategies with 'lexicalized' grammars: application to tree adjoining grammars
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Journal of Computer and System Sciences
| Hi-index | 0.00 |