On the seguence equivalence problem for OL systems with controlled derivations

Bibliographic Details
Main Author: Dassow, Jürgen (Author)
Format: Article
Language:English
PhysicalDescription:Obr. 2. Res. rus., angl., lit. 14 zázn. v angl.
Subjects:
Description
Physical Description:Obr. 2. Res. rus., angl., lit. 14 zázn. v angl.