![]() |
Volumn 26, Issue 4, 2001, Pages 409-431
|
Semi-Thue systems with an inhibitor
|
Author keywords
Semi True system; String rewriting; Termination; Uniform termination; Well behaved derivation
|
Indexed keywords
COMPUTATIONAL METHODS;
CONTEXT FREE GRAMMARS;
MATHEMATICAL MODELS;
PROBLEM SOLVING;
SEMI-THUE SYSTEMS;
STRING REWRITING;
SEMANTICS;
|
EID: 0035340243
PISSN: 01687433
EISSN: None
Source Type: Journal
DOI: 10.1023/A:1010759024900 Document Type: Article |
Times cited : (13)
|
References (18)
|