On the seguence equivalence problem for OL systems with controlled derivations

Bibliographic Details
Main Author:	Dassow, Jürgen (Author)
Format:	Article
Language:	English
Subjects:	systémy OL postupnosti články z novín a časopisov

Similar Items