The Context-Freeness of the Languages Associated with Vector Addition Systems is Decidable.

Sylviane R. Schwer

Published in: Theor. Comput. Sci. (1992)

Keyphrases

computer systems
knowledge based systems
expressive power
expert systems
intelligent systems
learning systems
retrieval systems
current trends