|
Volumn 183, Issue 1, 1997, Pages 21-32
|
Length considerations in context-free languages
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTABILITY AND DECIDABILITY;
POLYNOMIALS;
THEOREM PROVING;
CONSTRUCTIVE METHODS;
CONTEXT FREE LANGUAGES;
|
EID: 0031206858
PISSN: 03043975
EISSN: None
Source Type: Journal
DOI: 10.1016/S0304-3975(96)00308-8 Document Type: Article |
Times cited : (29)
|
References (8)
|