Deciding Branching Bimiliarity of Normed Context-Free Processes Is in /Sigma^ p_2

Didier Caucal, Dung T. Huynh, Lu Tian. Deciding Branching Bimiliarity of Normed Context-Free Processes Is in /Sigma^ p_2. Inf. Comput., 118(2):306-315, May 1995.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.